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