- Suy dẫn logic từ các tiên đề Armstrong
- Ngôn ngữ của đại số quan hệ.
- Biểu thức đại số quan hệ.
- Ngôn ngữ dữ liệu.