【作者】 王浩； 刘晓平； 周国祥；

【Author】 Wang Hao,Liu Xiaoping,Zhou Guoxiang (Dept.of Computer and Information,Hefei University of Technology,Hefei 230009)

【机构】 合肥工业大学计算机与信息系；

【摘要】 本文研究了约束演绎的面向对象数据库语言—CDOL程序中对否定问题的处理,即采用层迭化的程序对否定问题做出一定限制.层迭化的CDOL程序具有最小不动点语义.更多还原

【Abstract】 This paper propose a treatment of negation in constraint deductive object-oriented database language(CDOL),that is stratified programs.It is achieved through restricting use of negation.The stratified programs of CDOL has the semantics of least fixed points.更多还原