关于传递闭包和函数依赖完备公理系统存在的问题研究

数据依赖在数据库设计中起着十分重要的作用，自Ｃｏｄｄ提出函数依赖，Ｆａｇｉｎ引入多值依赖后，近几年来人们又根据设计中的需要引入多种新的依赖，如在工程数据库设计中所引进的传递闭包依赖等，对这些依赖一般是按其是否具有完备的公理系统而划分为两大类，因为完备性公理系统往往具有有效的判定算法为先决条件。本对ＣＤＳ和ＦＤＳ的ｋ元完备公理系统存在问题进行了研究，证明了ＣＤＳ和ＦＤＳ不具有共同的Ｋ元完备公理系统     

基于多重依赖关系的传递闭包研究及应用

文中通过改进Warshall-Folyd的算法,提出了一种依赖传递闭包算法和相应的动态闭包算法,其核心思想是依据依赖关系的分类和性质,定义关系矩阵和运算算子,使算法能解决选择依赖关系,并能表达直接、间接和选择三种依赖关系;同时,所提出动态算法能够运行时根据问题规模动态添加关系元素和依赖关系,解决在基本关系原则和部分关系集上求取闭包的问题。结合安全通用标准CC中关于组件间依赖关系的规定,给出了本文所提出算法的一个实际应用,表明算法取得了很好的效果。     

任意公理系统的依赖基

形式化定义了值依赖的公理、公理系统及依赖基。严格证明了任何公理系统对任何背景都具有依赖基,给出 了对任意一个公理系统求任意背景依赖基的方法,并证明了每个公理系统的依赖基不唯一。进而还提出了一种诱导 背景,通过诱导背景可把这个证明过程及依赖基的计算过程形象地反映出来。     

连接依赖的蕴涵问题及其推导公理系统

本文首先证明了一个连接依赖集等价于一个连接依赖；根据这一结果，可以构造一个不用追踪判定连接依赖蕴涵问题的方法，然后，本文给出了一个新的连接依赖的推导公理系统，并证明了这一系统的合理性和完全性。     

在关系DBMS上扩充传递闭包功能的方法和实现技术

现有的关系ＤＢＭＳ一般还不支持传递闭包计算功能。为了扩充这个重要功能，作者在ＯＲＡＣＬＥＤＢＭＳ上增加了一个传递闭包处理层ＳＥＴＣＳ。ＳＥＴＣＳ提供了一个ＳＱＬ的扩充版本ＳＱＬ。ＳＱＬ比ＳＱＬ增加了传递闭包的定义和查询语句。ＳＱＬ中有关传递闭包的语句由预处理接口处理，传递闭包用半质朴算法计算。为了应用的需要，除计算传递闭包外，还提供传递闭包的深度和路径等参数。作为应用的例子，ＳＥＴＣＳ已试用于民航     

XML强闭包依赖的研究

XML闭包依赖是基本的完整性约束。当XML文档出现不完全信息时,XML闭包依赖同样对于阻止XML数据的更新异常、查询优化以及索引设计具有重要的意义。提出了在不完全信息环境下基于一致路径集合的XML强函数依赖和XML强闭包依赖的定义,研究了XML强闭包依赖的判定定理。在提出XML强闭包依赖推理规则的基础上,对其有效性和完备性进行了证明。最后分析了XML强闭包依赖和XML强函数依赖的关系。     

属性集闭包求解算法的C＋＋实现

在关系数据理论中,属性集闭包的求解不仅是证明Armstrong公理系统的基础,也是关系数据库逻辑模式设计中各种模式分解算法的基础。研究了属性集闭包求解算法的机制,并利用VC＋＋实现了该算法。     

在RDBMS上扩充传递闭包功能的方法和算法

目前的ＲＤＢＭＳ一般不支持传递闭包计算功能。为扩充此功能，作者提出了在原ＲＤＢＭＳ上增加传递闭包处理层ＳＥＴＣＳ，以及扩充传递闭包定义与查询语句的ＳＱＬ＊。该方案已在ＯＲＡＣＬＥ上实现并投入应用。     

基于函数依赖的模式分解方法

模式分解是关系数据库逻辑设计中的难点,本文基于多年数据库系统设计和教学的经验,提出了基于函数依赖的方便可行的模式分解方法。     

求候选关键字的替换算法及其正确性和完备性证明

本文研究了用替换方法求解候选关键字的理论和算法，并证明了该算法的正确性和完备性。     

线性多变量系统执行器和传感器的功能冗余性分析

本文给出了执行器和传感器的功能冗余性定义,提出了两种分析功能冗余性的方法,就功能冗余性对系统可靠性的影响进行了分析,最后论述了功能冗余性及其分析方法在提高控制系统可靠性方面的应用.     

一个具有多时间粒度时态函数依赖集的成员籍算法

对于具有函数依赖（FDs)约束的传统关系数据库规范化理论来说，判定一个FD是否被给定FD集所逻辑蕴涵（即成员籍问题）是非常重要的，这有助于设计有效的模式分解算法，而对于具有时态函数依赖（TFDs)约束的时态模式来说，由于多时间粒度的使用使成员籍问题的解决变得更加复杂，由此讨论了时态类型的一些特性，并提出了有限决定集的概念，基于求得属性的有限决定集，对每一个元素的左部属性集是单一属性的TFD集给出了一个有效的成员籍算法和相关的正确性证明。     

多电子原子（离子）电离能数据库的设计及相关研究

用ＢＡＳＩＣ语言建立多电子原子（离子）各态电离能数据库及其管理系统，该系统采用功能模块的层次结构，具有使用方便，利用于维护等特点。利用该系统，不但可以直接查询、修改或补充完善各电离能数据，而且可由此进行有关多电子原子（离子）的等电子系相同态电离能变化规律及其它问题的相关研究。     

面向对象的网络需求分析工具研究与实现

本文介绍了一种用于网络设计辅助工具的需求分析方法,我们采用面向对象的方法,设计,计算机辅助网络需求分析模板,对不同类型的企业,采用不同的数据量化模型,估算出主要结点间的通信量,为网络设计和网络性能评价奠定基础。     

HOS规格说明的功能理解及其应用

本文给出了ＨＯＳ方法学中基本控制结构ＪＯＩＮ、ＩＮＣＬＵＤＥ、ＯＲ和复合控制结构ＣＯＪＯＩＮ、ＣＯＩＮＣＬＵＤＥ及ＣＯＯＲ的语义构造规则．以此为基础，提出了一种层次武功能理解方法，并讨论了其在ＨＯＳ规格说明的语义验证和复用方面的应用．     

两种客户／服务器DBMS实现及其效率研究

两种客户／服务器ＤＢＭＳ实现及其效率研究冯玉才，金树东，王元珍（华中理工大学计算机科学与工程系，武汉４３００７４）摘要本文介绍在一个多用户ＤＢＭＳ基础上，实现标准客户／服务器ＤＢＭＳ和改进的客户／服务器ＤＢＭＳ的基本结构，其特点是将数据库系统的各层次软件.     

基于“3S”平台的巡警监管系统的设计与应用

提出一种基于GPS/GPRS/GIS平台的巡警监管系统的设计方法,为巡警管理部门提供一个直观、便捷和实时的监管平台,可以大大加强对巡警的监管力度,进而有效提高巡警的工作效率.系统使用Oracle数据库来存储系统的空间数据和属性数据,确保系统数据的快速访问和高可靠性.依据本平台设计的巡警监管系统在辽宁某市巡警部门已经进行实际应用,并取得了良好的效果.