全序時态初等关键字范式研究.docVIP

哈尔滨理工大学 硕士学位论文 全序时态初等关键字范式研究 姓名：刘美杨 申请学位级别：硕士 专业：@ 指导教师：万静 201103  哈尔滨理?搜?学硕?学位论文 时态信息存在于生活中的每一角落，计算机技术总是科技发展的前沿，因 此时态信息与数据库技术结合的应用需求越来越广泛，时态数据库也就应运而 生。关系数据库理论中，关系模式的分解是消除数据冗余及存储异常的有效途 径。在时态数据库设计中，时态模块模式分解问题同样值得深入研究。实际上 在应用中遇到的大部分时??認粒度之间都具有全序关系，这种全序关系使得全序 时念类型集具有重要特性，所以本文针对全序时态数据库的模式分解问题进行 分析研究。 当把一个全序时念模块模式分解成令序时态三范式时并不能消除某些时念 数据的冗余，对于分解成全序时念?范式的情况则只能保证全序无损连接 性，对于保持依赖则很难做到。这样我们就有必要定义一种新的范式来解决以 上两种范式出现的问题，因此本文提出了全序初等函数依赖、全序初等候选关 键字、全序时念初等关键字范式等概念来达到这一目的，利用全序时态最小覆 盖集的特性给出属于全序时念初等关键字范式的模式分解算法，并对相关定理 推论进行分析讨论。 关键字范式的规范，为时态数据库逻辑设计发展铀路。 时念数据库；全序时念模块模式：全序时态初等候选关键字；模式分  ????????? ?????? ????? ??????????? ??? ?????．???????????????????．? ? ? ?? ??????畂????????? ????????瑃???? ?????????． ?? ?????． ????????? ?????????? ????? ?? ?????????????????? ??? ????? ??????  ?? ????．? ??，?? ???????????????瑃?? ????? ?? ??????? ????? ????? ????????? ?????． ??? ? ???? ???????? ??? ????? ??? ?????????  的查询技术研究。 “在应 “不仪能够支持用户自定义时?口??鼓苤С制渌?持质蔽使叵档氖?菘狻?  库规范化理论研究。时态数据库在时态类型集为全序环境下更有研究价值，因 此全序时态模式的规范化理论研究近年来有了长足的进展。 ??本课题研究的目的和意义 ??等人于二十世纪术基于多时间粒度提出了一个能够识别时间变化信 ?????，???? 还没有任何研究人员提出有效合理的方法来解决这些问题。通过对实际应用大 的特点，而时态函数依赖集的时态类型集若为全序就有很多良好的时念特性。 规范化¨引是进行关系数据库设计常用方法，它的目标是生成一个关系模式 集合，使我们能无冗余地存储信息，同时很轻易地检索数据。这种方法是设计 一种符合适当范式的模式。而范式是形式化的规则。时态数据库也同样需要应 用规范化理论来进行数据库设汁。本文利用全序时念类刑集特性以传统关系数 据库规范化理论为基础，在全序环境下将管换法和时态属性相关表法应用到全 序时念数据库的全部候选关键字求解中，给出相关概念及求解算法；提出了全 ??? ???，并给出了相应的模式分解算法。由于满足??的时态数据库仍  哈尔演理?搜?学硕?学位论文 为实现有效地全序时态数据库逻辑设计奠定基础。 时态数据库发展到目前阶段，在数据模型???。、实现技术、设计理论¨剐、 任何数据库设计都离不开具体的数据模型。经过二十多年的研究，已经提 出了几十种时态数据模型，其中?瓸???蚃．????各自提出的数据模 型成为时念数据库设计的标志性研究成果。绝大部分模型是基于关系模型的， 只有少数是基于面向对象模型的。在研究人员提出大量的时态数据模型的同 时，时念数据查询语言的研究也取得了很多成果，出现近几十种查询语言。这 些查询语言大多是时态关系查询语言，也出现了一些时态面向对象查询语言。 实际上，关系模型在时念数据模型、查洵语言和实现等各方衙的研究中都处于 核心地位。近年来基于关系数据模型的时念数据库设计理论研究已经成为重要 的研究领域之一。 效，而且它们也不是传统关系数据库范式的真正扩展。 系快照问而只考虑了快照中的数据冗余。 ?甐??提出??的概念，他把时态关系石作是与时间有关的关系序  ?甁???热颂岢隽艘恢只?贐?????????????? ??? ?甒???直鹨訴??和???理论为基础㈦引出引，他定义的快照函数 依赖与???的时态函数依赖类似是时念关系中的快照满足依赖，而时念函 数依赖【?、动念函数依赖㈦?及??譐隔依赖则是快照序列问的依赖约束。 以上提到的理沦在时念数据库设计领域都有着自