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.