WDDBS查询语言及其完整性证明

来源 :中国计算机学会全国第五届数据库与第一届管理信息学术会议 | 被引量 : 0次 | 上传用户:c224224224
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
语言的表达能力的大小,是衡量语言生命力的重要标志,在计算机领域里,语言的表达能力更是显得重要,所以,对语言的表达能力进行评价,对于改进语言的功能是一个重要环节,在数据库技术广泛应用的今天,查询语言的完好性能,对于方便应用具有特殊意义。WDDBS是一个基于局部网(Either-Net)的分部式数据库系统,该系统上的查询语言是一种类似查询语言SEQVEL的语言,只是各语句的实现方法不一样。该文准备以下几部分进行:首先,简单介绍关系代数的几种基本运算并且给出关系代数中运算的最小集证明以及完整性的定义。然后,简单介绍WDDBS查询语言中的相关语句及其处理的简单过程。(本刊录)
其他文献
差不多每隔上一段时间,语文教育问题就会被提出来争吵一番,这似乎意味着语文教育已经“病入膏肓”。各路专家和热心人总是会来为语文教育提供各式各样的救治方案,而且为究竟哪种方案更合理而争论不休。无奈真理总是越辩越暗,许多年过去了,语文教育依然是一个问题。时至今日,语文教育状况既没有得到根本性的救治,但也没有因此而一命呜呼,依然是那样半死不活地撑着。  从根本上说,我不太相信语文教育方面的“改革”。语文教
本文主要从德育目标、内容、方法、师资等几方面,对我国高校德育存在的一些问题进行了分析,并提出了一些相应的对策.
从泸州教育学院三届中学校长提高培训的实践中,作者总结了他们的成功经验:精心准备培训课题、规范培训过程、提高培训质量,并对提高培训进行反思.
会议
该文介绍基础医学研究所编制的蛋白质和DNA数据处理软件及数据库管理的计算机系统。系统的数据库由EMBL.GENBANK和NBRFNUC的DNA数据库和NBRF蛋白质数据库86年版本组成,还包括
讨论了数据库中的所有定律的使用。数据库中有两种定律:状态定律和转移定律。状态定律中有一些用作推导规则,还有一些用作完整性规则,对此文中都进行了详细的讨论。该文还讨论每
就当前全国范围内高校扩大招生人数和提高新生收费标准的现状而言,笔者认为,高校扩招虽然能在一定程度上有利于我国经济的发展,如在人才培养上、目前的就业压力缓解上,但是,
本文分析了当前中小学管理工作中的几个误区,如投票选优评职、重奖过度、下不为例,任人唯亲、朝令夕改等,同时指出了其产生的原因和危害.
期刊
由于数据库技术和网络通讯技术的发展,为房地产开发行业所面临的时间紧迫、保密性强、涉及面广、资料动态变化等诸多困难提供了解决的可能。该文从模糊信息处理、系统软件和网