T-SQL 基礎教學：謂詞邏輯與關聯模型

謂詞邏輯淵源

起源古希臘，為關聯模型第二大數學基石 (另一為集合論)。Codd 博士提出以謂詞邏輯管理與查詢資料。

什麼是謂詞？

一個屬性或表達式，其真值為 真 (True) 或 假 (False)，即「持有」或「不持有」。

關聯模型中的三大應用

1. 完整性約束

-- 員工薪資必須 > 0
CONSTRAINT CK_Salary_Positive CHECK (Salary > 0)
-- 謂詞：「薪資大於 0」

2. 查詢篩選

-- 僅回傳銷售部門員工
SELECT * FROM Employees WHERE Department = 'Sales';
-- 謂詞：「部門等於銷售」

3. 集合定義 (特徵定義法)

無法列舉所有元素時 (如無限集合)，用謂詞定義集合：

• 質數集合：{ x | x 為大於 1 且僅能被 1 與自身整除的正整數 }
• 有限集合 {0..9}：{ x | x 為整數且 0 ≤ x ≤ 9 }

對任意給定值，謂詞非真即假；集合即為謂詞為真的所有元素。

對開發者的啟示

• WHERE 條件、CHECK 約束、JOIN ON 條件本質皆為謂詞
• 掌握謂詞思維，有助於撰寫精確、可優化的查詢
• 關聯模型依賴謂詞維護邏輯完整性並定義結構