|
|
Centre for Logic, Epistemology and the History of Science (CLE) |
|
|
|
|
Rules and Instructions | Sites Pointing to CLE e-Prints |
|
ISSN 1519-9681 |
|
ISSN 1519-9614 |
|
|
|||
| . | |||
|
Inconsistent Information in Multiple Databases |
|||
|
|||
.
|
|
Publication Information |
|
The final version of
this paper is published as:
|
|
|
|
|
|
When integrating
data coming from multiple different sources we are faced with the possibility
of inconsistency in databases. In recent work ([A],
[B],
[C]),
a family of paraconsistent logics called Logics of Formal Inconsistency (LFIs)
has been introduced, and sound and complete axiomatic and tableau proof systems
for this class of logics have been provided. In this paper, we use
one of these logics (LFI1, also known as J3, or CLuNs) as a logical framework to model
possibly inconsistent database instances obtained by integrating different
sources. We propose a method based on the tableau proof system of LFI1
to treat both the integration process and the evolution of the integrated
database submitted to users updates. In order to treat the integrated
database evolution, we introduce a kind of generalized database context,
the evolutionary databases, which are databases having the capability of
storing and manipulating inconsistent information and, at the same time,
allowing integrity constraints to change in time. We argue that our
approach is sufficiently general and can be applied in most circumstances
where inconsistency may arise in databases.
|
|
|
|
|