摘要
依据时态函数依赖、时态模式、多值依赖的理论,对全序时态模式进行了讨论,给出了全序时态模式、全序时态模块的定义及其性质.最后,给出全序时态模式4NF的定义及其分解算法,并进行证明.
Totally ordered temporal scheme is studied based on temporal functional dependency, temporal scheme and multi - valued dependency, giving the definition of totally ordered temporal scheme, totally ordered temporal module and their properties, totally ordered temporal forth form being defined, giving the algorithm for totally ordered temporal forth form decomposition and proving the algorithm.
出处
《哈尔滨理工大学学报》
CAS
2007年第1期36-38,46,共4页
Journal of Harbin University of Science and Technology
关键词
全序时态模式
全序时态模块
全序时态第四范式
totally ordered temporal scheme
totally ordered temporal module
totally ordered temporal forth normal form
