MERGING DATABASES UNDER CONSTRAINTS
- 1 March 1998
- journal article
- Published by World Scientific Pub Co Pte Ltd in International Journal of Cooperative Information Systems
- Vol. 7 (1) , 55-76
- https://doi.org/10.1142/s0218843098000040
Abstract
The problem of integrating information from conflicting sources comes up in many current applications, such as cooperative information systems, heterogeneous databases, and multiagent systems. We model this by the operation of merging first-order theories. We propose a formal semantics for this operation and show that it has desirable properties, including abiding by majority rule in case of conflict and syntax independence. We apply our semantics to the special case when the theories to be merged represent relational databases under integrity constraints. We then present a way of merging databases that have different or conflicting schemas caused by problems such as synonyms, homonyms or type conflicts mentioned in the schema integration literature.Keywords
This publication has 11 references indexed in Scilit:
- Propositional knowledge base revision and minimal changePublished by Elsevier ,2003
- On the Semantics of ArbitrationInternational Journal of Algebra and Computation, 1997
- KNOWLEDGE COMMUNICATION IN INTELLIGENT INFORMATION SYSTEMSInternational Journal of Cooperative Information Systems, 1992
- A taxonomy and current issues in multidatabase systemsComputer, 1992
- COMBINING KNOWLEDGE BASES CONSISTING OF FIRST‐ORDER THEORIESComputational Intelligence, 1992
- Federated database systems for managing distributed, heterogeneous, and autonomous databasesACM Computing Surveys, 1990
- Belief, awareness, and limited reasoningArtificial Intelligence, 1987
- A comparative analysis of methodologies for database schema integrationACM Computing Surveys, 1986
- On the logic of theory change: Partial meet contraction and revision functionsThe Journal of Symbolic Logic, 1985
- Formal Systems for Tuple and Equality Generating DependenciesSIAM Journal on Computing, 1984