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

DOI10.1016/j.jal.2004.07.023zbMath1100.68566OpenAlexW2110616577MaRDI QIDQ2386182

Leopoldo Bertossi, Loreto Bravo

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

DatabasesAnswer Set ProgrammingIntegrity constraintsVirtual data integration

Mathematics Subject Classification ID

Database theory (68P15)

Related Items

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
• Programming with non-determinism in deductive databases
• Database repairs and analytic tableaux
• Minimal-change integrity maintenance using tuple deletions
• Propositional semantics for disjunctive logic programs
• Query rewriting using views in the presence of functional and inclusion dependencies
• A logic-based approach to data integration
• Answer sets for consistent query answering in inconsistent databases
• Recursive query plans for data integration
• Logic Programming
• Inconsistency Tolerance
• Semantics and expressive power of nondeterministic constructs in deductive databases