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?
Trả lời:
Đáp án đúng: A
Câu hỏi yêu cầu xác định vị từ hội sơ cấp có nghĩa (meaningful conjunction of predicates) từ các vị từ đơn giản đã cho. Một vị từ hội sơ cấp có nghĩa là một biểu thức kết hợp các vị từ đơn giản sao cho biểu thức kết hợp đó có thể đúng trong một số trường hợp.
* **p1: TITLE = Elect.Eng**
* **p2: TITLE = Syst. Anal**
* **p3: TITLE = Mech. Eng**
* **p4: SAL ≤ 30000**
* **p5: SAL > 30000**
**Phân tích các đáp án:**
* **A. p3 ∧ p4:** (TITLE = Mech. Eng) ∧ (SAL ≤ 30000). Có nghĩa là tìm những người có chức danh là Mech. Eng và lương nhỏ hơn hoặc bằng 30000. Vị từ này có nghĩa.
* **B. p1 ∧ p2:** (TITLE = Elect.Eng) ∧ (TITLE = Syst. Anal). Không thể có một người vừa có chức danh là Elect.Eng vừa có chức danh là Syst. Anal cùng một lúc. Vị từ này vô nghĩa.
* **C. p2 ∧ p3:** (TITLE = Syst. Anal) ∧ (TITLE = Mech. Eng). Tương tự như đáp án B, không thể có một người vừa có chức danh là Syst. Anal vừa có chức danh là Mech. Eng cùng một lúc. Vị từ này vô nghĩa.
* **D. p1 ∧ p4:** (TITLE = Elect.Eng) ∧ (SAL ≤ 30000). Có nghĩa là tìm những người có chức danh là Elect.Eng và lương nhỏ hơn hoặc bằng 30000. Vị từ này có nghĩa.
Trong các đáp án có nghĩa, đáp án A và D đều có nghĩa. Tuy nhiên, theo lý thuyết, vị từ hội sơ cấp có nghĩa thường được hiểu là vị từ có thể đúng với một số bộ dữ liệu nhất định. Do đó, ta cần chọn đáp án đảm bảo chắc chắn có khả năng đúng. Xét về mặt ngữ nghĩa, p1 và p4 (TITLE = Elect.Eng và SAL ≤ 30000) độc lập với nhau, nên khả năng tồn tại bản ghi thỏa mãn cả hai điều kiện này cao hơn so với p3 và p4 (TITLE = Mech. Eng và SAL ≤ 30000), do vậy D có tính đại diện hơn.
Tuy nhiên, nếu đề bài chỉ hỏi *một* vị từ hội sơ cấp *có nghĩa*, thì cả A và D đều đúng. Vì tính chất "có nghĩa" chỉ cần thoả mãn *khả năng* tồn tại bộ dữ liệu phù hợp.
Vì vậy, đáp án chính xác nhất là D.
