Cơ sở dữ liệu - e-ptit.edu.vn

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