论文部分内容阅读
提出了区间约束和基于区间约束的代数查询语言。区间约束与密序约束相经，增加了简单的加减运算，具有更强的描述能力，同时区间约束元组有简洁，唯一的规范区间表示，文中给出了计算区间约束的规范区间表示的算法，针对区间约束关系，定义了基本代数操作的语法及语义，研究了代数查询语言，并证明代数约束查询语言满足封闭性，最后讨论了区间约束的实现与应用。