| 摘要: |
| 方法和方法继承是面向对象的核心概念.本文介绍了约束演绎对象语言CDOL(constraint deductive object language)中方法的概念及定义，方法是作为规则定义的，它既可作为对象的接口，又可用来实现计算的抽象与共享，方法的继承和多态是通过类型机制和合一机制来实现的. |
| 关键词: 演绎面向对象数据库,演绎查询语言，方法，方法继承. |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家教委博士点专项基金资助. |
|
| Research of the Method in Deductive Object-Oriented Database Language |
|
WANG Hao,GAO Jun,ZHANG Dian-cheng
|
| 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. |
| Key words: Deductive objected-oriented database, deductive query language, method, method inheritance. |
