Professional Documents
Culture Documents
Co-So-Du-Lieu - Pham-Thi-Bach-Hue - Phep-Tinh-Quan-He - (Cuuduongthancong - Com) PDF
Co-So-Du-Lieu - Pham-Thi-Bach-Hue - Phep-Tinh-Quan-He - (Cuuduongthancong - Com) PDF
{t.TENTT | THUYTHU(t) and (∃d) DANGKY(d) and d.MATAU = ‘103’ and d.MATT
= t.MATT)}
SELECT TENTT
SELECT TENTT
3) Thủy thủ tên Nguyễn Văn A đã đăng ký đi trên những tàu màu gì?
Cách 2: Dùng IN
Π TENTT(THUYTHU * DANGKY)
5) Tên các thủy thủ đã có lần đăng ký tàu màu đỏ hoặc tàu màu xanh.
{tt.TENTT | THUYTHU (tt) and ((∃ d) (∃ t) DANGKY(d) and TAU(t) and (t.MAU =
‘Đỏ’ or t.MAU = ‘Xanh’) and tt.MATT = d.MATT and t.MATAU = d.MATAU)}
SELECT TENTT
6) Tên của những thủy thủ đã ít nhất 1 lần đăng ký tàu màu đỏ và tàu màu xanh.
{tt.TENTT | THUYTHU(tt) and ((∃t1)(∃ d1) TAU (t1) and DANGKY(d1) and t1.MAU
= ‘Đỏ’ and t1.MATAU = d1.MATAU and d1.MATT = tt.MATT) and ((∃ t2)(∃ d2)
TAU(t2) and DANGKY(d2) and t2.MAU = ‘Xanh’ and t2.MAUTAU = d2.MATAU and
d2.MATT = tt.MATT)}
SELECT TENTT
FROM THUYTHU
CÁCH KHÁC:
SELECT TENTT
7) Tên của những thủy thủ đã đăng ký tối thiểu 2 con tàu.
CÁCH 1:
SELECT TENTT
CÁCH 2:
SELECT TENTT
CÁCH 3:
8) Tên của những thủy thủ tuổi > 20 và chưa từng đăng ký tàu màu đỏ.
Π TENTT(KQ1 * THUYTHU)
{tt.TENTT | THUYTHU(tt) and tt.TUOI > 20 and ((∃ t) (not (∃ d)) TAU(t) and
DANGKY (d) and t.MAU = ‘Đỏ’ and d.MATT = tt.MATT and d.MATAU =
t.MATAU)}
SELECT *
FROM THUYTHU
FROM TAU T
10) Tên thủy thủ đã đăng ký tất cả những con tàu màu đỏ.
{tt.TENTT | THUYTHU(tt) and (∀t) TAU(t) (t.MAU = ‘Đỏ’ ⇒ ((∃ d) DANGKY (d) and
d.MATAU = t.MATAU and t.MATT = d.MATT)}
FROM TAU T