论文部分内容阅读
时态约束是时态数据库研究的主要内容之一，基于传统关系数据库，许多学者在时态函数依赖约束问题上进行了深入的研究，提出了一系列理论并发表许多有学术价值的论文．据此，基于时态函数依赖和传统关系数据库多值依赖理论提出了多时间粒度约束的时态多值依赖的概念和相关的引理、定理，并对引理、定理的有效性和完备性进行了证明，为时态数据库的进一步规范化奠定了理论基础．