免费网站建设公司推荐,河南省建设部官方网站,惠州建设局官方网站,做网站还需要兼容ie8吗本节书摘来华章计算机《交互式程序设计 第2版》一书中的第3章 #xff0c;第3.6节#xff0c;Joshua Noble 著 毛顺兵 张婷婷 陈宇 沈鑫 任灿江 译更多章节内容可以访问云栖社区“华章计算机”公众号查看。 3.6 关系比较 与元组类型类似#xff0c;关系类型也逃不过“比较运… 本节书摘来华章计算机《交互式程序设计 第2版》一书中的第3章 第3.6节Joshua Noble 著 毛顺兵 张婷婷 陈宇 沈鑫 任灿江 译更多章节内容可以访问云栖社区“华章计算机”公众号查看。 3.6 关系比较 与元组类型类似关系类型也逃不过“比较运算符必须对每种类型都定义”这一规则即对于同种类型T的两个关系r1和r2必须至少能检验它俩是否相等。其他的比较可能也是有用的。比如我们可能想检验是否有“r1包含r2即r2中的所有元组也在r1中”或者是否有“r1完全包含r2即r2中的所有元组也在r1中且r1至少包含一个不在r2种的元组”。下面是一个关系相等性比较的实例依旧用Tutorial D表达 S { CITY } P { CITY }此处左侧的比较元是供应商在{CITY}注7上的投影右侧比较元是零件在{CITY}上的投影如果两个投影是相等的则比较运算返回TRUE否则返回FALSE。换言之这个比较布尔表达式意味着“供应商城市集合与零件城市集合相等”当然它的计算结果不是TRUE就是FALSE。另一个示例如下 S { SNO } SP { SNO }此处的符号“”代表“完全包含properly include”或等价 “是其真超集”is a proper superset of。此表达式的含义是意会一些供应商根本没供应任何零件型号计算结果不是TRUE就是FALSE。其他有用的关系比较运算符包括“△”“包含”“”“包含于”和“”“完全包含于”。注意在这些运算符中人们常常会认为“”运算符就是“那个”关系包含运算符。一个特别常见的需求就是把某个确定的关系r和同类型的空关系进行“”比较,也就是说这是一个用来检验是否为空的测试。因此定义一个缩写是很方便的 IS_EMPTY ( r )此表达式定义为在关系r为空时返回TRUE否则返回FALSE。后续章节将非常依赖这个表达式尤其是第8章。它的反运算符也很有用 IS_NOT_EMPTY ( r )此表达式逻辑等价于NOT (IS_EMPTY (r))。
