摘要：基于可能模型方法 ( possible m odel approach,简称 PMA) ,提出了面向行动的信念更新的概念 ,证明了在信息完备的情境演算系统中 ,一个一阶公式在情境 s下成立当且仅当它属于情境 s下的信念集 .这一结果为有效避免情境演算推理中二阶归纳公理的使用提供了一条可行的途径 ,也为基于意向驱动的 agent模型的建立以及面向 agent的程序设计语言 AOPL ID( agent-oriented programm ing language with intention driver)的提出提供了必要的理论基础 .

摘要：Cbase是南京大学计算机系与南大谷元石油软件研究所有限公司研制的新一代商用关系数据库管理系统。为了提高查询效率,作者开发了Cbase数据库的查询优化器。文章详细论述了Cbase查询优化器中重写模块的设计思想与实现技术,并讨论了基于执行引擎特点引入的一组基于等价谓词的简单语句的重写规则。测试结果表明,所设计的重写器能够显著提高系统的查询效率。

摘要：本文详细讨论了重写模块的设计思想与实现技术 ,并讨论了利用执行引擎特点引入的一组基于等价谓词的简单语句重写规则 .测试结果表明 。

摘要：提出了XML的形式教据模型及其查询代数,主要包括以下几个方面:构造先后序关系、引入带根连通有向 图、建立XML形式数据模型(XFDM)和XML查询代数(XFQA)。它形成了一个较为完整的XML数据库管理系统的 理论基础,可以作为XML以及其它半结构化数据库管理系统查询存储、查询分解、查询优化和查询实现的形式化基础。

摘要：本文提出了一种基于实用原则的框架问题的解决方案,证明该方案的表达能力与Reiter的方案等价,分析了两种方案各自的特色及适用范围。提出了效应公理的完备化概念,给出了效应公理的规则表示形式,这些结果为基于意向驱动的agent模型的建立以及面向agent的程序设计语言AOPLID的提出提供了必要的理论基础。

摘要：XML是可扩展标记语言,开发者可根据需要定义合适的标记。由于其灵活性,已被广泛应用于各个领域。主要讨论XML语法检查的两种方法,着重分析其中的一种,并给出具体的实现算法、对XML语法进行检查包括两部分,XML的有效性检查和XML的结构良好性检查。首先对表示XML文档类型定义（DTD）的局部树语法进行改进,然后在DTD构造的语法基础上,对XML进行有效性检查,针对语法检查的两个部分分别构造了检查算法。实验结果表明,该语法检查算法是切实可行的。

摘要：AOPLID语言是以现有的情境演算理论和基于意向驱动方式的agent模型为理论框架而建立的一种面向agent的程序设计语言.介绍了该语言的程序组成及程序的运行方式。