时空数据库规范化问题的研究

Study on the normalization of spatio-temporal database

一个好的时空数据库逻辑设计目标是消除数据冗余以及插入、删除和更新异常。因此,对时空函数依赖STFD(Spatio-Temporal Function Dependency),时空关键字,时空完全函数依赖进行了定义,在此基础上对时空数据库进行了规范化研究,提出了时空一范式、时空二范式、时空三范式,并对它们的规范化程度的高低次序进行了证明。

The purpose of a good spatio-temporal database logical design is to eliminate data redundancy and insertion, deletion and update anomalies. In this paper, the notions of spatio-temporal function dependency, spatio-temporal key, spatio-temporal fully function dependency are introduced. Based on that, the normalization of spatio-temporal database is studied. The concepts of the first spatio-temporal normal form （ST1NF）, the second spatio-temporal normal form（ST2NF） and the third spatio-temporal normal form （ST3NF） are introduced.The proofs of their normalization degree are given.