Applications of annotated predicate calculus to querying inconsistent databases

Arenas, M; Bertossi L.; Kifer, M

Abstract

We consider the problem of specifying and computing consistent answers to queries against databases that do not satisfy given integrity constraints. This is done by simultaneously embedding the database and the integrity constraints. which are mutually inconsistent in classical logic, into a theory in annotated predicate calculus - a logic that allows non trivial reasoning in the presence of inconsistency. In this way, several goals are achieved: (a) A logical specification of the class of all minimal repairs of the original database, and the ability to reason about them; (b) The ability to distinguish between consistent and inconsistent information in the database; and (c) The development of computational mechanisms for retrieving consistent query answers, i.e., answers that are not affected by the violation of the integrity constraints.

Más información

Título según WOS: Applications of annotated predicate calculus to querying inconsistent databases
Título de la Revista: EDUCATING FOR A NEW FUTURE: MAKING SENSE OF TECHNOLOGY-ENHANCED LEARNING ADOPTION, EC-TEL 2022
Volumen: 1861
Editorial: SPRINGER INTERNATIONAL PUBLISHING AG
Fecha de publicación: 2000
Página de inicio: 926
Página final: 941
Idioma: English
Notas: ISI