- Ràng buộc logic.
- Ràng buộc giải tích và phụ thuộc hàm............
- Phụ thuộc hàm
- Ràng buộc về kiểu, ràng buộc giải tích và phụ thuộc hàm............