KBASE－P知识库系统的设计与实现

当前的实用知识库系统研究是将知识库查询语言嵌入到一个过程语言中．ＫＢＡＳＥ－Ｐ是一个通用的知识库程序设计语言．ＫＢＡＳＥ－Ｐ以ＫＢＡＳＥ作为查询语言，以ＦＤ－ＰＲＯＬＯＧ（我们开发的一个ＰＲＯＬＯＧ扩充）为过程性的宿主语言执行１／Ｏ和ＤＢ更新操作（用扩充的内部谓词）．由于良好的设计和实现，查询语言与宿主语言之间的阻抗不匹配问题相对较小．因而，ＫＢＡＳＥ－Ｐ是一个比较实用的知识库程序设计语言．ＫＢＡＳＥ－Ｐ系统支持逻辑程序设计语言（ＫＢＡＳＥ－Ｐ语言）的程序开发，提供了文本编辑、文件管理、谓词管理、事实操作、Ｄａｔａｌｏｇ查询、ＳＱＬ查询等功能．本文详细介绍了ＫＢＡＳＥ－Ｐ系统的设计和实现．     

KBASE—P知识库系统的设计与实现

当前的实用知识库系统研究是将知识库查询语言嵌入到一个过程语言中。ＫＢＡＳＥ－Ｐ是一个通用的知识库程序设计语言。ＫＢＡＳＥ－Ｐ以ＫＢＡＳＥ作为查询语言，以ＦＤ－ＰＲＯＬＯＧ（我们开发的一个ＰＲＯＬＯＧ扩充）为过程性的宿主语言执行Ｉ／Ｏ和ＤＢ更新操作（用扩充的内部谓词）。由于良好的设计和实现，查询语言与宿主语言之间的阻抗不匹配问题相对较小。因而，ＫＢＡＳＥ－Ｐ是一个比较实用的知识库程序设计语言。ＫＢＡ     

C＋＋与RDBMS无缝接口的若干关键技术

ＯＯＰ＋ＤＢＭＳ是生成一个原型ＯＯＤＢＭＳ的自然途径，但要把这两个完全不同的软件集成为一个系统却颇费周折，本文讨论Ｃ＋＋与ＲＤＢＭＳ集成中的一些技术问题，主要有对象标识，内存对象库的查询，访问，控制，事务管理等的实现问题，文中对一些难点提出了解决方案。     

评价面向对象查询语言

目前，人们已经为面向对象数据库系统（ＯＯＤＢＳ）提出并实现了一些查询语言。由于缺少评价框架，很难对这些语言进行评价和比较。本文介绍一种比较全面的评价框架 ，它对已有的查询语言进行了评价，结果表明这些查询语言都没有达到所有标准，这个评价框架对于改进现有的查询语言和支持新的查询语言的设计都是有益的。     

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

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

KBASE—P：一个知识库程序设计语言

ＫＢＡＳＥ－Ｐ是一个知识库程序设计语言，它以ＫＢＡＳＥ作为查询语言，以ＦＤ－ＰＲＯＬＯＧ为过程性的宿主语言，二者具有要同的编程风范，都是Ｈｏｒｎ子句风范，并且系统对任何磁盘访问是以“每次一个集合”的方式进行，因此在ＫＢＡＳＥ－Ｐ中，查询语言与宿主语言之间的“阻抗不匹配”问题尽可能地减小了，ＫＢＡＳＥ－Ｐ以ＲＤＢＭＳ来管理事实（包括中间求值结果）和规则，因此能够有效地管理大容量的数据，并且数据是可菜     

在向对象数据库系统的查询处理

本文钭传统数据库系统中导航式技术与描述式技术相结合，提出了一种全新的面向对象数据库系统（ＯＯＤＢＳ）查询策略，文中对该查询预处理作了详细讨论，并给出了有关ＯＯＤＢＳ查询的形式定义与描述，该策略已经在我们研制的分布式ＯＯＤＢＳ中实现。     

面向对象数据库系统的查询处理

本文将传统数据库系统中导航式技术与描述式技术相结合，提出了一种全新的面向对象数据库系统（ＯＯＤＢＳ）查询策略．文中对该查询预处理作了详细讨论，并给出了有关ＯＯＤＢＳ查询的形式定义与描述．该策略已经在我们研制的分布式ＯＯＤＢＳ中实现     

面向对象知识库系统CAOBS／V1.2的设计与实现

文中介绍了一个面向对象知识库系统ＣＡＯＢＳ／Ｖ１．２。该系统是在一个面向对象数据库管理系统基础上进行开发的。我们重点研究了面向对象的知识表示、可视查询、问题的推理求解与知识的获取机制。在ＣＡＯＢＳ／Ｖ１．２系统中，问题推理求解采用基于事例的推理，辅之以基于规则的推理模式。我们还开发了一种新型的可视知识查询语言－ＶＫＱＬ，其查询的直观性和方便性均要强于传统的文本查询语言。文中论述了ＣＡＯＢＳ／Ｖ１．     

知识库系统KBASE＋的数据模型,语言及实现

本文讨论具有面向对象特征的知识库系统ＫＢＡＳＥ＋的数据模型，语言及实现，ＫＢＡＳＥ＋的数据模型可以方便地支持对象标识，类层次，多继承等面向对象概念。描述性查询语言ＫＢＬ是扩充的ＤＡＴＡＬＯＧ。本文重构了ＫＢＬ语义理论框架，提出了解决属性继承和实例继承的方案，说明了ＫＢＬ程序可以转换成语义等价的ＤＡＴＡＬＯＧ程序。     

Measuring and modelling the performance of a parallel ODMG compliant object database server

Object database management systems (ODBMSs) are now established as the database management technology of choice for a range of challenging data intensive applications. Furthermore, the applications associated with object databases typically have stringent performance requirements, and some are associated with very large data sets. An important feature for the performance of object databases is the speed at which relationships can be explored. In queries, this depends on the effectiveness of different join algorithms into which queries that follow relationships can be compiled. This paper presents a performance evaluation of the Polar parallel object database system, focusing in particular on the performance of parallel join algorithms. Polar is a parallel, shared‐nothing implementation of the Object Database Management Group (ODMG) standard for object databases. The paper presents an empirical evaluation of queries expressed in the ODMG Query Language (OQL), as well as a cost model for the parallel algebra that is used to evaluate OQL queries. The cost model is validated against the empirical results for a collection of queries using four different join algorithms, one that is value based and three that are pointer based. Copyright © 2005 John Wiley & Sons, Ltd.     

A novel rule-centric object oriented approach for document generation

Complex business models in large-scale enterprises deal with voluminous knowledge based on which most decisive official and technical documents are generated. Nowadays, template processors are available for generating such documents. However, the existing template processors are either labor intensive or complicated to suit well-established business model and knowledge repositories in a heterogeneous environment. Hence, a novel generalized adaptable and flexible template processor that utilizes the existing resources without modifying the business model is proposed. The tacit business intelligence defined as rules, knowledge repositories and document structure are the nodal agents of this approach. Further, an XML based Object Query Definition Markup Language for rule definition is newly suggested. The rules are reorganized into hierarchical DAG structured rules using a transformation algorithm and traversed using hybrid traversal. The required output document is represented through a template. Object wrappers act as the communicating agent between diversified datasets and the templates. The proposed architecture is modeled and implemented using set theory. It is experimented in a web-based distributed environment using JAVA and tested using a real world dataset of a large-scale engineering enterprise. The results demonstrate its adaptability and extensibility to any multi-organizational structure.     

High-Speed Tools for Global Information Management. II. Specifications and Uses of the Transparent Query Language (TQL)

This part, PART IIB [2], of the document HIGH-SPEED TOOLS FOR GLOBAL INFORMATION MANAGEMENT. II. Specifications and Uses of the Transparent Query Language (TQL) [1–6] contains the specifications for the operations that provide the arithmetic capabilities for Transparent Query Language. PART IIB references PART IIA [1] and PART IIC [3]. Concise definitions of Transparent Query Language terms, Conclusions and Acknowledgments are given in PART IIF [6].     

数据库建模—ODL与E／R图的比较

文章首先较详细地介绍了面向对象的数据库建模语言－ODL（Object Definition Language，对象义语言），并且通过实例把它与传统的E／R图建模方法进行了分析与比较，说明了它们在表达上的一些不同之处，最后阐明了各自适应的场合。     

A benchmark for OCL engine accuracy, determinateness, and efficiency

Since several years, the Object Constraint Language (OCL) is a central component in modeling and transformation languages like the Unified Modeling Language, the Meta Object Facility, and Query View Transformation. Consequently, approaches MDE (Model-Driven Engineering) depend on this language. OCL is present not only in areas influenced by the OMG but also in the Eclipse Modeling Framework (EMF). Thus the quality of OCL and its realization in tools seems to be crucial for the success of model-driven development. Surprisingly, up to now a benchmark for OCL to measure quality properties has not been proposed. This paper puts forward in the first part the concepts of a comprehensive OCL benchmark. Our benchmark covers (1) OCL engine accuracy (e.g., for the handling of the undefined value, the use of variables and the implementation of OCL standard operations), (2) OCL engine determinateness properties (e.g., for the collection operations ??any?? and ??flatten??), and (3) OCL engine efficiency (for data type and user-defined operations). In the second part, this paper empirically evaluates the proposed benchmark concepts by examining several OCL tools. The paper clarifies a number of differences in handling particular language features and under specifications in the OCL standard.     

空间查询语言GSQL及其解释器的研究与设计

空间查询语言是空间数据库与应用软件的接口,但由于传统的SQL不支持空间数据类型而对空间查询语句无能为力.本文在OpenGIS SQL的基础上,对空间查询语言GSQL进行研究,并对其解释器进行详细的研究和设计.     

体系结构描述语言XYZ/ADL到UML的映射

选择了一种基于时序逻辑语言XYZ/E的体系结构描述语言XYZ/ADL，分析了其设计元素和UML建模元素的语义，并通过UML扩展机制和对象约束语言进行扩展和约束，建立起从XYZ/ADL到UML的映射。     

A graphical query language: VISUAL and its query processing

This paper describes VISUAL, a graphical icon-based query language with a user-friendly graphical user interface for scientific databases and its query processing techniques. VISUAL is suitable for domains where visualization of the relationships is important for the domain scientist to express queries. In VISUAL, graphical objects are not tied to the underlying formalism; instead, they represent the relationships of the application domain. VISUAL supports relational, nested, and object-oriented models naturally and has formal basis. For ease of understanding and for efficiency reasons, two VISUAL semantics are introduced, namely, the interpretation and execution semantics. Translations from VISUAL to the Object Query Language (for portability considerations) and to an object algebra (for query processing purposes) are presented. Concepts of external and internal queries are developed as modularization tools.