Vad betyder ⨾
Det komponerar två relationer via ett gemensamt mellanvärde. I Z-notation innebär relationell komposition att resultatet från den första relationen kan bli indata till den andra. Tecknet kan också koppla ihop operationer, som i Check ⨾ Reserve: den första måste lämna ett tillstånd som nästa kan använda.
Semikolonkonventionen för relationskomposition är äldre än Z; källor spårar den till Ernst Schröders lärobok från 1895. Z tog in kompositionen i precisa programspecifikationer, och den internationella standarden publicerades 2002.
Specialiserad matematisk notation för Z-specifikationer, där operandernas typer och ordning avgör kompositionen.
Blanda inte ihop med
1Så skriver du ⨾
⨾\2A3EKoder och kodningKodpunkter: 1
En synlig symbol kan innehålla flera kodpunkter. JS .length räknar UTF-16-enheter; UTF-8 räknar byte.
