T-SQL基礎教程：謂詞邏輯

 　　謂詞邏輯的淵源可追溯到古希臘，是基於關聯式模式的另一個數學分支。建立關聯式模式領域的Edgar F. Codd博士很有遠見地提出通過串連謂詞邏輯來管理和查詢資料。一般說來，謂詞是一個屬性或是一個表示“持有”或“不持有”的運算式，換句話說，也就是“真”或“假”。關聯式模式就是依靠謂詞來維護資料的邏輯完整性並定義其結構的。謂詞用於實施完整性的一個例子就是：在一個名為Employees的表中定義了約束，僅允許工資(Salary)大於0的僱員儲存在表中。謂詞是“工資大於0”(T-SQL運算式：salary > 0)。

　　當通過篩選資料來界定子集等操作時，也可以使用謂詞。例如，如果需要查詢Employees表並要求只返銷售部門的僱員行時，可以在查詢篩選器中使用謂詞“部門(Department)等於銷售(Sales)”(SQL運算式：department = 'sales')。

　　在集理論中，你可以使用謂詞來定義集合，這是非常有用的，因為你不能總是通過列出所有元素來定義集合(例如，無限集合)，通過特徵來定義集合往往更加方便簡潔。例如，這是使用謂詞定義無限集合的例子，所有質數集合的謂詞定義是──x是一個僅能被1和自身整除的大於1的正整數。對於任意指定值，謂詞可能為“真”也可能為“假”，而全部質數的集合是謂詞為“真”的所有元素的集合。例如，這是一個使用謂詞定義有限集合的例子，集合{0、1、2、3、4、5、6、7、8、9}可以被定義為下面謂詞為“真”的所有元素的集合──x是一個大於或等於0且小於或等於9的整數。