Ràng buộc giải tích:

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.

Quy tắc biểu diễn cấu trúc dữ liệu.

Các phép toán đại số quan hệ

Mô tả tính chất của các thuộc tính khi tạo lập CSDL