1) 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范式的分解算法,对其正确性、可终止性进行了证明,并对算法的时间复杂度进行了分析。
2) total order temporal BCNF
全序时态BC范式
3) Boyce-Codd Normal Form
BC范式
1.
Judgement Theorem about Boyce-Codd Normal Form and Methods of Relation Normalization;
BC范式的判定定理及关系的规范化方法
4) temporal normal form
时态范式
5) totally ordered temporal forth normal form
全序时态第四范式
6) Total order temporal SNF
全序时态简单范式
补充资料:全良序集
全良序集
totally well-ordered set
全良序集[totauyw日I一闭ered滋;Bno几”e ynop,几o-,e皿oeM”o二ee化0」 见良序集(忱U一。找kredset).
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条