共查询到20条相似文献,搜索用时 93 毫秒
1.
数据依赖在数据库设计中起着十分重要的作用,自Codd提出函数依赖,Fagin引入多值依赖后,近几年来人们又根据设计中的需要引入多种新的依赖,如在工程数据库设计中所引进的传递闭包依赖等,对这些依赖一般是按其是否具有完备的公理系统而划分为两大类,因为完备性公理系统往往具有有效的判定算法为先决条件。本对CDS和FDS的k元完备公理系统存在问题进行了研究,证明了CDS和FDS不具有共同的K元完备公理系统 相似文献
2.
3.
4.
5.
形式化定义了值依赖的公理、公理系统及依赖基。严格证明了任何公理系统对任何背景都具有依赖基,给出
了对任意一个公理系统求任意背景依赖基的方法,并证明了每个公理系统的依赖基不唯一。进而还提出了一种诱导
背景,通过诱导背景可把这个证明过程及依赖基的计算过程形象地反映出来。 相似文献
6.
连接依赖的蕴涵问题及其推导公理系统 总被引:1,自引:0,他引:1
本文首先证明了一个连接依赖集等价于一个连接依赖;根据这一结果,可以构造一个不用追踪判定连接依赖蕴涵问题的方法,然后,本文给出了一个新的连接依赖的推导公理系统,并证明了这一系统的合理性和完全性。 相似文献
7.
现有的关系DBMS一般还不支持传递闭包计算功能。为了扩充这个重要功能,作者在ORACLEDBMS上增加了一个传递闭包处理层SETCS。SETCS提供了一个SQL的扩充版本SQL。SQL比SQL增加了传递闭包的定义和查询语句。SQL中有关传递闭包的语句由预处理接口处理,传递闭包用半质朴算法计算。为了应用的需要,除计算传递闭包外,还提供传递闭包的深度和路径等参数。作为应用的例子,SETCS已试用于民航 相似文献
8.
XML强闭包依赖的研究 总被引:5,自引:2,他引:3
XML闭包依赖是基本的完整性约束。当XML文档出现不完全信息时,XML闭包依赖同样对于阻止XML数据的更新异常、查询优化以及索引设计具有重要的意义。提出了在不完全信息环境下基于一致路径集合的XML强函数依赖和XML强闭包依赖的定义,研究了XML强闭包依赖的判定定理。在提出XML强闭包依赖推理规则的基础上,对其有效性和完备性进行了证明。最后分析了XML强闭包依赖和XML强函数依赖的关系。 相似文献
9.
在关系数据理论中,属性集闭包的求解不仅是证明Armstrong公理系统的基础,也是关系数据库逻辑模式设计中各种模式分解算法的基础。研究了属性集闭包求解算法的机制,并利用VC++实现了该算法。 相似文献
10.
在RDBMS上扩充传递闭包功能的方法和算法 总被引:1,自引:0,他引:1
目前的RDBMS一般不支持传递闭包计算功能。为扩充此功能,作者提出了在原RDBMS上增加传递闭包处理层SETCS,以及扩充传递闭包定义与查询语句的SQL*。该方案已在ORACLE上实现并投入应用。 相似文献
11.
12.
13.
14.
线性多变量系统执行器和传感器的功能冗余性分析 总被引:3,自引:0,他引:3
本文给出了执行器和传感器的功能冗余性定义,提出了两种分析功能冗余性的方法,就功能冗余性对系统可靠性的影响进行了分析,最后论述了功能冗余性及其分析方法在提高控制系统可靠性方面的应用. 相似文献
15.
一个具有多时间粒度时态函数依赖集的成员籍算法 总被引:4,自引:3,他引:4
对于具有函数依赖(FDs)约束的传统关系数据库规范化理论来说,判定一个FD是否被给定FD集所逻辑蕴涵(即成员籍问题)是非常重要的,这有助于设计有效的模式分解算法,而对于具有时态函数依赖(TFDs)约束的时态模式来说,由于多时间粒度的使用使成员籍问题的解决变得更加复杂,由此讨论了时态类型的一些特性,并提出了有限决定集的概念,基于求得属性的有限决定集,对每一个元素的左部属性集是单一属性的TFD集给出了一个有效的成员籍算法和相关的正确性证明。 相似文献
16.
用BASIC语言建立多电子原子(离子)各态电离能数据库及其管理系统,该系统采用功能模块的层次结构,具有使用方便,利用于维护等特点。利用该系统,不但可以直接查询、修改或补充完善各电离能数据,而且可由此进行有关多电子原子(离子)的等电子系相同态电离能变化规律及其它问题的相关研究。 相似文献
17.
面向对象的网络需求分析工具研究与实现 总被引:1,自引:0,他引:1
本文介绍了一种用于网络设计辅助工具的需求分析方法,我们采用面向对象的方法,设计,计算机辅助网络需求分析模板,对不同类型的企业,采用不同的数据量化模型,估算出主要结点间的通信量,为网络设计和网络性能评价奠定基础。 相似文献
18.
本文给出了HOS方法学中基本控制结构JOIN、INCLUDE、OR和复合控制结构COJOIN、COINCLUDE及COOR的语义构造规则.以此为基础,提出了一种层次武功能理解方法,并讨论了其在HOS规格说明的语义验证和复用方面的应用. 相似文献
19.
20.
提出一种基于GPS/GPRS/GIS平台的巡警监管系统的设计方法,为巡警管理部门提供一个直观、便捷和实时的监管平台,可以大大加强对巡警的监管力度,进而有效提高巡警的工作效率.系统使用Oracle数据库来存储系统的空间数据和属性数据,确保系统数据的快速访问和高可靠性.依据本平台设计的巡警监管系统在辽宁某市巡警部门已经进行实际应用,并取得了良好的效果. 相似文献