T-SQL基础教程:谓词逻辑

作者:Itzik Ben-Gan

图书:http://item.jd.com/11362891.html


谓词逻辑的渊源可追溯到古希腊,是基于关系模型的另一个数学分支。创建关系模型领域的Edgar F. Codd博士很有远见地提出通过连接谓词逻辑来管理和查询数据。一般说来,谓词是一个属性或是一个表示“持有”或“不持有”的表达式,换句话说,也就是“真”或“假”。关系模型就是依靠谓词来维护数据的逻辑完整性并定义其结构的。谓词用于实施完整性的一个例子就是:在一个名为Employees的表中定义了约束,仅允许工资(Salary)大于0的雇员存储在表中。谓词是“工资大于0”(T-SQL表达式:salary > 0)。


当通过筛选数据来界定子集等操作时,也可以使用谓词。例如,如果需要查询Employees表并要求只返销售部门的雇员行时,可以在查询筛选器中使用谓词“部门(Department)等于销售(Sales)”(SQL表达式:department = ‘sales‘)。


在集理论中,你可以使用谓词来定义集合,这是非常有用的,因为你不能总是通过列出所有元素来定义集合(例如,无限集合),通过特征来定义集合往往更加方便简洁。例如,这是使用谓词定义无限集合的例子,所有质数集合的谓词定义是──x是一个仅能被1和自身整除的大于1的正整数。对于任意指定值,谓词可能为“真”也可能为“假”,而全部质数的集合是谓词为“真”的所有元素的集合。例如,这是一个使用谓词定义有限集合的例子,集合{0123456789}可以被定义为下面谓词为“真”的所有元素的集合──x是一个大于或等于0且小于或等于9的整数。




郑重声明:本站内容如果来自互联网及其他传播媒体,其版权均属原媒体及文章作者所有。转载目的在于传递更多信息及用于网络分享,并不代表本站赞同其观点和对其真实性负责,也不构成任何其他建议。