Đị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...
Đã lưu trong:
| Những tác giả chính: | , |
|---|---|
| Định dạng: | Bài viết |
| Ngôn ngữ: | Vietnamese |
| Được phát hành: |
Trường Đại học Đà Lạt
2012
|
| Những chủ đề: | |
| Truy cập trực tuyến: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/33629 |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
| id |
oai:scholar.dlu.edu.vn:DLU123456789-33629 |
|---|---|
| record_format |
dspace |
| spelling |
oai:scholar.dlu.edu.vn:DLU123456789-336292012-12-26T01:14:39Z Định lý tương đương cho phụ thuộc sai khác tổng quát trong cơ sở dữ liệu Nguyễn, Xuân Huy Cao, Tùng Anh phụ thuộc dữ liệu phụ thuộc Boole dương phụ thuộc sai khác 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ộ. 2012-12-26T01:00:09Z 2012-12-26T01:00:09Z 2012 Working Paper https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/33629 vi Kỷ yếu Hội thảo công nghệ thông tin 2012;tr. 15-25 application/pdf Trường Đại học Đà Lạt |
| institution |
Thư viện Trường Đại học Đà Lạt |
| collection |
Thư viện số |
| language |
Vietnamese |
| topic |
phụ thuộc dữ liệu phụ thuộc Boole dương phụ thuộc sai khác |
| spellingShingle |
phụ thuộc dữ liệu phụ thuộc Boole dương phụ thuộc sai khác Nguyễn, Xuân Huy Cao, Tùng Anh Định lý tương đương cho phụ thuộc sai khác tổng quát trong cơ sở dữ liệu |
| description |
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ộ. |
| format |
Working Paper |
| author |
Nguyễn, Xuân Huy Cao, Tùng Anh |
| author_facet |
Nguyễn, Xuân Huy Cao, Tùng Anh |
| author_sort |
Nguyễn, Xuân Huy |
| title |
Định lý tương đương cho phụ thuộc sai khác tổng quát trong cơ sở dữ liệu |
| title_short |
Định lý tương đương cho phụ thuộc sai khác tổng quát trong cơ sở dữ liệu |
| title_full |
Định lý tương đương cho phụ thuộc sai khác tổng quát trong cơ sở dữ liệu |
| title_fullStr |
Định lý tương đương cho phụ thuộc sai khác tổng quát trong cơ sở dữ liệu |
| title_full_unstemmed |
Định lý tương đương cho phụ thuộc sai khác tổng quát trong cơ sở dữ liệu |
| title_sort |
định lý tương đương cho phụ thuộc sai khác tổng quát trong cơ sở dữ liệu |
| publisher |
Trường Đại học Đà Lạt |
| publishDate |
2012 |
| url |
https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/33629 |
| _version_ |
1819780567993942016 |