⨾ หมายถึงอะไร
⨾ ประกอบความสัมพันธ์สองรายการผ่านค่าตัวกลางร่วมกัน ในสัญกรณ์ Z การประกอบความสัมพันธ์ทำให้ผลลัพธ์จากความสัมพันธ์แรกกลายเป็นข้อมูลนำเข้าของความสัมพันธ์ที่สองได้ สัญลักษณ์นี้ยังเชื่อมการทำงานได้ เช่น Check ⨾ Reserve โดยการทำงานแรกต้องทิ้งสถานะที่ขั้นถัดไปนำไปใช้ได้
ธรรมเนียมการใช้เซมิโคลอนแทนการประกอบความสัมพันธ์มีมาก่อนสัญกรณ์ Z โดยมีแหล่งข้อมูลสืบย้อนถึงตำราของเอิร์นสท์ ชเรอเดอร์ในปี 1895 Z นำการประกอบแบบนี้มาใช้กับข้อกำหนดซอฟต์แวร์ที่แม่นยำ และมาตรฐานสากลของ Z เผยแพร่ในปี 2002
สัญกรณ์คณิตศาสตร์เฉพาะทางสำหรับข้อกำหนด Z โดยชนิดและลำดับของตัวถูกดำเนินการเป็นตัวกำหนดการประกอบ
อย่าสับสนกับ
1วิธีพิมพ์ ⨾
⨾\2A3Eรหัสและการเข้ารหัสจุดรหัส: 1
สัญลักษณ์ที่เห็นอาจมีหลายจุดรหัส JS .length นับหน่วย UTF-16 ส่วน UTF-8 นับไบต์
