工程数据库管理系统中几何整体的数据描述和操作

面向CAD／CAM数据库中的信息通常中十分复杂的，因此，在单一的记录中存贮这种复杂的数据结构十分困难。根据工程应用的需要，应使得数据库管理系统能够支持抽象数据型以及具有数据语义结束条件的描述能力。本文介绍了在我们研制，开发的一个多用户工程数据库管理系统－NMEDAMS（Multiuser Engineering Database management System)中的结构以及数据语义信息的描述及操作。     

XML及语义Web技术

1 引言 XML的目标就是要改变Web的基本结构,超越HTML并代之以更强大、更具有可扩展的体系结构。XML旨在使Web返回到基于内容的结构,而不再是开发人员强加给它的基于格式的结构。但是到目前为止,几乎所有的Web页面都是用HTML编写的。虽然HTML具有通用、简单易学、句法简单紧凑等许多优点,使得它得以在Web网页上大显身手,但是随着Web应用的越来越深入,HTML过于简单的弱点也越来越突出了。其中一个明显的弱点即是由HTML编写     

1NF关系数据模型及其进展

本文主要介绍1NF关系模型的基本概念,并讨论嵌套关系代数、嵌套范式及嵌套关系的唯一性与最小化等有关1NF的当前研究概况、结果与进展。     

关于传递闭包和函数依赖完备公理系统存在问题研究

数据依赖在数据库设计中起着十分重要的作用．自Ｃｏｄｄ提出函数依赖（ＦＤｓ）、Ｆａｇｉｎ引入多值依赖（ＭＶＤｓ）后，近几年来人们又根据设计中的需要引入多种新的依赖，如在工程数据库设计中所引进的传递闭包依赖（ＣＤｓ）等．对这些依赖一般是按其是否具有完备的公理系统而划分为两大类，因为完备性公理系统往往具有有效的判定算法为先决条件．本文对ＣＤｓ和ＦＤｓ的ｋ元完备公理系统存在问题进行了研究，证明了ＣＤｓ和ＦＤｓ不具有共同的ｋ元完备公理系统这一结论．     

一种基于PROLOG的ES建造工具库的研究与实现

本文描述了一基于ＰＲＯＬＯＧ的专家系统建造工具库ＰＴＥＳ的实验系统。ＰＴＥＳ是用ＰＲＯＬＯＧ编写的，该系统根据支持基于规则的知识表示及近似推理对ＰＲＯＬＯＧ的知识处理能力进行了扩充。ＰＴＥＳ的推理机制使用了可能性逻辑及模糊集合理论作为其逻辑基础并以一种形式化的方法提供了处理非确定事实及非确定规则的能力。     

面向对象的模型管理问题

在使用面向对象方法的模型管理中，模型应解释为能根据对“消息“的接收及回答来执行各种模型管理功能的对象的集合。本文讨论了使用结构模型框架对构成模型的对象类进行划分的问题，并对执行各种模型操作所需要的协议进行描述。本文还就使用一个关系ＤＢＭＳ来实现面向对象的模型管理系统的可能性问题进行了探讨。     

基于OEM的XML半结构数据的模式描述方法

半结构数据的类型和模式是提高半结构数据处理效率的关键技术，首先对半结构数据的特点及半结构数据的模式的特点进行了论述，然后对基于XML的模式描述形式进行了研究，提出了一种基于OEM的XMLDTD模式的定义和形式化描述方法。     

一种基于扩展WF-Net的工作流建模方法

本文以工作流系统特性和Petri网模型理论为依据,分析了WF-Net在工作流建模中的局限性,并运用一些成熟的建模思想对其进行了改进,使其在描述机制上更加完善。文章在最后给出了该扩展模型的形式化定义。     

逻辑数据库中参数化CWAs问题研究

闭世界假设（ＣＷＡｓ）是逻辑数据库中一类主要的隐含完备．本文给出了一种参数化ＣＷＡ的一般定义,使用这种参数化定义,已知的以及新的ＣＷＡｓ可作为特殊情况推导出,并可对数据库完备的概念进行更有效的描述．