Magic Sets and their application to data integration

DOI10.1016/j.jcss.2006.10.012zbMath1115.68047OpenAlexW2019597813MaRDI QIDQ882436

Nicola 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 integrationlogic programmingmodularitystable modelsanswer setsMagic Sets

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

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

Uses Software

• Smodels
• MYSTIQ
• NP Datalog
• Datalog
• Trio

Cites Work

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