DocumentCode :
2178589
Title :
Study on reasoning rule about temporal multivalued dependency with multiple time granularities and decomposition algorithm of T4NF
Author :
Ying, Zhao ; Yingchun, Liang
Author_Institution :
Electr. & Inf. Eng. Coll., Beihua Univ., Jilin, China
fYear :
2011
fDate :
9-11 Sept. 2011
Firstpage :
502
Lastpage :
505
Abstract :
This article introduces temporal multivalued dependency, a type of natural temporal constraint. In order to study the inference axiom of temporal multivalued denpendency, strong finer relation which is a natural relation among temporal types is given. A sound and complete axiomatization for TMVDs is developed. Unfortunately, unlike the case of traditional MVDs, there are usually an infinite number of TMVDs implied by a finite number of TMVDs. To overcome this problem, this paper introduce the notion of a finite closure of TMVDs, and develop sound and complete axiomatization to effectively compute finite closures. Specifically, Temporal forth normal form(T4NF) that avoids all data redundancies due to the mixed set of TFDs and TMVDs is defined. This form is proper extension of 4NF. Decomposition algorithm is presented that give lossless T4NF decomposition.
Keywords :
inference mechanisms; temporal databases; T4NF; decomposition algorithm; multiple time granularities; natural temporal constraint; reasoning rule; temporal forth normal form; temporal multivalued dependency inference axiom; Algorithm design and analysis; Educational institutions; Indexes; Inference algorithms; Redundancy; Relational databases; insert; style; styling; temporal Functional Dependency; temporal database; temporal multivalued dependency;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Electronics, Communications and Control (ICECC), 2011 International Conference on
Conference_Location :
Zhejiang
Print_ISBN :
978-1-4577-0320-1
Type :
conf
DOI :
10.1109/ICECC.2011.6066659
Filename :
6066659
Link To Document :
بازگشت