高级检索

    线性序约束的规范表达

    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.

       

    /

    返回文章
    返回