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 theoryphysical database designquery compilationquery optimization

Mathematics Subject Classification ID

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

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

(29)

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

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)