- Phép tách = (X1, X2, ,Xk) Output
Hướng phát triển
Kết luận.
Về lý thuyết, luận văn tập trung vào các kết quả sau đây: - Khái niệm về phép dịch chuyển lược đồ quan hệ,
- Phát biểu và chứng minh công thức tính bao đóng qua phép dịch chuyển lược đồ quan hệ,
- Phát biểu và chứng minh kết quả về dạng biểu diễn khóa thứ nhất, - Phát biểu và chứng minh kết quả về dạng biểu diễn khóa thứ hai, - Phân tích thuật toán tìm khóa,
- Nghiên cứu và phát triển thuật toán tìm tất cả các khoá của LĐQH để vận dụng cho các quy trình thiết kế các CSDL chuẩn hoá.
Về thực hành luận văn sẽ cài đặt các kết quả lý thuyết dưới dạng chương trình bao gồm các chức năng sau:
Nạp và cập nhật dữ liệu: thuộc tính và các phụ thuộc hàm.
Tính bao đóng
Tìm các khóa của lược đồ quan hệ.
Chuẩn hoá LĐQH
Hướng phát triển
Một bài chưa giải quyết trọn vẹn hiện nay là khảo sát tính bất biến của các dạng chuẩn trong phép dịch chuyển lược đồ quan hệ. Bài toán được phát biểu như sau:
Cho lược đồ quan hệ với tập thuộc tính U. Giả sử lược đồ quan hệ nhận
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn
đồ quan hệ ban đầu có thể ở một trong các dạng chuẩn 2NF, 3NF hoặc BCNF
(Boyce-Codd Normal Form). Có thể nói gì về dạng chuẩn của lược đồ .
Một vài công trình đã chỉ ra rằng tương quan về dạng chuẩn của hai lược đồ nguồn và đích phụ thuộc vào cấu trúc của tập M [5, 6, 7]. Thí dụ, nếu M là bộ phận trong giao các khóa và ở dạng là 3NF thì cũng là 3NF.
Việc tiếp tục khảo sát các điều kiện cho bài toán trên sẽ cho ta một số kết quả về tính bất biến của các dạng chuẩn thông qua các phép dịch chuyển lược đồ quan hệ. Các kết quả này có thể vận dụng cho các quy trình thiết kế các cơ sở dữ liệu chuẩn hóa.
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên http://www.lrc-tnu.edu.vn