Database Repairing and Consistent Query Answering
From MaRDI portal
Publication:3092739
DOI10.2200/S00379ED1V01Y201108DTM020zbMath1238.68004OpenAlexW4205204813MaRDI QIDQ3092739
Publication date: 22 September 2011
Published in: Synthesis Lectures on Data Management (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2200/s00379ed1v01y201108dtm020
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Database theory (68P15) Classical first-order logic (03B10)
Related Items (6)
On Enumerating Query Plans Using Analytic Tableau ⋮ Craig interpolation with clausal first-order tableaux ⋮ Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions ⋮ Prioritized repairing and consistent query answering in relational databases ⋮ Para-Disagreement Logics and Their Implementation Through Embedding in Coq and SMT ⋮ Unnamed Item
This page was built for publication: Database Repairing and Consistent Query Answering