Research of the Method in Deductive Object-Oriented Database Language
演绎面向对象数据库语言中的方法研究

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.