节点文献
CDOL程序的层迭化
Stratified Programs of CDOL
【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.
【关键词】 演绎面向对象数据库；
否定；
层迭化程序；
【Key words】 deductive object-oriented database； negation； stratified programs；
【Key words】 deductive object-oriented database； negation； stratified programs；
【基金】 安徽省自然科学基金资助项目
- 【会议录名称】 第十六届全国数据库学术会议论文集
- 【会议名称】第十六届全国数据库学术会议
- 【会议时间】1999-08-24
- 【会议地点】中国甘肃兰州
- 【分类号】TP311.13
- 【主办单位】中国计算机学会数据库专业委员会