面向对象数据库的推理查询实现*

上文介绍了面向对象数据库系统FOOD的推理查询语言O—Datalog，本文继续讨论对O—Datalog程序的几种变换，并证明这些变换是语义等价的，从而证明了对于一个O—Datalog程序，可以为它构造一个相应的Datalog程序。并能利用该Datalog程序对原程序进行计值．最后本文还给出了对O—Datalog程序计值的算法．     

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

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

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

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

DOOL程序语义等价转换为Datalog 程序的转换规则

演绎对象数据库(DOOD)是演绎数据库与面向对象数据库两者优点相结合的产物。笔者设计实现了一个演绎对象数据库系统原型SD-DOOD,它是基于演绎数据库系统SD-DDBS的。然而,它使用的是演绎对象库语言DOOL,而演绎数据库语言是基于Datalog的,因此该文提出了应用一些转换规则来将DOOL程序转换为Datalog,通过规则转换,能求出DOOL程序的最小不动点(即程序值),从而使得系统的查询操作全都由SD-DDBS最终得出结果。文中详细介绍了转换规则的具体内容。     

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

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

一种有效的O3LAP多维视图查询算法

该文介绍了面向对象的联机分析处理技术O3LAP,提出了扩展的OSQL语言,并提出了一种基于ARRAY的O3LAP多维视图查询算法,该算法能大幅度地提高Consolidation查询的效率,最后给出了该算法的性能分析实验结果。     

面向对象多媒体数据库管理系统的研究与实现

本文提出了一种基于对象元模型的面向对象多媒体数据库管理系统的设计思想和实现方法,给出了复杂对象的操作算法,对旬的存储结构,对象的知识表达和推理机制,并设计实现对象结构可视查询语言。     

基于DOOD原语上的查询公式

演绎面向对象查询公式含有与演绎数据库和面向对象数据库查询公式相关的方面。本文的目的是引入一种基于整合了面向对象和演绎的DOOD样式的适合于终端用户的新颖的查询语言方法。     

知识库中的空值探讨

分析了空值环境下的三种类型的查询策略，以及Datalog查询求值的Semi-Naive算法，给出了一个从子目标关系空值特性导出头关系空值特性的一种方法，使改进后的Semi-Navie算法能在带空值的EDB数据库中对Datalog查询进行正确求值。     

基于反应能量学的多相催化反应分子设计系统

利用VB6．O语言开发多相催化的催化剂设计应用软件(HCMDS1．O)。该软件基于UBI—QEP的理论方法．采用模块化设计，其功能模块有三：一是数据库模块，利用该模块可以实现气相解离键键能以及小吸附基团在各种过渡金属表面吸附热的查询、添加与修改；二是化学吸附热计算模块，利用该模块可以调用数据库中的数据对不同吸附方式的吸附热进行计算；三是基元反应的活化能垒计算模块，利用该模块可以对基元反应进行反应能量学计算，进而分析其反应的难易与历程。利用该系统可实现多相催化反应的催化剂优选和机理探讨。程序编写采用了Ac—cess动态数据库和面向对象的编程技术，界面友好，运行稳定可靠。