Relasjonssammensetning i Z-notasjon

Det setter sammen to relasjoner via en felles mellomverdi. I Z-notasjon betyr relasjonssammensetning at resultatet fra den første relasjonen kan bli inndata til den neste. Tegnet kan også koble operasjoner, som i Check ⨾ Reserve: Den første må etterlate en tilstand som den neste kan bruke.

Semikolonkonvensjonen for relasjonssammensetning er eldre enn Z; kilder sporer den tilbake til læreboken til Ernst Schröder fra 1895. Z tok i bruk sammensetningen for presise programvarespesifikasjoner, og den internasjonale standarden ble utgitt i 2002.