Z-merkinnän vasen kuvasulje

⦇ on relaatiokuvan aloittava sulje Z-kielessä, jolla järjestelmiä kuvataan matemaattisen täsmällisesti. R⦇S⦈ tarkoittaa niiden arvojen joukkoa, joihin päästään joukon S alkioista relaation R kautta. Kuva tarkoittaa tässä matemaattista tulosta, ei piirrosta.

Tekstisymboli

Mitä ⦇ tarkoittaa

Se on joukon S kuva relaatiossa R.

Relaatio on joukko yhteyksiä arvosta toiseen. S sisältää lähtöarvot, ja R⦇S⦈ kokoaa kaikki arvot, joihin näistä päästään relaation R kautta. Jos R esimerkiksi yhdistää ihmiset heidän lainaamiinsa kirjoihin ja S on ihmisryhmä, tulos on kaikkien jonkun ryhmäläisen lainaamien kirjojen joukko. Kukin kirja esiintyy tuloksessa vain kerran, vaikka useampi ihminen olisi lainannut sen.

Sulkeet ympäröivät S:n, ja R kirjoitetaan niiden eteen. Avaava sulje ei yksin tarkoita tulosta, vaan sen ilmaisee koko lauseke. Merkintää käytetään formaaleissa määrittelyissä eli matemaattisissa kuvauksissa siitä, mitä ohjelmiston tai muun järjestelmän pitää tehdä.

Z-määrittelyjen ja relaatiokuvien matemaattinen erikoismerkki.

Vastaava sulkeva merkki on ⦈, ei tavallinen kaarisulje.

Osa kokoelmia

Hyvä tietää

Z sai alkunsa Jean-Raymond Abrialin työstä 1970-luvun lopulla. Oxfordin tutkijat kehittivät sitä edelleen; 1980-luvulla sitä käytettiin teollisuudessa, ja myöhemmin siitä tuli osa formaalien menetelmien opetusta.