多时间粒度约束的时态多值依赖推理  

Reasoning about temporal multivalued dependencies with multiple time granularities constraints.

作　　者：李维宏 张忠平[2] 祝精荟[1] 

机构地区：[1]浙江万里学院信息管理系 [2]燕山大学计算机科学与工程系,河北秦皇岛066004

出　　处：《浙江大学学报（理学版）》2006年第1期66-70,共5页Journal of Zhejiang University（Science Edition）

基　　金：国家"八六三"高技术研究发展计划基金资助项目(2002AA114010)

摘　　要：时态约束是时态数据库研究的主要内容之一,基于传统关系数据库,许多学者在时态函数依赖约束问题上进行了深入的研究,提出了一系列理论并发表许多有学术价值的论文.据此,基于时态函数依赖和传统关系数据库多值依赖理论提出了多时间粒度约束的时态多值依赖的概念和相关的引理、定理,并对引理、定理的有效性和完备性进行了证明,为时态数据库的进一步规范化奠定了理论基础.Temporal constraints is one of the primary research contents of constraints databases. Temporal functional dependency based on traditional relational databases was deeply researched by many scientists, a series of theories was presented, and lots of theses of scientific attainments were published. Based on temporal functional dependency and the theory of multivalued dependency of traditional relational database the concepts of temporal multivalued dependency with multiple time granularities were introduced. The sound and complete inference lemmas, axioms and relvant proofs were given. The theoretical foundation of further normalization for temporal databases was established.

关 键 词：时态数据库 时态函数依赖 时态多值依赖 粒度 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]