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

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

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

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

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