Filters








2,164 Hits in 4.6 sec

From Database Repair Programs to Consistent Query Answering in Classical Logic (extended abstract)

Leopoldo E. Bertossi
2009 Alberto Mendelzon Workshop on Foundations of Data Management  
Database repairs can be specified as the stable models of a disjunctive logic program.  ...  In this paper we show how to use the repair programs to transform the problem of consistent query answering into a problem of reasoning wrt a concrete theory written in second-order predicate logic.  ...  Earlier forms of repair programs can also be found in [5, 28] . Repair programs use annotation constants in an extra argument of each of the database predicates.  ... 
dblp:conf/amw/Bertossi09 fatcat:lqvzflpd7jdxtbgricjbtvjida

Second-Order Specifications and Quantifier Elimination for Consistent Query Answering in Databases [article]

Leopoldo Bertossi
2021 arXiv   pre-print
It has been shown before that database repairs can be specified as the stable models of a disjunctive logic program.  ...  In this paper we show how to use the repair programs to transform the problem of consistent query answering into a problem of reasoning w.r.t. a theory written in second-order predicate logic.  ...  For this, we provide concrete specifications of database repairs in second-order (SO) predicate logic.  ... 
arXiv:2108.08423v3 fatcat:eioyahyn6vezbfo2gelxy3ycby

Characterizing and Computing Semantically Correct Answers from Databases with Annotated Logic and Answer Sets [chapter]

Pablo Barceló, Leopoldo Bertossi, Loreto Bravo
2003 Lecture Notes in Computer Science  
It is also shown how to specify database repairs using disjunctive logic program with annotation arguments and a classical stable model semantics.  ...  In this paper we address the problem of specifying those repaired versions as the minimal models of a theory written in Annotated Predicate Logic [27] .  ...  Then, in Section 5, on the basis of the generated annotated theory, disjunctive logic programs with annotation arguments to specify the database repairs are presented.  ... 
doi:10.1007/3-540-36596-6_2 fatcat:wyve6vhzczhuxfdmuoh6jbb6su

Applications of Annotated Predicate Calculus to Querying Inconsistent Databases [chapter]

Marcelo Arenas, Leopoldo Bertossi, Michael Kifer
2000 Lecture Notes in Computer Science  
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  ...  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  ...  Annotated Predicate Calculus Annotated predicate calculus (abbr. APC) [9] is a generalization of annotated logic programs introduced by Blair and Subrahmanian [3] .  ... 
doi:10.1007/3-540-44957-4_62 fatcat:vduxxjho7fa57aackh2bsjwdlu

Second-Order Specifications and Quantifier Elimination for Consistent Query Answering in Databases (Abstract)

Leopoldo Bertossi
2021 International Conference on Principles of Knowledge Representation and Reasoning  
It has been shown before that database repairs can be specified as the stable models of a disjunctive logic program.  ...  We show how to use the repair programs to transform the problem of consistent query answering into a problem of reasoning w.r.t. a theory written in second-order predicate logic.  ...  We start by trying to achieve the former, by providing specifications of database repairs in second-order (SO) predicate logic.  ... 
dblp:conf/kr/Bertossi21 fatcat:m6rizdm4snakxgca3ujgay7h4e

Logic Programs for Consistently Querying Data Integration Systems

Loreto Bravo, Leopoldo E. Bertossi
2003 International Joint Conference on Artificial Intelligence  
For this, the query program is combined with logic program ming specifications under the stable model seman tics of the class of minimal global instances, and of the class of their repairs.  ...  In [Barcelo etal, 2002] repairs of single relational databases are specified using disjunctive logic programs with stable model semantics.  ...  First, the database predicates in the program are expanded with an extra argument to be filled with one of a set of new an notation constants.  ... 
dblp:conf/ijcai/BravoB03 fatcat:tadoirztczfa3ivm6d2wcbb5mm

The consistency extractor system: Answer set programs for consistent query answering in databases

Monica Caniupán, Leopoldo Bertossi
2010 Data & Knowledge Engineering  
More precisely, ConsEx uses disjunctive logic programs with stable models semantics to specify and reason with the repairs, i.e. with the consistent virtual instances that minimally depart from the original  ...  database.  ...  with annotations t ⋆⋆ , which are those used by Q as "extensional" predicates.  ... 
doi:10.1016/j.datak.2010.01.005 fatcat:sbyf477al5es7ab4atgdubmwye

Answer sets for consistent query answering in inconsistent databases

MARCELO ARENAS, LEOPOLDO BERTOSSI, JAN CHOMICKI
2003 Theory and Practice of Logic Programming  
Since consistent information persists from the original database to every of its minimal repairs, the approach is based on a specification of database repairs using disjunctive logic programs with exceptions  ...  A relational database is inconsistent if it does not satisfy a given set of integrity constraints. Nevertheless, it is likely that most of the data in it is consistent with the constraints.  ...  The annotated predicate logic introduced in Kiffer and Lozinskii (1992) was applied in to the task of computing consistent query answers via a specification of the database repairs.  ... 
doi:10.1017/s1471068403001832 fatcat:gk4rok7ibnbedfjnbxwz3fbgwu

Provenance Analysis for Missing Answers and Integrity Repairs

Jane Xu, Waley Zhang, Abdussalam Alawini, Val Tannen
2018 IEEE Data Engineering Bulletin  
A similar problem arises with the failure of integrity constraints. Our perspective is to offer explanations via possible (minimal) repairs using provenance.  ...  This is useful for debugging, repairing, and cleaning databases. In this paper, we introduce a novel approach to this problem for both missing/erroneous answers and integrity failures.  ...  the polynomial and v annotates a tuple that is not in the database then replace u with 0.  ... 
dblp:journals/debu/XuZAT17 fatcat:fzpymitwifcufckrv26vrefxp4

Query Answering in Inconsistent Databases [chapter]

Leopoldo Bertossi, Jan Chomicki
2004 Logics for Emerging Applications of Databases  
Acknowledgments This paper is dedicated to the memory of Ray Reiter whose pioneering work on logical foundations of databases laid the foundation for and influenced many research efforts in that area,  ...  Repairs are some distinguished minimal models of a theory written in annotated predicate logic [8, 14] . 2.3.  ...  Annotated logics As explained at the beginning of this section, we would like to have a logical specification of database repairs.  ... 
doi:10.1007/978-3-642-18690-5_2 fatcat:fewsol3sqnfhnmtnuolcfzmi7q

Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning [article]

Ofer Arieli, Maurice Bruynooghe The Catholic University of Leuven, Belgium)
2002 arXiv   pre-print
First we give a pure model-theoretic analysis of the possible ways to 'repair' a database.  ...  in order to keep the database consistent.  ...  These approaches combine corresponding formalisms of knowledge representation (such as annotated logic programs [40, 41] or bilattice-based logics [5, 21, 33] ) together with non-classical refutation  ... 
arXiv:cs/0207085v1 fatcat:xzrzqrcbjnctdfu57l5oj6g5cm

An ID-Logic Formalization of the Composition of Autonomous Databases [chapter]

Bert Van Nuffelen, Ofer Arieli, Alvaro Cortés-Calabuig, Maurice Bruynooghe
2005 Lecture Notes in Computer Science  
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitions.  ...  Moreover, in this context database repair and consistent query answering are easily implemented by a variety of reasoning systems.  ...  globally) and that all the languages are mutually distinct (to assure this, one can annotate the predicate names with the source identities).  ... 
doi:10.1007/11546207_11 fatcat:hixad6yey5h65hb6w7duh7svuy

Semantically Correct Query Answers in the Presence of Null Values [chapter]

Loreto Bravo, Leopoldo Bertossi
2006 Lecture Notes in Computer Science  
Finally, we analyze how to specify this kind of repairs of a database that contains null values using disjunctive logic programs with stable model semantics.  ...  For this purpose, we propose first a precise semantics for IC satisfaction in a database with null values that is compatible with the way null values are treated in commercial database management systems  ...  In [10] the methodology presented in [5, 6] , based on specifying repairs using logic programs withe extra annotation constants, was systematically extended in order to handle both; (a) databases containing  ... 
doi:10.1007/11896548_27 fatcat:vxpmyeitvvggtod2qnc3htyr2i

Semantically Correct Query Answers in the Presence of Null Values [article]

Loreto Bravo, Leopoldo Bertossi
2006 arXiv   pre-print
Finally, we analyze how to specify this kind of repairs of a database that contains null values using disjunctive logic programs with stable model semantics.  ...  For this purpose, we propose first a precise semantics for IC satisfaction in a database with null values that is compatible with the way null values are treated in commercial database management systems  ...  In [10] the methodology presented in [5, 6] , based on specifying repairs using logic programs withe extra annotation constants, was systematically extended in order to handle both; (a) databases containing  ... 
arXiv:cs/0604076v1 fatcat:235bnw4oujeulhhmxbvsi64sla

Characterizing and Computing Causes for Query Answers in Databases from Database Repairs and Repair Programs [chapter]

Leopoldo Bertossi
2018 Lecture Notes in Computer Science  
A correspondence between database tuples as causes for query answers in databases and tuple-based repairs of inconsistent databases with respect to denial constraints has already been established.  ...  In this work, answer-set programs that specify repairs of databases are used as a basis for solving computational and reasoning problems about causes.  ...  Part of this work was done while the author was spending a sabbatical at the "Database and Artificial Intelligence" Group of the Technical University of Vienna with support from the "Vienna Center for  ... 
doi:10.1007/978-3-319-90050-6_4 fatcat:kvqyh6n5obdxne6mwjkibbdscu
« Previous Showing results 1 — 15 out of 2,164 results