全序时态模式下函数依赖集覆盖问题的研究

来源 :哈尔滨理工大学 | 被引量 : 0次 | 上传用户:luzhenning
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
与时间相关的数据库应用需求的不断增长,使得时态数据库设计成为非常重要的问题。由于现实世界中的许多应用所涉及到的时态类型集都能满足全序关系,而具有全序时态类型集的全序时态模式有着良好的特性,所以本文将在全序环境下对时态数据库的逻辑设计问题进行更深入的研究,目的是为全序时态数据库的设计提供更有效的理论工具和方法,这对改善系统的性能有重要意义。本文主要研究了全序时态模式下函数依赖集的覆盖问题和成员籍问题。文章首先全面介绍了时态数据库,引入了全序时态模式下的函数依赖、全序模式模块等概念,给出了全序环境下的函数依赖的推导规则。为了改善全序时态数据库的系统性能,我们就要对数据库进行规范化,但是在把一个模式分解成时态三范式(T3NF)时并不能消除某些主属性部分或传递函数依赖于时态候选关键字,而在分解成时态Boyce-codd(TBCNF)范式的关系子模式时,并不能同时保持函数依赖和无损连接性,这样我们就不得不考虑规范程度高于T3NF而低于TBCNF的新范式研究,因此文章定义了全序初等关键字范式(TO_TEKNF),根据相关定理和引理得出全序初等关键字范式的分解算法,并证明了算法的可终止性、保持依赖和无损连接性。成员籍问题的解决对设计有效的模式分解算法必不可少的,基于全序时态模式的相关定义和推导规则,文章提出了全序时态函数依赖集的有效闭包等基础概念,给出了闭包算法,给出了全序模式中的成员籍算法,并对各算法的正确性、有效性进行了证明,分析了算法的时间复杂度。由于时间维的引入,使得数据库中存储的信息量变得非常庞大,冗余信息也随之增大,如何有效的减少函数依赖的冗余性,变得非常重要,对于全序时态数据库也是如此,基于此文章在最后讨论了全序时态函数依赖集的覆盖问题,引入了全序环境下覆盖的相关定义,提出了全序无冗余算法、规范覆盖算法和最小覆盖算法,进一步规范化了全序时态数据库。
其他文献
联合补充问题是生产/库存控制理论和实践中一个十分有意义的问题。当一组物品都是由同一个供应商(或供应地)供应,或当一组物品同时采用一种运输工具(汽车、轮船或飞机)运输,
在我们的日常生活中,信任抉择几乎每天都要发生。在网络日益普及,基于网络的科研、商务等活动日益频繁的情况下,信任问题更加突出。如何在虚拟的环境下建立信任更是心理学、
可控硅触发控制器是一种常见的可控整流设备,从传统的模拟式控制到现在的数字式控制,其控制稳定性、准确性以及智能性有所提高。而随着工业和信息技术的发展,像可控硅触发控
工作流是针对工作中具有固定程序的常规活动而提出的一个概念。通过将工作活动分解成定义良好的任务、角色、规则和过程来进行执行和监控,达到提高生产组织水平和工作效率的
框架技术与设计模式是J2EE中重要的软件重用技术,框架技术的应用提高了软件的开发效率,增强了系统的可重用性、健壮性和可伸缩性,几乎所有框架技术都会使用某种或多种设计模式。
随着移动通信特别是无线通信的发展,移动计算将成为一种重要的计算模式。这种计算所采用的设备多为便携式计算设备,例如笔记本、掌上电脑或个人数字助理等。由于移动计算环境
数字水印技术和数字签名技术是信息隐藏的两个重要分支,将标识作者版权的保护信息和认证信息嵌入到图像、音频、视频或软件等各种数字产品中,以达到区分非法拷贝传播和保护知
互联网技术的飞速发展对计算机存储系统性能和数据的可用性提出了越来越高的要求。新的基于IP的网络存储系统逐渐成为业界关注的焦点,在这种新的存储架构下,如何采用有效的数
地理信息系统(Geographical Information System,简称GIS)以数字化的形式反映人类社会赖以生存的地球空间数据以及描述这些空间数据特征的属性数据,支持空间数据及其属性数据的
学位