Query processing in deductive databases with incomplete information
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence
Reasoning about knowledge
Logical approaches to incomplete information: a survey
Logics for databases and information systems
Consistent query answers in inconsistent databases
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Mapping data in peer-to-peer systems: semantics and algorithmic issues
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
The SEED: a peer-to-peer environment for genome annotation
Communications of the ACM - Bioinformatics
ConQuer: efficient management of inconsistent databases
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
DBNotes: a post-it system for relational databases based on provenance
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Working Models for Uncertain Data
ICDE '06 Proceedings of the 22nd International Conference on Data Engineering
MONDRIAN: Annotating and Querying Databases through Colors and Blocks
ICDE '06 Proceedings of the 22nd International Conference on Data Engineering
Reconciling while tolerating disagreement in collaborative data sharing
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Provenance management in curated databases
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
ULDBs: databases with uncertainty and lineage
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Intensional associations between data and metadata
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
From complete to incomplete information and back
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
ORCHESTRA: facilitating collaborative data sharing
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
Management of probabilistic data: foundations and challenges
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Update semantics for incomplete databases
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
Inconsistency tolerance in P2P data integration: An epistemic logic approach
Information Systems
The ORCHESTRA Collaborative Data Sharing System
ACM SIGMOD Record
Managing Biological Data using bdbms
ICDE '08 Proceedings of the 2008 IEEE 24th International Conference on Data Engineering
Integrating and Ranking Uncertain Scientific Data
ICDE '09 Proceedings of the 2009 IEEE International Conference on Data Engineering
Relational completeness of query languages for annotated databases
DBPL'07 Proceedings of the 11th international conference on Database programming languages
On the expressiveness of implicit provenance in query and update languages
ICDT'07 Proceedings of the 11th international conference on Database Theory
Data conflict resolution using trust mappings
Proceedings of the 2010 ACM SIGMOD International Conference on Management of data
TAPP'10 Proceedings of the 2nd conference on Theory and practice of provenance
An Argumentation-based Approach to Database Repair
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Proceedings of the 4th International Workshop on Logic in Databases
Combining dependent annotations for relational algebra
Proceedings of the 15th International Conference on Database Theory
Automatic conflict resolution in a CDSS
SSDBM'12 Proceedings of the 24th international conference on Scientific and Statistical Database Management
Proceedings of the 16th International Conference on Database Theory
Belief functions on distributive lattices
Artificial Intelligence
FusionDB: conflict management system for small-science databases
Proceedings of the 22nd ACM international conference on Conference on information & knowledge management
Hi-index | 0.00 |
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.