线性序约束的规范表达
CANONICAL FORM IN DENSE LINEAR ORDER CONSTRAINT RELATIONS
-
摘要: 文中研究了约束数据库中线性序约束关系的规范表达.提出一种线性序约束元组的表结构规约形式,增加了线性冗余和变量可约减两条新的规约原则,并给出线性序元组规约算法LCTRA,探讨了绝对点语义和复杂对象语义下线性序约束关系的规范型Abstract: The constraint representation in dense linear order constraint databases is studied in the paper.The notion of linear constraint tuple reduction form is defined,and a table representation of linear constraint tuples and an algorithm of linear tuple normalization are given.Various types of linear constraint relation are proposed under abstract point semantic and complex object semantic.
下载: