Magic Sets and their application to data integration

DOI10.1016/J.JCSS.2006.10.012zbMATH Open1115.68047OpenAlexW2019597813MaRDI QIDQ882436FDOQ882436

N. Leone, Gianluigi Greco, Wolfgang Faber

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The DLV system for knowledge representation and reasoning
• Title not available (Why is that?)
• Minimal-change integrity maintenance using tuple deletions
• Data exchange: getting to the core
• Data exchange: semantics and query answering
• On the power of magic
• Logic Programming
• Database Theory - ICDT 2005
• On the relations between stable and well-founded semantics of logic programs
• The expressive powers of the logic programming semantics
• Modularity of cycles and paths in graphs
• Modular stratification and magic sets for Datalog programs with negation
• Bottom-up evaluation and query optimization of well-founded models
• Negation by default and unstratifiable logic programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logic Programming
• Database Theory - ICDT 2005
• Optimization of bound disjunctive queries with constraints

Cited In (10)

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

Uses Software

• Smodels
• MYSTIQ
• NP Datalog
• Datalog
• Trio

   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 👍 👎

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)