当前位置:Gxlcms > mysql > T-SQL基础教程:谓词逻辑

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

时间:2021-07-01 10:21:17 帮助过:40人阅读

谓词逻辑的渊源可追溯到古希腊,是基于关系模型的另一个数学分支。创建关系模型领域的Edgar F. Codd博士很有远见地提出通过连接谓词逻辑来管理和查询数据。一般说来,谓词是一个属性或是一个表示持有或不持有的表达式,换句话说,也就是真或假。关系模型就是

  谓词逻辑的渊源可追溯到古希腊,是基于关系模型的另一个数学分支。创建关系模型领域的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的整数。

人气教程排行