OO代数——一个面向对象的数据库的基本查询模型

本文提出了一个面向对象的数据库系统的基本查询模型－ＯＯ代数，它具有关系代数相似的形式，具有封闭性和远比关系代数强得多的表达能力。文中首先给出了面向对象的数据库系统的数据结构的一种形式化描述－ＯＳＧ，然后ＯＯ代数的五种基本运算：并、差、类间连接、类内选择及广义投影被一一定义，并说明了用关系代数实现这五种运算的方法。     

基于关系代数的XML数据查询

XML渐已成为Web上数据表示和交换的通用语言。为了有效地利用大量的XML文档，需要研究XML数据查询技术。提出了基于关系代数的XML数据查询方法。XML子句可以用关系代数表达式表示，并通过关系代数操作得到查询结果。该方法为查询XML数据提供了一种简洁和有效的手段。     

复杂对象数据库的递归查询语义

本文用代数规范方法定义了复杂对象数据库中的对象标识、对象值、查询谓词和数据库状态语义，通过对查询路径的分析，给出了个体对象查询条件匹配的语义，特别是在个体对象上施用递归查询的语义，最后，给出了ＯＯＤＢ中选择操作的语义。     

异构数据源集成系统中基于数据源能力的查询分解和优化策略

异构数据源集成系统需要集成查询能力差别较大的各种数据源。为充分利用数据源的查询能力和简化包装器设计,本文提出使用复合法进行基于能力的查询分解和优化。在复合法中,仅需简单说明数据的基本查询能力,各数据源对查询处理的特殊限制封装在包装器中。文中给出描述数据源基本查询能力的方法,并且在讨论ＯＩＭ对象代数操作的概括查询和过滤子的基础上,探讨数据源包装器对基本支持查询的处理方法。     

面向对象数据库的推理查询语言

本文基于复旦大学开发的一个面向对象数据库系统ＦＯＯＤ，提出一种推理查询语言Ｏ－Ｄａｔａｌｏｇ，语言能方便地表达对面向对象数据的各种查询和推理要求，它可以转换 Ｄａｔａｌｏｇ形式，能运用各种高效计值算法，比其它一些基于非Ｈｏｒｎ子句逻辑的语言更易于Ｏ－Ｄａｔａｌｏｇ在形式上是一种Ｄａｔａｏｇ的扩充，本文着重介绍其语法和语义。     

SQL查询语言的分治法教学研究

当面对一个较为复杂的查询需求时,学生常感到无从下手,针对这一问题,介绍关系代数完备集到SQL查询语句的转换规则,提出一种构造数据库查询的基于分治算法和局部视图的教学方法,阐述该方法的具体应用过程并说明教学效果.     

一个实现对象查询语言的形式化基础

在基于CORBA(common object request broker)的面向对象多数据库系统SCOPE/CIMS中，作者选择了对象数据库管理组ODMG(object database management group)提出的对象数据库标准ODMG-93的OQL(object query language)作为全局查询语言.为此，提出了一种实现OQL的形式化基础,包括适合建模OQL的一种对象演算和一种对象代数；对象演算的规范化规则和规范化步骤；对象演算与对象代数的等价映射规则及转换策略.     

OreintXA:一种有效的XQuery查询代数

XQuery是XML查询语言的推荐标准.现有的XQuery处理策略有两种方法,一种是基于核心语法一次一结点的方法,另一种是基于查询代数的一次一集合的方法.单独使用这两种方法都不能很好地处理XQuery查询.一方面,基于核心语法树的方法效率低,而且很难优化,而现有基于代数的方法又不能很好地满足XQuery的过程化查询语言的特性.描述了一个有效的XQuery代数系统--OrientXA.它是在总结现有的基于代数的XQuery查询工作、分析未解决的问题,并吸收了前述的两种策略的思想的基础上提出来的.它第一次提出了构造模式树的概念,其中的构造操作符能体现XQuery的灵活特征.由于操作符具有很强的表达能力,OrientXA能够表达W3C的用例和XMark测试集的所有查询.     

SQL查询语言的分治法教学研究

当面对一个较为复杂的查询需求时,学生常感到无从下手,针对这一问题,介绍关系代数完备集到SQL查询语句的转换规则,提出一种构造数据库查询的基于分治算法和局部视图的教学方法,阐述该方法的具体应用过程并说明教学效果.     

基于二阶基调的时空查询代数形式化定义

提出了一种基于对象关系数据库和中间件技术的时空数据库系统实现与查询处理框架，着重论述了其中的时空查询代数。引入了二阶基调用于时空查询代数的形式化定义，给出了时宅数据库的逻辑结构定义、类型系统定义以及查询操作定义。     

面向对象数据库中查询代价的估算

好的查询优化器都是基于代价的，因此查询代价的估算是数据库查询优化中一项不可缺少的工作。文中在联系代数的基础上，综合考虑了对象聚集，索引等因素，给出了面向对象数据库中查询代价的一种估算方法。     

XML查询的代数表示及其查询优化

本文绘出了一种XML查询的逻辑代数表示,基于这种代数表示作者探讨了在逻辑层面上进行XML查询优化的可能性和方法。文章按以下方式组织,第一部分给出了一种XML数据的模型表示,接着简单描述了在这个模型上的XML查询语言-AnXQL;第二部分是本文的重点,详细描述了XML查询的逻辑代数操作符,并举例说明;第三部分在逻辑层面上探讨了XML查询优化的方法;最后一部分介绍了相关研究工作,并与本文的方法进行了对比。本文是文[8]中基于半结构化数据模型的集成查询处理研究的重要组成部分。     

多值开关级代数在MOS电路形式验证中的应用

本文讨论了ＭＯＳ电路多值开关级代数表达式的三种标准结构，给出了将多值开关级表达式转换成布尔表达式的定理，基于这些理论，提出了ＭＯＳ电路开关级形式验证的一种方法。     

基于等价变换的分布式查询优化方法研究

分析了分布式数据库的查询准则、代价估算及分布式查询的层次结构，并利用关系操作与SQL描述存在对应关系的特点，将分布式查询转换关系代数表达式，对关系代数表达式进行等价变换实现查询的优化，最后以实例对基于关系代数等价变换的分布式数据库查询优化方法进行验证。     

含有空值关系数据库的查询处理

本文在深刻理解空值语义的基础上，给出一种处理占位型空值的方法，空值环境下关系数据库的查询策略，定义了含三种查询操作的关系代数最小完备集中的关系代数运算，并对查询计算的有效性和完备性进行了分析。     

类关系代数的OODB理论—关联代数的分析

ＯＯＤＢ是数据库研究的新领域。文中介绍了用于面向对象数据库查询语言原型的ＯＯＤＢ理论－与关系代数相似的关联代数。通过与关系代数的比较，分析其特点，说明其优越性。最后给出基于关联的查询形式。     

OrientX中XQuery的导航式实现

目前，很多工作在研究XQuery的实现和优化，探讨实现XQuery的最优技术．提出了一种基于语法的代数(称做XAlgebra)，用于定义XQuery的语义，在查询引擎内部表示XQuery的执行计划，操纵XML数据等．以代数XAlgebra为基础，在自主开发的Native XML数据库系统OrientX中实现了XQuery的导航式处理．     

SPARQL查询的关系代数表示与转换方法

为解决基于本体的数据集成系统中的查询转换问题,提出SPARQL查询的关系代数表示和转换方法。引入RDF图模式的关系代数,定义了五种基本的关系运算,给出了SPARQL查询的关系代数表示;提出了SPARQL到SQL的查询转换方法,将基于本体的SPARQL查询转换为可在关系数据库上直接执行的SQL查询,从而实现关系数据库的集成。系统实现表明,该方法能够有效地实现查询语言的转换。     

一种Internet自动信息查询模式

一种在Ｉｎｔｅｒｎｅｔ国际互联网上，克服信息流通瓶颈，建立一种基于用户双向反馈功能的检索模式，并举例介绍了借助于Ｒｅｆｅｒｅｎｃｅ．ＣＯＭ的检索引擎，通过Ｉｎｔｅｒｎｅｔ新闻组，灵活进行自动查询信息的搜索引擎主动式信息服务方法。     

一种可视查询语言OSVQL的设计与实现

该文基于对象结构提出了一种可视查询语言ＯＳＶＱＬ,给出了其若干定义,讨论了ＯＳＶＱＬ的设计思想与实现方法。