09.01.2013 Views

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

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

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

SHOW MORE
SHOW LESS

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 />

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!