31、不完整一阶数据库的受控查询评估与含分类噪声数据集的决策树集成方法

不完整一阶数据库的受控查询评估与含分类噪声数据集的决策树集成方法

不完整一阶数据库相关研究

在数据库领域，对于不完整一阶数据库的研究有着重要意义。这里主要探讨了GFFD - 数据库这种受限的不完整数据模型，以及相关知识的表示和查询评估等问题。

• 数据模型与转换 ：使用命题解释 db′ ，它是 dbPL 的替代数据库实例， ˜db 是GFFD - 数据库实例 db 的替代数据库实例。通过变换 tM 能保持语义，即 evalGFFDps(ψ)(˜db) = evalps(tM(ψ))(db′) = false 。
• 相关工作对比
  • 一阶理论命题化 ：之前有研究考虑一阶理论命题化的转换效率，但针对一阶模态逻辑的类似成果较少。
  • 模态逻辑在数据库理论中的应用 ：Levesque引入的逻辑KFOPCE允许对数据库知识进行查询，与我们的语义 M_GFFD_db 有相似之处，如常量定义无限论域且自解释。不过，KFOPCE是“弱S5”（KD45），数据库可能有与现实不符的知识，而我们假设数据库准确。并且我们的数据模型限制在有限域和基础事实，这也限制了 L_GFFD_ps 的表达能力。
  • 不完整数据库