Database Repairing and Consistent Query Answering

DOI10.2200/S00379ED1V01Y201108DTM020MaRDI QIDQ3092739zbMATH OpenOpenAlexFDO

Authors David Toman, Grant E. Weddell

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

zbMATH Keywords

database theoryquery optimizationphysical database designquery compilation

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Database theory (68P15) Classical first-order logic (03B10)

Recommendations

• Models for the combined logical and physical design of databases
• Automated physical database design and tuning.
• Database modeling and design: logical design.
• scientific article; zbMATH DE number 108405
• Fundamentals of Computer Architecture and Design
• scientific article; zbMATH DE number 1712391

Cited in

(26)

• Para-disagreement logics and their implementation through embedding in Coq and SMT
• On the data complexity of consistent query answering
• scientific article; zbMATH DE number 1950744 (Why is no real title available?)
• Automated physical database design and tuning.
• Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory
• scientific article; zbMATH DE number 2080612 (Why is no real title available?)
• On enumerating query plans using analytic tableau
• Synthesizing strongly equivalent logic programs: Beth definability for answer set programs via Craig interpolation in first-order logic
• Database Programming Languages
• Minimal-change integrity maintenance using tuple deletions
• Prioritized repairing and consistent query answering in relational databases
• A Relaxed Approach to Integrity and Inconsistency in Databases
• Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
• Craig interpolation for decidable fragments of first-order logic (invited talk)
• Craig interpolation for decidable first-order fragments
• Inconsistency-tolerant semantics based on (preferred) repairs (invited paper)
• Deciding the existence of interpolants and definitions in first-order modal logic
• Craig interpolation with clausal first-order tableaux
• On the Complexity of Finding Set Repairs for Data-Graphs
• Distance semantics for database repair
• Craig interpolation for decidable first-order fragments
• scientific article; zbMATH DE number 1775491 (Why is no real title available?)
• scientific article; zbMATH DE number 50194 (Why is no real title available?)
• scientific article; zbMATH DE number 7561483 (Why is no real title available?)
• Range-restricted and Horn interpolation through clausal tableaux
• Consistency checking and querying in probabilistic databases under integrity constraints

This page was built for publication: Database Repairing and Consistent Query Answering

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3092739)