CANONICAL FORM IN DENSE LINEAR ORDER CONSTRAINT RELATIONS

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.