%0 Journal Article
%T Study on Set of Temporal Functional Dependencies with Totally Ordered Set of Temporal Types<br>具有全序时态类型集时态函数依赖集的研究
%A YAO Chun-Long
%A HAO Zhong-Xiao
%A <br>姚春龙
%A 郝忠孝
%J 软件学报
%D 2003
%I 
%X The purpose of good database logical design is to eliminate data redundancy and insertion, deletion and update anomalies. For temporal databases, temporal schemes may be normalized by using constraints of temporal functional dependencies (TFDs) with multiple temporal granularities. However, the adoption of temporal dimension and usage of multiple temporal granularities make it very complicated to design a temporal database. Generally, the set of temporal types that can be processed by a system and involved in lots of applications, meet totally ordered relation, and the set of TFDs with a totally ordered set of temporal types is closely related to the Armstrong axioms of traditional functional dependencies (FDs). By analyzing the existing relationships between TFDs and FDs and utilizing corresponding algorithms for traditional set of FDs, some important algorithms such as membership and finite closure of attributes algorithms are proposed for given set of TFDs. These algorithms are the basis of further normalization for temporal databases.
%K temporal database
%K functional dependency (FD)
%K normalization
%K relational scheme
%K logical design
%K logical implication<br>时态数据库
%K 函数依赖(FD)
%K 规范化
%K 关系模式
%K 逻辑设计
%K 逻辑蕴涵
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=F78A7B98BDAC4E13&yid=D43C4A19B2EE3C0A&vid=F3583C8E78166B9E&iid=0B39A22176CE99FB&sid=002786F01A86D891&eid=10828928EB89AD8E&journal_id=1000-9825&journal_name=软件学报&referenced_num=17&reference_num=9