Ràng buộc logic?

Mối quan hệ giữa các thuộc tính được biểu diễn bằng các phụ thuộc hàm

Mối quan hệ giữa các thuộc tính được biểu diễn bằng các biểu thức toán học

Các phép so sánh

Các phép toán quan hệ