《元组关系演算表达式.docx》由会员分享,可在线阅读,更多相关《元组关系演算表达式.docx(4页珍藏版)》请在第壹文秘上搜索。
1、元组关系演算表达式元组演算是埃德加科德导入的演算,是关系模型的一部分,发展目的是提供宣告式的数据库查询语言。数据库查询语言QUE1.和后来的SQ1.中的一些灵感是由元组演算而来。SQ1.和原来的关系模型和演算已有许多不同,后来成为实际上的数据库查询语言标准,几乎所有的关系数据库管理系统中都会用到SQ1.或是其变体。后来1.acroix和Pirotte提出了接近于一阶逻辑的域演算,并证明了这两种演算和关系代数在表达能力上是等价的。若关系数据库的查询语言可以表达一种以上上述的查询方式,则可称为具有关系完备性。域关系演算与元组关系演算最大的区别是域关系演算中的变量表示数据库的表属性,而元组关系演算的
2、变量表示元组,即数据库的一行。元组演算表达式在元组关系演算系统中,称t(t)为元组演算表达式。其中t是元组变量,(t)为元组关系演算公式,简称公式。它由原子公式和运算符组成。(1) R(t):R是关系名,t是元组变量。R(t)表示t是R中的元组。于是,关系R可表示为:tR(t)(2) tiuj:t和u是元组变量,。是算术比较运算符。tiuj表示断言“元组t的第i个分量与元组u的第j个分量满足比较关系0o例如,t2u3表示元组t的第2个分量小于元组u的第3个分量。(3) tiOC或COti:这里c是常量,该公式表示“t的第i个分量与常量C满足比较关系。例如:t4=3表示元组t的第4个分量等于3c
3、在关系演算中定义了“自由元组变量”和“约束元组变量”的概念。这些概念和谓词演算中的概念完全一样。若公式中的一个元组变量前有“全称量词”或“存在量词”,则称该变量为约束元组变量,否则称自由元组变量。每个原子公式是公式。如果中1和2是公式,贝U1八2、IV2、1也是公式。分别表示: 如果1和2同时为真。则1八中2才为真,否则为假; 如果中1和2中一个或同时为真,则1V2为真,仅1和2同时为假时,1V2才为假;如果中1真,贝U1为假。 若是公式,则3t()也是公式。其中符号3是存在量词符号,3t()表示:若有一个t使为真,则3t()为真,否则3t()为假。 若是公式,则Vt()也是公式。其中符号是全
4、称量词符号,t()表示:如果对所有t,都使为真,则t()必为真,否则Vt()为假。 在元组演算公式中,各种运算符的优先次序为:算术比较运算符最高;量词次之,且3的优先级高于的优先级;逻辑运算符最低,且的优先级高于A的优先级,A的优先级高于V的优先级;加括号时,括号中运算符优先,同一括号内的运算符之优先级遵循各项。 有限次地使用上述五条规则得到的公式是元组关系演算公式,其他公式不是元组关系演算公式。一个元组演算表达式t(t)表示了使(t)为真的元组集合。2 .分布式数据库加锁阶段和解锁阶段也称为扩展阶段和收缩阶段,是传统集中式数据库的两阶段提交协议。获取阶段和运行阶段是与开发数据库应用过程相关的
5、阶段。表决阶段和执行阶段是分布式数据库的两阶段提交协议。3 .网络安全RSA加密算法是一种非对称加密算法。SS1.及其继任者T1.S是为网络通信提供安全及数据完整性的一种安全协议。SET安全电子交易协议主要应用于B2C模式中保障支付信息的安全性。S/MIME确保接收者不能否认已经收到过的邮件。4 .层次化编址层次化编址是一种对地址进行结构化设计的模型,使用地址的左半部的号码可以体现大块的网络或者节点群,而右半部可以体现单个网络或节点。层次化编址的主要优点在于可以实现层次化的路由选择,有利于在网络互联路由设备之间发现网络拓扑。5 .组织信息化组织信息化需求通常包含三个层次,其中战略需求的目标是提升组织的竞争能力,为组织的可持续发展提供支持环境。运作需求包含实现信息化战略目标的需求、运营策略的需求和人才培养的需求等三个方面。技术需求主要强调在信息层技术层面上对系统的完善、升级、集成和整合提出的需求。