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.

Chỉ ra đâu là vị từ hội sơ cấp có nghĩa dựa trên các vị từ đơn giản trên?

Vị từ hội sơ cấp có nghĩa là sự kết hợp của các vị từ đơn giản mà không dẫn đến mâu thuẫn logic hoặc không thể xảy ra trong thực tế. * **A. p3 ∧ p4**: TITLE = Mech. Eng ∧ SAL ≤ 30000. Điều này có nghĩa là chức danh là Mech. Eng và lương nhỏ hơn hoặc bằng 30000. Hoàn toàn có thể xảy ra. * **B. p1 ∧ p2**: TITLE = Elect.Eng ∧ TITLE = Syst. Anal. Điều này có nghĩa là một người vừa có chức danh Elect.Eng vừa có chức danh Syst. Anal, điều này không thể xảy ra (mâu thuẫn). * **C. p2 ∧ p3**: TITLE = Syst. Anal ∧ TITLE = Mech. Eng. Tương tự như trên, một người không thể đồng thời có hai chức danh khác nhau (mâu thuẫn). * **D. p4 ∧ p5**: SAL ≤ 30000 ∧ SAL > 30000. Điều này có nghĩa là lương vừa nhỏ hơn hoặc bằng 30000, vừa lớn hơn 30000, điều này không thể xảy ra (mâu thuẫn). Vậy, chỉ có A là vị từ hội sơ cấp có nghĩa.