Một mô hình dữ liệu đối với các truy vấn định lượng

Phép chia là một phép toán của đại số quan hệ thực hiện một thao tác kiểm tra chửa tập nhiều-một, ờ đây, một tập biểu diễn một nhóm các bộ. Phép chia tông quát [5] mờ rộng phép chia thường với việc thực hiện các thao tác kiểm tra chửa tập nhiều-nhiều. Phép toán này cũng tương tự như phép kết nối chửa tập đối với các cơ sờ dữ liệu quan hệ (CSDL) không ở dạng chuẩn 1. Hiện tại, không một phép chia nào được cài đặt tường minh trong các hệ quản trị CSDL (DBMS), mặc dù các phép toán này giải quyết nhiều vấn đề ứng dụng quan trọng có ý nghĩa trong thực tiễn. Như chúng ta đã biết, các truy vấn định lượng, tức là các truy vấn với lượng từ hay hạn chế số đều đòi hỏi phải thực hiện một phép chia cùng với một phép kết tập nào đó. Những người sư dụng bình thường hay không chuyên nghiệp thường rất khó khăn và vất vả khi phải biểu diễn các truy vấn định lượng. Chúng tôi cho rằng, các ứng dụng quan tâm đến lượng từ sẽ ngày càng tăng lên trong một tương lai không xa. Bài báo này đề cập đến việc mờ rộng mô hình dữ liệu quan hệ cho phép các lớp như các giá trị thuộc tính và bời vậy, cho phép biểu diễn các truy vấn định lượng một cách dễ dàng và thuận tiện hơn.