You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
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 />
a) Tìm phủ cực tiểu của F.<br />
b) Giả sử phủ cực tiểu của F là G ={AB→ C, B →C}. Chứng tỏ rằng điều giả<br />
sử là sai bằng cách xây dựng một lược đồ quan hệ thoả F nhưng vi phạm G.<br />
8. Cho Ω= {A,B,C,D} và F = {A→ B, B →C, A →D, D →C}, ϕ[AB,AC,BD].<br />
a) Tìm các phụ thuộc chiếu trên mỗi tập tương ứng.<br />
b) ϕ là phép tách – kết nối không tổn thất thông tin.<br />
c) ϕ bảo toàn các phụ thuộc hay không.<br />
9. Cho Ω = { A, B, C, D} , F = {A→ C, D →C, BD →A } và ϕ[AB,ACD,BCD] .<br />
Chứng minh rằng phép tách – kết nối ϕ không tổn thất thông tin .<br />
10. Cho Ω= {A,B,C,D} và F = {A→ B, B →C, D →B}<br />
a) Nếu ϕ[ACD, BD] , hãy xác định các phụ thuộc chiếu trên mỗi tập tương ứng.<br />
b) Hãy tiếp tục tách về các lược đồ dạng chuẩn BNCF.<br />
11. Cho F là tập các phụ thuộc hàm có vế phải chỉ chứa một thuộc tính.<br />
a) Giả sử X→ A∈ F + nhưng không thoả các điều kiện định nghĩa BNCF.<br />
Chứng minh rằng tồn tại một phụ thuộc Y→ B∈ F sao cho không thoả<br />
BNCF là khoá (không suy dẫn).<br />
b) Như (a) cho 3NF.<br />
12. Cho Ω= {A,B,C,D,E} và F = {AB→ CE, E →AB, C →D}. Lược đồ quan hệ<br />
thuộc dạng chuẩn cao nhất.<br />
13. Cho Ω= {A,B,C} và F = {A→ B, B →C}. Chứng minh rằng lược đồ quan hệ<br />
không là 3NF. Nếu thêm C →B thì sẽ là 3NF ?.<br />
14. Chứng minh rằng nếu một lược đồ 3NF thì cũng là 2NF.<br />
15. Chứng minh rằng lược đồ quan hệ s = < Ω , F > ở dạng 3NF khi và chỉ khi :<br />
a) ∀X ⊂ Ω thì X + = Ω .<br />
b) Nếu A là thuộc tính không khoá thì (X-A) + = X-a<br />
16. Cho Ω = { A, B, C, D, E, F} và F = {A→ B, CD →A, BC →D, AE →F,<br />
CE→D }. Chứng minh rằng phép tách ϕ[AED, AB, AEF, ACE] về BCNF tổn<br />
thất thông tin.<br />
17. Xây dựng các thí dụ tách một lược đồ quan hệ chưa chuẩn hóa về nhóm các quan<br />
hệ dạng chuẩn 3NF không tổn thất thông tin. Cho ví dụ phép tách về 3NF nhưng<br />
khi kết nối tự nhiên tổn thất thông tin ?.<br />
18. Xây dựng các thí dụ tách một lược đồ quan hệ chưa chuẩn hóa về nhóm các quan<br />
hệ dạng chuẩn BCNF không tổn thất thông tin. Cho ví dụ phép tách về BCNF<br />
nhưng khi kết nối tự nhiên tổn thất thông tin ?.<br />
19. Xây dựng các thí dụ tách một lược đồ quan hệ chưa chuẩn hóa về nhóm các quan<br />
hệ dạng chuẩn 4NF không tổn thất thông tin. Cho ví dụ phép tách về 4NF nhưng<br />
khi kết nối tự nhiên tổn thất thông tin ?.<br />
97