Mitä ⨾ tarkoittaa
Se yhdistää kaksi relaatiota yhteisen väliarvon kautta. Z-merkintätavassa relaatioiden yhdistäminen tarkoittaa, että ensimmäisen relaation tuloksesta voi tulla seuraavan syöte. Merkki voi yhdistää myös operaatioita, kuten ilmauksessa Check ⨾ Reserve: ensimmäisen on jätettävä tila, jota seuraava voi käyttää.
Puolipistekäytäntö relaatioiden yhdistämisessä on Z-merkintätapaa vanhempi; lähteet jäljittävät sen Ernst Schröderin vuoden 1895 oppikirjaan. Z otti yhdistämisen käyttöön ohjelmistojen täsmällisissä määrittelyissä, ja sen kansainvälinen standardi julkaistiin vuonna 2002.
Z-määrittelyissä käytetty erikoistunut matemaattinen merkintä; operandien tyyppi ja järjestys määräävät yhdistämisen.
Älä sekoita tähän
1Näin kirjoitat ⨾
⨾\2A3EKoodit ja koodausKoodipisteitä: 1
Näkyvä symboli voi sisältää useita koodipisteitä. JS .length laskee UTF-16-yksiköt; UTF-8 laskee tavut.
