析取封闭世界假设的一种过程语义

• 作者: 冯建华 周立柱 王克文
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 演绎数据库 封闭世界假设 语义
• 年，卷（期）: 2001,（9）
• 页码范围: 1265-1270
• 页数: 6页
• 分类号: TP18
• 字数: 1583字
• 语种: 中文

摘要

析取信息的表示是一个重要的研究问题.DCWA(析取封闭假设)为一般演绎数据库提供了一种谨慎语义,并且扩充了标准的良基语义.同时DCWA支持争论推理,为广义封闭世界假设提供了一种逼近.基于此,提出了DCWA的过程语义,并证明了它的可靠性和完备性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周立柱	清华大学计算机科学与技术系	69	3313	19.0	57.0
2	冯建华	清华大学计算机科学与技术系	51	794	13.0	27.0
3	王克文	清华大学计算机科学与技术系	2	3	1.0	1.0