强偏序时态模式中数据依赖推导规则研究.pdfVIP

194 2013，49(2) ComputerEngineeringandApplications计算机工程与应用 强偏序时态模式中数据依赖推导规则研究 万 静，朱文博 WAN Jing，ZHU Wenbo 哈尔滨理工大学 计算机科学与技术学院，哈尔滨 150080 CollegeofComputerScienceandTechnology，HarbinUniversityofScienceandTechnology，Harbin150080，China WAN Jing，ZHU W enbo．Studyonderivationrulesofdatadependencyinstrongpartialordertemporalscheme．Computer EngineeringandApplications，2013，49(2)：194-197． Abstract：W iththedevelopmentofdatabaseandinformationtechnology，informationsystemsfacemanynew applicationsand demand，anincreasingneedfortemporalinformationprocessing．Temporalinformationprocessinghasbecomeakeytechnology ofanew generationofdatabaseandinformationsystems，temporaldatabaseresearchhasbecomeahotanddifficultofthedata— baseandinformationsystemsresearchinthefield．Inthispaper，thedifficultyintemporaldatabaseisthestateofthedatabase datainthestrongpartialordertemporaldatabasewhichistheproblem ofdatadependenceresearch．Thispaper’Stopicsare closetotheacademicfrontier．Thestrongpartialordertemporalpatterndatadependentissuesarediscussed．Itproposesstrong partialordertemporalmodulescheme，temporaltypesetsofstrongpartialorderschemeofconcepts．Italsoproposesthederiva— tionrulesoftemporalfunctionaldependenciesandtemporalmulti-valueddependenciesinstrongpartialordermodulescheme． Theproofandintroductionofritscorrectionandvalidityarealsogiven．Thisisanimportantroleinpromotingthestandardiza— tionoftemporaldatabasedesigntoachieveinstrongpartialordertemporaldatabase． Keywords：strongpartial—ordertemporalmodulescheme；temporaltypesetsofstrongpartial—orderscheme；temporaldatade— pendencies；derivationofrules 摘 要：随着数据库与信息技术的发展，信息系统面临许多新的应用和需求，对时态信息处理的需求越来越迫切 。时态信 息处理 已成为许多新一代数据库与信息系统的关键技术，时态数据库研究已经成为数据库与信息系统领域研究的热点和 难点。就时态数据库中的难点问题强偏序时态数据库的数据依赖 问题开展研究，因此选题紧靠学术前沿。针对强偏序时 态模式中的数据依赖 问题进行 了讨论，提 出了强偏序时态模块模式、强偏序模式的时态类型集概念，给 出了强偏序时态 模式中函数依赖的推导规则以及多值依赖的推导规则，理论分析的结果表 明这些规则是正确的有效的，这对实现强偏序 时态数据库的规范化设计具有重要的推动作用 。 关键词 ：强偏序时态模块模式；强偏序模式的时态类型集；时态数据依赖；推导规则 文献标志码：A 中图分类号 ：TP311 doi：10．3778／j．issn．100