| DOL: 一个演绎对象库语言 |
| |
| 引用本文： | 王修伦,孙永强. DOL: 一个演绎对象库语言[J]. 软件学报, 1998, 9(10): 771-776 |
| |
| 作者姓名： | 王修伦 孙永强 |
| |
| 作者单位： | 上海交通大学计算机科学与工程系,上海,200030;上海交通大学计算机科学与工程系,上海,200030 |
| |
| 摘 要： | 演绎对象数据库是对象数据模型和演绎数据库集合的产物.它集成演绎数据库的查询能力和对象数据库的强大建模能力.DOL(deductive object base language)是作者设计的一种演绎对象库语言,它支持类、类层次、继承、集合、部分集、方法及重载和否定.文章着重研究继承、重载和复杂结构化值的交互关系.定义了压缩操作子和重载操作子.基于这两个操作子,定义了与经典逻辑程序类似的直接后承操作子,并研究其不定点性质.
|
| 关 键 词： | 演绎对象库语言 部分集 压缩操作子 重载操作子 描述型语义. |
| 收稿时间： | 1997-06-09 |
| 修稿时间： | 1997-09-19 |
DOL: A Deductive Object Base Language |
| |
| WANG Xiu-lun and SUN Yong-qiang. DOL: A Deductive Object Base Language[J]. Journal of Software, 1998, 9(10): 771-776 |
| |
| Authors: | WANG Xiu-lun and SUN Yong-qiang |
| |
| Affiliation: | Department of Computer Science and Engineering Shanghai Jiaotong University Shanghai 200030 |
| |
| Abstract: | The integration of deductive database and object database results in deductive object database which has capacities of deductive query of deductive database and strong modeling of object database. DOL (deductive object base language) is designed as a deductive object base language. It supports class, object identifier, complex object, partial set, inheritance and overriding. A immediate consequent operator, similar to tradition's, is defined based on two operators: compact operator and overriding operator in this paper. In addition, a fixed point semantics is analyzed. |
| |
| Keywords: | Deductive object database partial set compact operator overriding operator declarative semantics. |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
