Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
Một số kết quả về khóa của sơ đồ quan hệ . "Bất kỳ hệ vật chất nào nếu không tiếp nhận thêm năng lượng từ bên ngoài môi trường thì chiều biến đổi nó là tăng liên tục entropi (thông tin cấu trúc giảm dần) cho đến khi trình độ tổ chức suy giảm và tiến tới mất cấu trúc, thành một thứ đồng nhất rất ít biến đổi và vận động." Như vậy, trong sự tiến hóa về cơ bản có sự bất đối xứng: phương hướng thay đổi từ không ổn định đến ổn định có xác. | Tạp chí Tin học và Đĩêu khiền học T. 18 s. 3 2002 285-289 MỘT SỐ KẾT QUÁ VÊ KHÓA CỦA sơ Đồ QUAN HỆ NGUYỄN HOÀNG SƠN NGUYỄN VIỆT HÙNG Abstract. In this paper we present some results for the key finding problem on relation schemes. Tóm tắt. Trong quá trình thiết kế cơ sở dữ liệu CSDL việc tìm khóa của một sơ đồ quan hệ là rất quan trọng. Trong bài này chúng tôi đưa ra một số kết quả về bài toán tìm khóa của một sơ đồ quan hệ. 1. MỞ ĐẦU Bài toán tìm khóa của một sơ đồ quan hệ đóng vai trò rất quan trọng trong quá trình thiết kế CSDL. Những kết quả về khóa đã được nghiên cứu nhiều có thể xem trong 1. 5 . Trong bài này để tìm khóa của sơ đồ quan hệ s ban đầu chúng tôi dịch chuyển sơ đồ s về sơ đồ s là sơ đồ có số thuộc tính ít hơn số các phu thuộc hàm ít hơn. Chúng tôi chứng minh được rang có mối hên hệ giữa khóa của s và khóa của s. Lưu ý rang trên sơ đồ s việc tìm khóa đơn giản hơn rất nhiều. 2. MỘT SỐ KHÁI NIỆM VÀ KET quả cơ sở Vê các ký hiệu chúng tôi sử dụng theo 2 . Cho s U F là một sơ đồ quan hệ trong đó ư Al A-2 . An là tập các thuộc tính F Lị Rị I Lị Rị Q ư Lị n Rị 0 i 1 2 . k là tập các phụ thuộc hàm xác định trên ư. Ký hiệu k k i l i l Định nghĩa 2.1. Cho s U F là một sơ đồ quan hệ X là một tập con thuộc tính của ư X được gọi là khóa của sơ đồ quan hệ s nếu X thỏa mãn hai điều kiện sau 1 X U e F 2 3X c X sao cho X u G F . Trường hợp nếu X không phải là khóa nhưng thỏa điều kiện 1 thì X được gọi là siêu khóa của s. Bổ đề 2.1. BỔ dề 3 trong 2 Cho s u F là một sơ đồ quan hệ X là một khóa của s. Khi đó XcRc L- R 0. Định lý 2.1. Định lý 3 trong 2 Cho s U F là một sơ đo quan hệ X là một khóa của s. Khi đó u - R c X C ư - R u L n R - a L RỴ vớĩ a L R LC R o L-R . Khi đó có thể viết lại X như sau u - R c X c u - R u L n R - L - E . 286 NGUYỄN HOÀNG SƠN NGUYỄN VIỆT HÙNG Ghi chú. Trong bài này từ đây về sau ta ký hiệu X u thay cho X U F . Trong trường F hợp không sợ nhầm lẫn ta viết X u. Trong các kết qủa sau chúng tôi còn có sử dụng thêm một tính chất. Bổ đề 2.2. Bài