未找到相关数据
区间约束及其代数查询语言
被引：8
作者：
王宇君
汪卫
施伯乐
机构：
[1] 复旦大学计算机科学系
来源：
关键词：
约束数据库，代数查询语言，区间约束;
D O I：
暂无
中图分类号：
TP312 [程序语言、算法语言];
学科分类号：
081202 ;
0835 ;
摘要：
提出了区间约束和基于区间约束的代数查询语言．区间约束与密序约束相比，增加了简单的加减运算，具有更强的描述能力．同时区间约束元组有简洁、唯一的规范区间表示．文中给出了计算区间约束的规范区间表示的算法．针对区间约束关系，定义了基本代数操作的语法及语义，研究了代数查询语言，并证明代数约束查询语言满足封闭性．最后讨论了区间约束的实现与应用．
引用
收藏
页码：103 / 107
页数：5
相关论文