HCuong
20-05-2003, 13:44
Tui đang học về lý thuyết cơ sở dữ liệu quan hệ, và có một số bài tập nho nhỏ mà nghĩ hoài không ra. Mấy bác nào giúp được thì mong chỉ giáo nhé!
Bài 1 *:
Đặt s1(S1),s2(S2), ... ,sm(Sm) là những quan hệ và đặt q = s1 join s2 join ... join sm. Chứng minh rằng s1, s2, ... , sm join hoàn toàn nếu và chỉ nếu si = P_Si_(q) (phéo chiếu quan hệ q trên Si), 1 <= i <= m.
Bài 2 :
Đặt q(R) là 1 quan hệ và đặt Si la 1 tập con của R, 1 <= i <= m.
Định nghĩa si = P_Si_(q), 1 <= i <= m. Chứng minh s1, s2, ... , sm
join hoàn toàn.
Bài 3 :
Đặt q là 1 quan hệ trên RS. Hãy cho một ví dụ cho thấy :
q là tập con hoặc bằng P_R_(q) join P_S_(q) la thích đáng.
Bài 4 :
Cho trước những quan hệ r(R), s(S) và q = r join s
Định nghĩa r' = P_R_(q) và s' = P_S_(q). Chứng minh q = r' join s'.
Bài 5 *:
Cho trước 1 quan hệ q(RS), tìm 1 điều kiện đủ cho q = P_R_(q) join P_S_(q).
Điều kiện đó có cần không?
Xin đa tạ!
Bài 1 *:
Đặt s1(S1),s2(S2), ... ,sm(Sm) là những quan hệ và đặt q = s1 join s2 join ... join sm. Chứng minh rằng s1, s2, ... , sm join hoàn toàn nếu và chỉ nếu si = P_Si_(q) (phéo chiếu quan hệ q trên Si), 1 <= i <= m.
Bài 2 :
Đặt q(R) là 1 quan hệ và đặt Si la 1 tập con của R, 1 <= i <= m.
Định nghĩa si = P_Si_(q), 1 <= i <= m. Chứng minh s1, s2, ... , sm
join hoàn toàn.
Bài 3 :
Đặt q là 1 quan hệ trên RS. Hãy cho một ví dụ cho thấy :
q là tập con hoặc bằng P_R_(q) join P_S_(q) la thích đáng.
Bài 4 :
Cho trước những quan hệ r(R), s(S) và q = r join s
Định nghĩa r' = P_R_(q) và s' = P_S_(q). Chứng minh q = r' join s'.
Bài 5 *:
Cho trước 1 quan hệ q(RS), tìm 1 điều kiện đủ cho q = P_R_(q) join P_S_(q).
Điều kiện đó có cần không?
Xin đa tạ!