| 演绎面向对象数据库语言中的方法研究 |
| |
| 引用本文： | 王 浩,高 隽,张奠成. 演绎面向对象数据库语言中的方法研究[J]. 软件学报, 1998, 9(3): 190-193 |
| |
| 作者姓名： | 王 浩 高 隽 张奠成 |
| |
| 作者单位： | 合肥工业大学人工智能应用研究室,合肥,230009 |
| |
| 基金项目： | 本文研究得到国家教委博士点专项基金资助. |
| |
| 摘 要： | 方法和方法继承是面向对象的核心概念.本文介绍了约束演绎对象语言CDOL(constraint deductive object language)中方法的概念及定义，方法是作为规则定义的，它既可作为对象的接口，又可用来实现计算的抽象与共享，方法的继承和多态是通过类型机制和合一机制来实现的.
|
| 关 键 词： | 演绎面向对象数据库 演绎查询语言，方法，方法继承. |
| 收稿时间： | 1997-01-24 |
| 修稿时间： | 1997-05-04 |
Research of the Method in Deductive Object-Oriented Database Language |
| |
| WANG Hao,GAO Jun and ZHANG Dian-cheng. Research of the Method in Deductive Object-Oriented Database Language[J]. Journal of Software, 1998, 9(3): 190-193 |
| |
| Authors: | WANG Hao GAO Jun ZHANG Dian-cheng |
| |
| Affiliation: | Institute of Artificial Intelligent Application Hefei University of Technology Hefei 230009 |
| |
| Abstract: | Method and method inheritance are the kernel concepts of object-oriented. This paper introduces the concept and definition of methods in CDOL(constraint deductive object language). Methods are defined by rules. They are used as interface of objects, but they can also be used to achieve abstraction of computation and sharing. The inheritance and polymorphism of methods can be realized through typing and unification. |
| |
| Keywords: | Deductive objected-oriented database deductive query language method method inheritance. |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
