Characterizing and computing semantically correct answers from databases with annotated logic and answer sets
A relational database may not satisfy certain integrity constraints (ICs) for several reasons. However most likely most of the information in it is still consistent with the ICs. The answers to queries that are consistent with the ICs can be considered sematically correct answers, and are characterized  as ordinary answers that can be obtained from every minimally repaired version of the database. In this paper we address the problem of specifying those repaired versions as the minimal models of a theory written in Annotated Predicate Logic . It is also shown how to specify database repairs using disjunctive logic program with annotation arguments and a classical stable model semantics. Those programs are then used to compute consistent answers to general first order queries. Both the annotated logic and the logic programming approaches work for any set of universal and referential integrity constraints. Optimizations of the logic programs are also analyzed. © Springer-Verlag Berlin Heidelberg 2003.
|Título según WOS:||Characterizing and computing semantically correct answers from databases with annotated logic and answer sets|
|Título según SCOPUS:||Characterizing and computing semantically correct answers from databases with annotated logic and answer sets|
|Título de la Revista:||DESIGN, USER EXPERIENCE, AND USABILITY: UX RESEARCH, DESIGN, AND ASSESSMENT, PT I|
|Editorial:||SPRINGER INTERNATIONAL PUBLISHING AG|
|Fecha de publicación:||2003|
|Página de inicio:||7|