摘要
时态约束是时态数据库研究的主要内容之一,基于传统关系数据库,许多学者在时态函数依赖约束问题上进行了深入的研究,提出了一系列理论并发表许多有学术价值的论文.据此,基于时态函数依赖和传统关系数据库多值依赖理论提出了多时间粒度约束的时态多值依赖的概念和相关的引理、定理,并对引理、定理的有效性和完备性进行了证明,为时态数据库的进一步规范化奠定了理论基础.
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.
出处
《浙江大学学报(理学版)》
CAS
CSCD
北大核心
2006年第1期66-70,共5页
Journal of Zhejiang University(Science Edition)
基金
国家"八六三"高技术研究发展计划基金资助项目(2002AA114010)
关键词
时态数据库
时态函数依赖
时态多值依赖
粒度
temporal databases
temporal functional dependency
temporal multivalued dependency
granularity