Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Chương I: Khái niệm cơ bản về các hệ cơ <strong>sở</strong> <strong>dữ</strong> <strong>liệu</strong><br />
8. Cho ϕ [Ω1 , Ω2] là một phép tách của lược đồ quan hệ s = trong đó Ω<br />
là tập các thuộc tính và F là tập các phụ thuộc hàm. Khi đó phép tách - kết nối<br />
ϕ không tổn thất thông tin khi và chỉ khi:<br />
Ω1 ∩ Ω 2 → Ω1 \ Ω2 hoặc Ω1 ∩ Ω 2 → Ω2 \ Ω1 .<br />
9. Trình bày khái niệm và định nghĩa phép chiếu bảo toàn các phụ thuộc.<br />
10. Thuật toán kiểm tra bảo toàn tập phụ thuộc hàm.<br />
11. Cho ∀Z ⊆ Ω, tập F, đặt Z: = Z ∪ (( Z ∩ Ω) + ∩ Ω), khi đó sẽ tồn tại các thuộc<br />
tính A sao cho (Z∩Ω) → A∈ πΩ (F).<br />
12. Phát biểu định nghĩa dạng chuẩn thứ nhất – 1NF (First Normal Form)<br />
13. Phát biểu định nghĩa dạng chuẩn thứ hai – 2NF (Second Normal Form)<br />
14. Phát biểu định nghĩa dạng chuẩn thứ 3 - 3NF (Third Normal Form)<br />
15. Các khảng định sau là tương đương<br />
a) Không tồn tại phụ thuộc hàm X → Y ∈ F + sao cho X + ≠ Ω , Y ⊄ X và Y là<br />
thuộc tính không khóa.<br />
b) Nếu X → Y ∈ F + , Y ⊄ X khi đó hoặc X là khóa của lược đồ quan hệ hoặc<br />
Y là một thuộc tính của khóa.<br />
c) Không tồn tại phụ thuộc bắc cầu vào khoá.<br />
16. Dạng chuẩn 3NF thì cũng là lược đồ quan hệ chuẩn 2NF.<br />
17. Một lược đồ quan hệ 1NF và không tồn tại thuộc tính không khoá phụ thuộc bắc<br />
cầu vào khoá, khi đó lược đồ dạng chuẩn 2NF.<br />
18. Trình bảy quá trình tách một lược đồ quan hệ 1NF về nhóm 3NF.<br />
19. Trình bày khái niệm và định nghĩa dạng chuẩn Boyce Codd.<br />
20. Các khảng định sau là tương đương<br />
a) Nếu X → Y ∈ F + , Y ⊄ X khi đó X là khóa của lược đồ quan hệ.<br />
b) Nếu X → Y ∈ F + , Y ⊄ X khi đó X + = Ω.<br />
c) Mọi định thuộc là khoá của lược đồ quan hệ. ( X là định thuộc khi và chỉ khi<br />
tồn tại Y ⊆ Ω sao cho X → Y ∈ F + là phụ thuộc đầy đủ).<br />
21. Chứng minh rằng BCNF ⊂ 3NF ⊂ 2NF ⊂ 1NF.<br />
22. Nhận biết dạng chuẩn 3NF & BCNF.<br />
23. Cho thí dụ 3NF nhưng không là BNCF.<br />
24. Cho thí dụ không 3NF và không là BNCF.<br />
25. Cho một số thí dụ về các dạng chuẩn lược đồ quan hệ<br />
26. Trình bày thuật toán tách – kết nối lược đồ quan hệ không tổn thất thông tin<br />
27. Phép tách lược đồ quan hệ về nhóm tương đương 3NF.<br />
28. Phép tách lược đồ quan hệ về dạng chuẩn Boyce Codd.<br />
29. Chứng minh rằng:<br />
a) Nếu Ω chỉ có 2 thuộc tính, khi đó lược đồ ở dạng chuẩn BCNF.<br />
95