演绎面向对象数据库语言中的方法研究  

Research of the Method in Deductive Object Oriented Database Language

作　　者：王浩[1] 高隽 张奠成 

机构地区：[1]合肥工业大学人工智能应用研究室

出　　处：《软件学报》1998年第3期190-193,共4页Journal of Software

基　　金：国家教委博士点专项基金

摘　　要：方法和方法继承是面向对象的核心概念．本文介绍了约束演绎对象语言ＣＤＯＬ（ｃｏｎｓｔｒａｉｎｔｄｅｄｕｃ－ｔｉｖｅｏｂｊｅｃｔｌａｎｇｕａｇｅ）中方法的概念及定义，方法是作为规则定义的，它既可作为对象的接口，又可用来实现计算的抽象与共享。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.

关 键 词：面向对象 DOOD 数据库 演绎数据库 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]