Deductive databases for computing certain and consistent answers from mediated data integration systems

DOI10.1016/J.JAL.2004.07.023MaRDI QIDQ2386182zbMATH OpenOpenAlexFDO

Authors Loreto Bravo, Leopoldo Bertossi

Publication date 22 August 2005

Published in Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jal.2004.07.023

zbMATH Keywords

Answer Set ProgrammingDatabasesIntegrity constraintsVirtual data integration

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• Inconsistency Tolerance
• Logic Programming
• Consistent query answering via ASP from different perspectives: theory and practice
• scientific article; zbMATH DE number 2088752
• scientific article; zbMATH DE number 1950744

Cites work

• A logic-based approach to data integration
• Answer sets for consistent query answering in inconsistent databases
• Database repairs and analytic tableaux
• Declarative problem-solving using the DLV system
• Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
• scientific article; zbMATH DE number 1696846 (Why is no real title available?)
• scientific article; zbMATH DE number 2088752 (Why is no real title available?)
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 25192 (Why is no real title available?)
• scientific article; zbMATH DE number 1950744 (Why is no real title available?)
• scientific article; zbMATH DE number 1954112 (Why is no real title available?)
• scientific article; zbMATH DE number 2085288 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• Inconsistency Tolerance
• Logic Programming
• Logic-based techniques in data integration
• Minimal-change integrity maintenance using tuple deletions
• Nonmonotonic reasoning in \(LDL^{++}\)
• Programming with non-determinism in deductive databases
• Propositional semantics for disjunctive logic programs
• Query rewriting using views in the presence of functional and inclusion dependencies
• Recursive query plans for data integration
• Semantics and expressive power of nondeterministic constructs in deductive databases

Cited in

(3)

• Consistency and trust in peer data exchange systems
• Inconsistency Tolerance
• Bounded regular path queries in view-based data integration

This page was built for publication: Deductive databases for computing certain and consistent answers from mediated data integration systems

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