Luận án Các khía cạnh lý thuyết và thực tiễn đảm bảo tính toàn vẹn dữ liệu trong cơ sở dữ liệu

Một trong những thế mạnh của mô hình dữ liệu kiểu quan hệ là hình thức hóa được bằng mô hình toán học. Đối với toán học, logic là một ngôn ngữ tốt để biểu diễn các đối tượng, mối liên quan giữa chúng và đặc biệt là các vấn đề suy diễn. Đã có nhiều nghiên cứu xem xét các hệ cơ sở dữ liệu theo quan điểm logic, đó là một hướng đi tự nhiên (có thể nói là hướng đi tất yếu).