逻辑数据库中参数化CWAs问题研究
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:


ON THE CLOSED WORLD ASSUMPTIONS FOR LOGIC DATABASES
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    闭世界假设(CWAs)是逻辑数据库中一类主要的隐含完备.本文给出了一种参数化CWA的一般定义,使用这种参数化定义,已知的以及新的CWAs可作为特殊情况推导出,并可对数据库完备的概念进行更有效的描述.

    Abstract:

    Closed world assumptions (CWAs) are an important class of implicit completions for logic databases. This paper presents a new parameterized definition of CWA. Bythis definition some known and new versions of CWAs can be derived as special cases. Inturn, the CWA presented in this paper can also instantiates the more basic notion of"database completion" and satisfies natural properties.

    参考文献
    相似文献
    引证文献
引用本文

聂培尧.逻辑数据库中参数化CWAs问题研究.软件学报,1995,6(9):560-566

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:1993-12-21
  • 最后修改日期:1994-04-11
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号