- Các định nghĩa, tiên đề, định lý
- Quy tắc biểu diễn cấu trúc dữ liệu.
- Mối quan hệ giữa các thực thể dữ liệu.
- Các quy tắc, quy định.