[论文解读] Believe It or Not: Adding Belief Annotations to Databases

Wolfgang Gatterbauer, Magdalena Bałazińska+2 more|arXiv (Cornell University)|Dec 30, 2009

Logic, Reasoning, and Knowledge参考文献 33被引用 10

一句话总结

本文提出了信念数据库（belief databases）这一新型数据库模型，允许用户通过信念陈述对元组及其他注释进行标注，从而在协作式科学数据汇编中结构化地表示冲突观点。该模型采用多智能体认识逻辑形式化信念语义，将信念数据库编码为规范的克里普克结构（Kripke structures），并提供信念查询到标准SQL的多项式时间转换，使标准关系型DBMS能够高效处理查询。

ABSTRACT

We propose a database model that allows users to annotate data with belief statements. Our motivation comes from scientific database applications where a community of users is working together to assemble, revise, and curate a shared data repository. As the community accumulates knowledge and the database content evolves over time, it may contain conflicting information and members can disagree on the information it should store. For example, Alice may believe that a tuple should be in the database, whereas Bob disagrees. He may also insert the reason why he thinks Alice believes the tuple should be in the database, and explain what he thinks the correct tuple should be instead. We propose a formal model for Belief Databases that interprets users' annotations as belief statements. These annotations can refer both to the base data and to other annotations. We give a formal semantics based on a fragment of multi-agent epistemic logic and define a query language over belief databases. We then prove a key technical result, stating that every belief database can be encoded as a canonical Kripke structure. We use this structure to describe a relational representation of belief databases, and give an algorithm for translating queries over the belief database into standard relational queries. Finally, we report early experimental results with our prototype implementation on synthetic data.

研究动机与目标

• 为解决科学数据库中注释缺乏形式化语义的问题，其中用户常对数据正确性存在分歧。
• 支持高阶注释——即关于其他用户信念的注释——而不仅限于简单元数据或修正。
• 在共享数据库中实现对冲突事实与观点的结构化讨论，同时保留所有信念状态。
• 通过规范的克里普克结构，在标准关系型DBMS上实现信念查询的实用且高效实现。
• 支持科学应用中的协作汇编，如生物多样性制图，其中多位专家可能对数据条目持有不同观点。

提出的方法

• 提出一种信念数据库模型，扩展关系型数据库，支持对元组及其他注释的信念标注。
• 使用多智能体认识逻辑的一个片段定义形式化语义，以表示信念世界及其相互关系。
• 为任意信念数据库构建规范的克里普克结构，确保其唯一性与多项式规模表示。
• 将信念合取查询转换为非递归Datalog（从而等价于标准SQL），以便在标准RDBMS上执行。
• 设计一种关系模式，使用规范的克里普克结构表示信念数据库，支持存储与查询处理。
• 实现一个信念数据库管理系统（BDMS）原型，并通过合成数据实验验证该方法。

实验结果

研究问题

• RQ1 如何形式化建模信念标注，以在协作型数据库中表示冲突观点与高阶信念？
• RQ2 信念数据库能否被编码为保持其语义并支持高效查询处理的规范克里普克结构？
• RQ3 是否可能将信念查询转换为标准SQL，同时保持正确性与效率？
• RQ4 在协作式科学数据环境中，该模型在真实工作负载下的可扩展性与性能表现如何？
• RQ5 该模型能否支持动态更新，如在标准RDBMS中插入、删除或修改信念标注？

主要发现

• 本文证明，每个信念数据库均可在多项式时间内编码为规范的克里普克结构，从而提供信念语义的可靠且完备表示。
• 信念合取查询可被转换为非递归Datalog，其等价于标准SQL，从而可在现有RDBMS上无需修改直接执行。
• 原型实现成功将信念查询转换为SQL，并在合成数据上高效处理，验证了其可行性。
• 该模型支持信念标注的任意嵌套深度，包括对其他用户信念的信念，从而支持丰富且结构化的讨论。
• 通过将否定限制在原子元组上，该方法避免了完整模态逻辑推理的复杂性，确保查询评估为PTIME复杂度。
• 关系模式支持对信念标注的完整插入、删除与更新操作，使系统在真实协作汇编场景中具有实用性。