区间约束及其代数查询语言

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

区间约束数据库查询语言:ISQL

区间约束数据库可以统一处理空间和非空间数据，它基于关系数据库，增加了对区间约束数据的支持．为了管理区间约束数据，在这个模型基础上，提出了一个区间约束数据库语言ISQL．ISQL完全保留了数据库中非空间数据的SQL查询能力，同时集成了对空间数据的管理．定义了ISQL的语法和语义，它扩充了SQL2的语法和语义，增加了对区间约束数据的查询．通过嵌套查询、并差查询、插入、删除、更新等情形，给出了相应的实例和说明．最后讨论了ISQL语言的封闭性．

一种具有约束演绎能力的面向对象数据库语言CDOL

本文介绍了一个基于规则的具有约束处理能力的面向对象数据库查询语言CDOL．该语言将面向值和面向对象模型集成在一起，约束关系可以显式描述并作为知识直接进入推理查询过程．CDOL可作为智能化CAX环境的核心数据库查询语言，本文着重介绍其语法和语义．

区间约束数据库语言ISQL

描述了区间约束数据库的语法和语义 ,给出了相应的实例和说明 .简要讨论了 ISQL

宇航中的一种基于线性约束数据库的GIS空时数据模型及其查询

地理信息系统 (GIS)是一种计算机辅助工具 ,用于存储和分析在地理空间上和时间上发生的现象和事件。 GIS系统在航空航天、军事和民用等领域具有重要应用。数据库是 GIS系统的核心 ,空时数据的存储和查询是 GIS数据库中的两个重要问题。本文针对现有空时数据模型的不足 ,提出了一种基于线性约束数据库的空时数据模型 ,阐述了该模型与已有空时数据模型间的关系。本文进一步对关系数据模型上的 Datalog查询语言的语法和语义进行了推广 ,使之能够对提出的 GIS空时数据模型的数据进行查询。最后给出一个在飞船着陆场系统搜索救援中使用该数据模型的实例。通过该数据模型在实际系统中的使用 ,可以得出如下结论 :(1)基于线性约束数据库的数据模型不仅可以替代现有的空时数据模型 ,而且克服了这些模型不能表示无限空时数据的缺点和不能描述空间、时间坐标关系的缺点 ;(2 )针对该模型推广的 Datalog查询语言与结构化查询语言 SQL相比 ,具有更强的表达能力 ,可以描述诸如循环和传递闭包等复杂的应用语义。

约束数据库技术概论

介绍了数据库研究的一个新领域——约束数据库 .简要总结了约束数据库定义、建模能力、查询语言、索引技术等方面的研究和进一步的研究方向 .

基于约束数据库的分布式故障诊断技术研究及应用

针对某些具有分布式特性的复杂系统的诊断难题,提出了一种以对象-关系约束数据库为中心的分布式诊断模型。首先研究了对象-关系约束数据库的建立方法,然后描述了约束关系对象查询语言的体系结构,最后给出了分布式的诊断结构和诊断算法。此方法在某卫星系统中得到了应用,证明该方法诊断速度快,可以实现对各分系统间耦合故障的诊断,适用于卫星这类复杂系统的故障诊断。