Đăng nhập để tải tài liệu không giới hạn
Tham gia 8.000+ người dùng Thư Viện Luận Án
Học viện Kỹ thuật quân sự
Trần Minh Tuyến
Luận án Các phụ thuộc logic trong mô hình dữ liệu dạng khối
Chuyên ngành: Điện kỹ thuật
Luận án
2016
1Đăng nhập để xem toàn bộ nội dung
Đăng nhập ngayMục lục
1. Lời nói đầu .......................... 3
2. Chương 1: Giới thiệu ............ 7
3. Chương 2: Nội dung nghiên cứu .. 28
4. Kết luận ................................ 70
Các phụ thuộc logic trong mô hình dữ liệu dạng khối
Cơ sở toán học cho tin học
Luận án tiến sỹ Toán học "Các phụ thuộc logic trong mô hình dữ liệu dạng khối" do nghiên cứu sinh Trần Minh Tuyến thực hiện tại Học viện Kỹ thuật Quân sự, chuyên ngành Cơ sở toán học cho tin học, có mã số 62. 46. 01. 10. Mục đích chính của luận án là đề xuất và tìm hiểu các tính chất của các loại phụ thuộc logic trong mô hình dữ liệu dạng khối, bao gồm phụ thuộc Boolean dương, phụ thuộc Boolean dương tổng quát, và ánh xạ đóng, cùng với mối quan hệ của chúng với phép dịch chuyển lược đồ khối. Luận án cũng xem xét mối liên hệ giữa các phụ thuộc logic này trong mô hình dữ liệu dạng khối với các phụ thuộc tương ứng trong mô hình dữ liệu quan hệ và trên lược đồ lát cắt, từ đó phân tích cấu trúc của chúng.
Phạm vi nghiên cứu tập trung vào việc đề xuất khái niệm mới về phép dịch chuyển lược đồ khối, nghiên cứu biểu diễn khóa, bao đóng, và các tập thuộc tính nguyên thủy, phi nguyên thủy thông qua phép dịch chuyển này. Luận án cũng đưa ra khái niệm lược đồ cân bằng trong mô hình dữ liệu dạng khối và khám phá mối quan hệ của nó với vế trái cực tiểu và khóa. Các tính chất của ánh xạ đóng với phép dịch chuyển lược đồ khối cũng được tìm và chứng minh. Đặc biệt, luận án đề xuất khái niệm phụ thuộc Boolean dương và phụ thuộc Boolean dương tổng quát trên lược đồ khối, cùng với việc phát biểu và chứng minh các tính chất của chúng. Phương pháp nghiên cứu chủ yếu là lý thuyết, sử dụng các công cụ toán học và logic như suy luận, chứng minh và lập bảng chân lý để đạt được các kết quả mới.
Các kết quả chính của luận án bao gồm việc đề xuất khái niệm phép dịch chuyển lược đồ khối và các kết quả về biểu diễn bao đóng, khóa qua phép dịch chuyển này, cũng như mối quan hệ giữa khóa và các tập thuộc tính nguyên thủy, phi nguyên thủy. Luận án đã đề xuất khái niệm lược đồ khối cân bằng và chứng minh các kết quả liên quan đến nó, vế trái cực tiểu và khóa. Đồng thời, các tính chất của ánh xạ đóng và phụ thuộc Boolean dương, phụ thuộc Boolean dương tổng quát trên lược đồ khối cũng đã được đề xuất và chứng minh.
Tải không giới hạn tất cả tài liệu, không cần chờ. Chỉ từ 199.000đ/tháng.
Xem gói hội viên