内置谓词函数依赖及其推理规则

• 作者: 唐九阳 张维明 汤大权 肖卫东 胡艳丽
• 来源期刊: 国防科技大学学报
• 学科: 工学
• 关键词: 函数依赖 内置谓词 推理规则 逻辑蕴涵 可靠性 完备性
• 年，卷（期）: 2009,（5）
• 所属期刊栏目: 电子工程·机电工程
• 页码范围: 58-63
• 页数: 6页
• 分类号: TP311.131
• 字数: 6633字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2486.2009.05.012

摘要

研究内置谓词函数依赖及其推理规则.首先提出内置谓词函数依赖,定义了内置谓词函数依赖的语法和语义;其次提出属性-约束集闭包概念,提出计算属性-约束集闭包的算法,判断内置谓词函数依赖逻辑蕴涵;然后提出内置谓词函数依赖的推理规则集A,证明推理规则集A是可靠且完备的,用于内置谓词函数依赖蕴涵分析的形式化证明;最后讨论了内置谓词函数依赖的应用.