1) total order temporal BCNF
全序时态BC范式
2) partial-order temporal BCNF
偏序时态BC范式
1.
This paper investigated partial-order temporal database,gave the concepts of non-strict partial-order temporal type set,partial-order temporal module scheme,partial-order TFD sets\' scheme projection,partial-order temporal module projection and partial-order temporal BCNF etc.
针对偏序时态数据库进行研究,提出了非严格偏序时态类型集、偏序时态模块模式、偏序TFD集的模式投影、偏序时态模块投影和偏序时态BC范式等概念,并给出了避免时态类型间复杂操作的偏序时态BC范式的分解算法,对其正确性、可终止性进行了证明,并对算法的时间复杂度进行了分析。
3) totally ordered temporal forth normal form
全序时态第四范式
4) Total order temporal SNF
全序时态简单范式
5) Boyce-Codd Normal Form
BC范式
1.
Judgement Theorem about Boyce-Codd Normal Form and Methods of Relation Normalization;
BC范式的判定定理及关系的规范化方法
6) totally ordered temporal scheme
全序时态模式
1.
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.
依据时态函数依赖、时态模式、多值依赖的理论,对全序时态模式进行了讨论,给出了全序时态模式、全序时态模块的定义及其性质。
补充资料:全良序集
全良序集
totally well-ordered set
全良序集[totauyw日I一闭ered滋;Bno几”e ynop,几o-,e皿oeM”o二ee化0」 见良序集(忱U一。找kredset).
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条