JavaScript is required

Xét một số vị từ đơn giản có thể định nghĩa được trên quan hệ PAY(TITLE, SAL): p1:

TITLE = Elect.Eng p2:

TITLE = Syst. Anal

p3: TITLE = Mech. Eng

p4: SAL ≤ 30000 p5:

SAL > 30000

Hãy chỉ ra tập vị từ đơn giản ban đầu Pr?

A.
Pr = {p1, p2, p3, p4, p5}
B.
Pr = {p1, p2, p3, p4}
C.
Pr = {p1, p2, p3, p4, |p4}
D.
Pr = {p1, p2, p3, p4, |p5}
Trả lời:

Đáp án đúng: A


Tập vị từ đơn giản ban đầu Pr là tập hợp các vị từ đơn giản độc lập, không thể suy diễn từ các vị từ khác trong tập. Trong trường hợp này: * p1, p2, p3 đều liên quan đến thuộc tính TITLE và có các giá trị khác nhau. Chúng độc lập với nhau. * p4 và p5 liên quan đến thuộc tính SAL, với p4 là SAL ≤ 30000 và p5 là SAL > 30000. Vì SAL chỉ có thể hoặc nhỏ hơn hoặc bằng 30000, hoặc lớn hơn 30000, nên hai mệnh đề này phủ định nhau. Ta có thể biểu diễn p5 qua p4: p5 = |p4. Như vậy tập vị từ đơn giản ban đầu là {p1, p2, p3, p4, p5} hoặc {p1, p2, p3, p4}. Theo các đáp án đã cho, đáp án đúng nhất là A. Pr = {p1, p2, p3, p4, p5}

Câu hỏi liên quan