Xem trước tài liệu

Đang tải tài liệu...

Thông tin chi tiết tài liệu

Định dạng: PDF
Số trang: 105 trang
Dung lượng: Đang cập nhật

Giới thiệu nội dung

Các Phụ Thuộc Logic Trong Mô Hình Dữ Liệu Dạng Khối

Tác giả: Trần Minh Tuyến

Lĩnh vực: Cơ sở toán học cho tin học

Nội dung tài liệu:

Luận án tiến sĩ này tập trung nghiên cứu về các phụ thuộc logic trong mô hình dữ liệu dạng khối, một mở rộng của mô hình dữ liệu quan hệ. Nghiên cứu đi sâu vào các khái niệm 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ệ của chúng với các phép biến đổi lược đồ khối. Luận án đề xuất các khái niệm mới, chứng minh tính chất và mối quan hệ của chúng với các khái niệm tương ứng trong mô hình dữ liệu quan hệ, nhằm nâng cao hiệu quả thiết kế cơ sở dữ liệu dạng khối.

Mục lục chi tiết:

  • Mở đầu
  • Chương 1: Mô hình dữ liệu dạng khối
  • Chương 2: Phép dịch chuyển lược đồ khối và lược đồ khối cân bằng
  • Chương 3: Phụ thuộc Boolean dương và phụ thuộc Boolean dương tổng quát trên khối
  • Kết luận và Hướng nghiên cứu tiếp theo
  • Danh mục công trình của tác giả
  • Tài liệu tham khảo