Định lý tương đương cho phụ thuộc sai khác tổng quát trong cơ sở dữ liệu

Báo cáo trình bày một số kết quả nghiên cứu mới liên quan đến phụ thuộc sai khác. Kết quả chủ yếu của báo cáo bao gồm: 1. Đề xuất khái niệm về phụ thuộc sai khác tổng quát như một dạng mở rộng của phụ thuộc sai khác. 2. Thiết lập sự tương quan giữa lớp phụ thuộc Boole dương tổng quát và phụ thuộc sa...

Popoln opis

Shranjeno v:
Bibliografske podrobnosti
Những tác giả chính: Nguyễn, Xuân Huy, Cao, Tùng Anh
Format: Bài viết
Jezik:Vietnamese
Izdano: Trường Đại học Đà Lạt 2012
Teme:
Online dostop:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/33629
Oznake: Označite
Brez oznak, prvi označite!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Opis
Izvleček:Báo cáo trình bày một số kết quả nghiên cứu mới liên quan đến phụ thuộc sai khác. Kết quả chủ yếu của báo cáo bao gồm: 1. Đề xuất khái niệm về phụ thuộc sai khác tổng quát như một dạng mở rộng của phụ thuộc sai khác. 2. Thiết lập sự tương quan giữa lớp phụ thuộc Boole dương tổng quát và phụ thuộc sai khác tổng quát. 3. Phát biểu và chứng minh định lý tương đương cho phụ thuộc sai khác tổng quát làm cơ sở cho việc tiên đề hóa phụ thuộc dữ liệu trong cơ sở dữ liệu. Nội dung của định lý khẳng định sự tương đương giữa ba loại suy dẫn từ một tập các phụ thuộc sai khác tổng quát ra một phụ thuộc sai khác tổng quát: suy dẫn logic, suy dẫn theo quan hệ và suy dẫn theo quan hệ có không quá hai bộ.