CDOL程序的层迭化

摘要：

该文研究了约束演绎的面向对象数据库语言－ＣＤＯＬ程序中对否定问题的处理，即采用层迭化的程序对否定问题做出一定限制。层迭化的ＣＤＯＬ程序具有最小不动点语义。

关键词： 演绎面向对象数据库 否定 层迭化程序

作者: 王浩 刘晓平 周国祥

作者单位: 工业大学计算机与信息系(合肥)

会议类型: 国内会议

会议名称: 第十六届全国数据库学术会议

会议地点: 兰州

会议语种:中文

页码: 43～47

在线出版日期: 1999-08-01（万方平台首次上网日期，不代表论文的发表时间）