强时态初等关键字范式的研究  

作　　者：汤明伟[1] 

机构地区：[1]黑龙江省大庆油田有限责任公司天然气分公司物资管理部,黑龙江大庆163712

出　　处：《数字技术与应用》2011年第6期80-81,共2页Digital Technology & Application

摘　　要：提出了时态初等函数依赖、强时态初等关键字、强时态初等主属性等概念,在此基础上利用时态函数依赖(TFD)约束对时态数据库进行了规范化研究,提出了强时态初等关键字范式(TEKNF),证明了其规范程度高于时态三范式低于时态Boyce-Code范式,给出了保持函数依赖和无损连接性的分解算法,对算法的可终止性、正确性进行了证明,为时态数据库的进一步规范化奠定了基础。

关 键 词：时态数据库 时态函数依赖 时态初等关键字范式 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]