- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
P130习题5.2.1 已知关系 R(A,B): {(0,1), (2,3),(0,1),(2,4),(3,4)} S(B,C):{(0,1),(2,4),(2,5),(3,4),(0,2),(3,4)} 计算如下表达式: a) c) δ(R) γA, sum(B) (R) k) R LS 5.2.2 一元操作符f如果满足下面的条件则被称为是幂等的:对于任何关系R有f(f(R))=f(R)。即,应用f若干次跟应用f一次的结果是一样的。判断下面哪些操作是幂等操作。 a) δ b) ΠL c) σC d) γL e) τ 5.2.3 一种能用扩展的投影操作来实现,但不能用一般的投影操作来实现的例子是复制列。例如,如果R(A,B)是一个关系,那么对于ΠA,A(R)任何R中的(a,b)元组产生元组(a,a)。试问这个操作能否用传统的关系代数操作来实现? 随着数据技术的不断提高,关系代数也暴露出了一些局限性,例如无法有效地表示递归运算、逻辑表达能力弱等。 在这种情况下,Datalog语言应运而生。Datalog语言是一种基于逻辑编程语言Prolog的一种非过程化的语言。同关系演算类似,用户只需要给出所描述的信息,不需要给出获取信息的具体过程。 本节介绍Datalog语言的基本结构、规则、递归编程以及从关系代数到Datalog语言的转换等内容。 5.4 关系逻辑(1) 基本概念 逻辑也是一种表示关系查询的方法,例如Datalog语言就可以表示相同类型的查询。 Datalog语言不是使用过程语言来表示查询,而是使用一种规则来表示出这种想法,即可以通过已知的关系中的某些元组的组合来推测元组是否在关系中。 基本结构 Datalog语言包括两种基本的原子,即关系原子和算术原子,由原子按照一定的规则组成Datalog查询语句。 在Datalog语言中,关系通过 “谓词”来表示,每一个谓词都有固定数量的参数。 关系原子是由符号谓词和其后的参数组成,常简称原子。 例如,如果谓词是R,其参数分别是t1,t2,…,tn,那么R(t1,t2,…,tn)就是一个关系原子。 算术原子是两个算术表达式的比较,算术原子的值是布尔值。 一般规则 规则是Datalog语言中描述原子之间关联的规范,包括下列三个组成部分: 1. 一个称为头部的关系原子 2. 左向箭头符号←,读作if 3. 主体部分,由一个或多个称为子目标的原子组成。 子目标既可以是关系原子,也可以是算术原子。各个子目标之间用逻辑运算符AND连接,且各个子目标前面可以有选择地增加取反逻辑运算符NOT。 规则的目标是使规则的头部关系原子为真。 例如:LongMovie(t,y)←Movies(t,y,l,g,s,p) AND l≥100 等价于LongMovie:=πtitle,year(σlength ≥100(Movies) ) 安全规则 安全规则: 由于关系实例总是有限,所以还需要由规则保证得到的头部关系也都是有限的。 每个在规则中任意位置出现的变量都必须出现在主体的某些非否定的关系子目标中。 尤其是任何在规则头部、否定关系子目标或任意算术子目标中出现的变量,也必须出现在主体的非否定的关系子目标中。 例5.19 安全规则 LongMovie(t,y)←Movies(t,y,l,g,s,p) AND l≥100 例5.20 非安全规则,不允许出现在Datalog中 P(x,y)←Q(x,z) AND NOT R(w,x,z) AND xy 扩展谓词和内涵谓词 若谓词所指的关系存储在数据库中,称该谓词为扩展谓词。 当谓词所指的关系是通过一个或多个Datalog规则计算得到的,称该谓词是内涵谓词。 即扩展谓词和内涵谓词分别对应关系代数表达式中的操作数和使用关系代数表达式计算得到的关系。 在Datalog规则中,可以使用EDB (External Database)表示扩展谓词或相应的关系,使用IDB (Internal Database)表示内涵谓词或相应的关系 。 例如,Movies是一个EDB关系,而LongMovie是一个IDB关系。 5.5 关系代数向Datalog规则的转换 一般地,可以使用一个或多个Datalog规则来模拟关系代数的运算形式,并且可以模拟非常复杂的运算形式。 本节主要研究如何从关系代数的基本运算形式以及连接运算形式转换到Datalog规则。 从集合运算到Datalog规则 交集运算可以使用一个Datalog规则来表示 由于交集运算涉及了两个关系,那么在Datalog规则中,
文档评论(0)