Đang chuẩn bị liên kết để tải về tài liệu:
Nhập môn cơ sở dữ liệu phân tán part 3

Tham khảo tài liệu 'nhập môn cơ sở dữ liệu phân tán part 3', công nghệ thông tin, cơ sở dữ liệu phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả | Chưưng 2. Mò hình cư sở dữ liệu quan hệ 121 2.51 Giả sử X - Y hoạc Z là MD thuần nhất trên R. Chứng minh rằng với khóa K của R thì K - Y 0 và K - z 0. 2.52 Chứng mịnh rằng nếu X - - Y hoặc Z là MD thuần nhất trên R K là một khóa của R thì K có ít nhất là 3 phần tử tức là I K I 3 . 2.53 Chứng minh rằng nếu X Y là MD không tầm thường thì X Y khi và chỉ khi tồn tại khóa K mà X - Y n K. 2.54. Cho lược đổ quan hệ R B D I o s Q tập các ràng buộc S D ỉ B IS Q B Q Ị. Xét xem w cớ là 4NF không 2.55. Cho lược đồ R ỉ A B c D E 11 và tập ràng buộc A- BCD B AC C - D Ị. w R F có là 4NF không 2.56. Gọi u là tập thuộc tính và D là tập phụ thuộc thuộc một loại bất kỳ trên tập thuộc tính u. Chúng ta hãy định nghĩa SAT D là tập các quan hệ r trên u sao cho r hoá mõi phụ thuộc trong D Hãy chứng minh. a SAT D cjD2 SAT Dj n SAT D2 b Nếu D suy diễn logic được tất cả các phụ thuộc trong D2 thì SAT Dị SAT D2 2.57. Gọi F là một tập hợp phụ thuộc với các vế phải chỉ có một thuộc tính. a Chứng minh rằng nếu lược đổ R có một phụ thuộc vi phạm BCNF X A trong đó X A thuộc p thi tồn tại một phụ thuộc Y B trong chính tập F vĩ phạm dạng BCNF của R. b Chứng minh giống như trên cho dạng chuẩn cấp ba. 122 NHẬP MÔN CO Sỏ Dơ LIỆU PHĂN TẲN 2.58. Chứng minh nhân xét sau Nếu R là một lược đồ quan hệ và Xc R là một khoá của R ứng với tập phụ thuộc F thì X không thể có một vi phạm dạng 3NF ứng với tập phụ thuộc chiếu của F lên X 7ĨX F . 2.59. Chứng minh rằng không thể có một phụ thuộc được gọi là Phụ thuộc hàm gắn két embedded functional dependency . Nghĩa là nếu s cR và X Y đúng trong ns R thì X Y đúng trong R. 2.60. Phụ thuộc bao hàm đơn ngôi unary inclusion dependency AeB trong dó A B là các thuộc tính có thể từ các quan hệ khác nhau khảng định rằng trong những giá trị hợp lệ của các quan hộ mỗi giá trị xuất hiện trong cột của A cũng xuất hiện trong cột của B. Chứng tỏ ràng các tiên đề sau là đúng đắn và đầy đủ dối với các phụ thuộc bao hàm đơn ngôi. a A e A với mọi A b Nếu AcBvàBcCthì AcC 2.61. Giả sử .