论文部分内容阅读
该文我们提出了Ｔ约束和基于Ｔ约束的代数查询语言。Ｔ约束与密序约束相比，增加了对简单的加减运算的支持，具有更强的描述的能力。同时Ｔ约束元组有简洁的规范区间表示。对Ｔ约束关系，我们定义了基本代数操作的语法及语义，研究了代数查询语言，并证明代数约束查询语言满足封闭性。从而推广了［１，２］关于密序约束下的代数查询语言的工作。