Phụ thuộc Boolean dương

Luận án Tiến sĩ ngành Máy tính: Một số Phụ thuộc logic mở rộng trong Mô hình dữ liệu dạng khối được thực hiện với mục tiêu nhằm tìm ra Hội suy dẫn của các Công thức Boolean dương trong mô hình dữ liệu dạng khối nhằm tìm được tập các công thức suy dẫn nhỏ nhất của các thuộc tính trên khối góp phần loại bỏ các thuộc tính dư thừa trong thiết kế cơ sở dữ liệu;... Mời các bạn cùng tham khảo!

117p tanmocphong 19-01-2022 38 7   Download

Bài viết đề xuất các khái niệm về khối chân lý theo nhóm bộ của khối, phụ thuộc Boolean dương theo nhóm bộ trong mô hình dữ liệu dạng khối, từ đó phát biểu và chứng minh định lý tương đương để khẳng định sự tương đương của ba loại suy dẫn trên lược đồ khối: suy dẫn logic, suy dẫn theo khối và suy dẫn theo khối có không quá p phần tử, điều kiện cần và đủ để một khối là thể hiện chặt của tập phụ thuộc Boolean dương theo nhóm bộ trên khối,...

7p vijihyo2711 25-09-2021 21 3   Download

Bài viết phát biểu và chứng minh một số tính chất của khối dữ liệu khi thể hiện tập các phụ thuộc hàm trong mô hình dữ liệu dạng khối. Điều kiện cần và đủ để hai tập phụ thuộc hàm trên lược đồ khối là tương đương, tính chất của hai tập phụ thuộc hàm tương đương trên khối dữ liệu. Tính chất của mối tương quan giữa các thể hiện trên khối cũng được phát biểu và chứng minh...

7p vijihyo2711 25-09-2021 26 2   Download

Báo cáo đề xuất khái niệm phụ thuộc Boolean dương đa trị trong mô hình dữ liệu dạng khối, chứng minh tính đầy đủ của họ hàm I, định lý tương đương của ba loại suy dẫn, tính chất của phụ thuộc Boolean dương đa trị m-đúng trên khối, điều kiện cần và đủ của một thể hiện chặt của tập phụ thuộc Boolean dương đa trị trên khối... Ngoài ra, một số tính chất liên quan đến khái niệm này khi khối suy biến thành quan hệ cũng đã được phát biểu và chứng minh ở đây.

8p quenchua9 20-11-2020 43 2   Download

Mục tiêu của luận án là đề xuất các khái niệm và tìm hiểu tính chất các loại phụ thuộc logic trong mô hình dữ liệu dạng khối như: phụ thuộc Boolean dương, phụ thuộc Boolean dương tổng quát, ánh xạ đóng và mối quan hệ với phép dịch chuyển lược đồ khối,... Mời bạn đọc tham khảo.

105p change01 06-05-2016 92 13   Download