约束数据库的模式设计、查询语言和实现技术

本项目围绕约束数据库方向，针对区间约束，两变量线性约束和线性序约束三种约束类型进行了深入、系统的研究，并对将约束数据类型应用于时空数据库的方式进行了研究。共发表论文10篇，其中权威刊物以上7篇。主要研究成果包括：一.区间约束数据库查询语言ISQL和基于两变量线性约束的时空数据查询语言。二.三种类型约束的规范化表示和规范化表示的生成算法。三.区间约束和两变量线性约束的代数查询语言和复杂性最高的投影操作的实现算法。四.线性序约束关系的无损连接分解问题。五.插入和删除操作最差情况下计算复杂性为o（logn）的动态区间索引结构。六.约束在时空数据库中的应用方法。