Magic Sets and their application to data integration

DOI10.1016/J.JCSS.2006.10.012MaRDI QIDQ882436zbMATH OpenOpenAlexFDO

Authors Wolfgang Faber, Gianluigi Greco, N. Leone

Publication date 23 May 2007

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jcss.2006.10.012

zbMATH Keywords

data integrationmodularitylogic programmingstable modelsanswer setsMagic Sets

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Database Theory - ICDT 2005
• Magic sets for disjunctive Datalog programs
• An analysis of magic sets and related optimization strategies for logic queries
• Logic Programming
• Logic Programming

Cites work

• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 1142309 (Why is no real title available?)
• scientific article; zbMATH DE number 2080463 (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?)
• Bottom-up evaluation and query optimization of well-founded models
• Data exchange: getting to the core
• Data exchange: semantics and query answering
• Database Theory - ICDT 2005
• Database Theory - ICDT 2005
• Logic Programming
• Logic Programming
• Minimal-change integrity maintenance using tuple deletions
• Modular stratification and magic sets for Datalog programs with negation
• Modularity of cycles and paths in graphs
• Negation by default and unstratifiable logic programs
• On the power of magic
• On the relations between stable and well-founded semantics of logic programs
• Optimization of bound disjunctive queries with constraints
• The DLV system for knowledge representation and reasoning
• The expressive powers of the logic programming semantics

Cited in

(14)

• Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results
• Dynamic magic sets for disjunctive Datalog programs
• Database Theory - ICDT 2005
• Modular paracoherent answer sets
• Consistent query answering via ASP from different perspectives: theory and practice
• Enhancing magic sets with an application to ontological reasoning
• Complexity results for answer set programming with bounded predicate arities and implications
• Logic Programming
• Logic Programming
• Semi-equilibrium models for paracoherent answer set programs
• Dynamic magic sets and super-coherent answer set programs
• The Semantics of Consistency and Trust in Peer Data Exchange Systems
• Consistency and trust in peer data exchange systems
• Magic sets for disjunctive Datalog programs

Describes a project that uses

Uses Software

• Smodels
• MYSTIQ
• NP Datalog
• Datalog
• Trio

This page was built for publication: Magic Sets and their application to data integration

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