⨾ có nghĩa là gì
Nó hợp thành hai quan hệ thông qua một giá trị trung gian chung. Trong ký pháp Z, phép hợp thành quan hệ cho phép kết quả của quan hệ thứ nhất trở thành đầu vào của quan hệ thứ hai. Ký hiệu này cũng có thể nối các thao tác, như trong Check ⨾ Reserve: thao tác đầu phải để lại trạng thái mà thao tác sau có thể dùng.
Quy ước dùng dấu chấm phẩy để hợp thành quan hệ có trước ký pháp Z; một số tài liệu truy nguyên quy ước này đến sách giáo khoa của Ernst Schröder năm 1895. Z dùng phép hợp thành này để viết đặc tả phần mềm chính xác, và tiêu chuẩn quốc tế của Z được công bố vào năm 2002.
Ký hiệu toán học chuyên biệt trong đặc tả Z; kiểu và thứ tự của các toán hạng quyết định phép hợp thành.
Đừng nhầm với
1
Ký tự liên quan
1
Thêm nội dung tương tự
10
Cách gõ hoặc tìm ⨾
- Còn gọi là
- dấu chấm phẩy đậm
- Tìm với
- ký pháp Z · hợp thành quan hệ · hợp thành tuần tự · hợp thành lược đồ · đặc tả Z
- Xuất hiện trong
- Mọi ô nhập văn bản · hình dạng phụ thuộc vào phông chữ
⨾\2A3EMã và mã hóaĐiểm mã: 1
Một ký hiệu hiển thị có thể gồm nhiều điểm mã. JS .length đếm đơn vị UTF-16; UTF-8 đếm byte.