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