Research on TO_TSNF Decomposition with Total Order Temporal Module Scheme
全序时态模块模式的TO_TSNF分解问题研究

Constraints involving multiple time granularities exist in many temporal database applications.However,design of temporal database with multiple time granularities is fairly complicated,even hard to implement.Temporal type sets involved in many real world applications can constitute one total order of types,and total order temporal module schemes with total order temporal type sets have fine properties.The concepts of total order temporal module scheme,tickwise relation scheme,total order temporal module projection,total order temporal simple candidate key,total order temporal 3NF and total order temporal SNF etc.are given in this paper.The total order temporal SNF decomposition algorithm,the proof for its correction and the time complexity analysis are also given in this paper.