3 推理算法 上文对数据库操作范式做了详细描述，给出了 数据库操作范式的一般化表示形式，并基于具体示 例对其面对用户个性化操作请求时的填充表示结果 给予展示，本节将结合具体算法对数据库操作语言 的推理过程及结果加以说明展示。 3.1 符号声明 符号声明主要是将数据库操作范式中的相关 知识抽象为回答集编程可以接受的符号形式。回答集编程的符号是建立在一阶谓词逻辑的基础上的， 它的一阶谓词表达为 P（x1,…,xn），其中 P 被称为 谓词符号，是用来描述个体之间关系或主题性质的 词，x1,…,xn 是表示个体的词。