JOURNAL ARTICLE

Magic Sets for disjunctive Datalog programs

Mario AlvianoWolfgang FaberGianluigi GrecoNicola Leone

Year: 2012 Journal:   Artificial Intelligence Vol: 187-188 Pages: 156-192   Publisher: Elsevier BV
Keywords:
Datalog Correctness Computer science Negation MAGIC (telescope) Theoretical computer science Set (abstract data type) Tuple Programming language Algorithm Mathematics Discrete mathematics

Metrics

40
Cited By
3.79
FWCI (Field Weighted Citation Impact)
99
Refs
0.94
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Logic, Reasoning, and Knowledge
Physical Sciences →  Computer Science →  Artificial Intelligence
Logic, programming, and type systems
Physical Sciences →  Computer Science →  Artificial Intelligence
Formal Methods in Verification
Physical Sciences →  Computer Science →  Computational Theory and Mathematics

Related Documents

JOURNAL ARTICLE

Dynamic Magic Sets for Disjunctive Datalog Programs

Mario Alviano

Journal:   Leibniz-Zentrum für Informatik (Schloss Dagstuhl) Year: 2010 Pages: 226-235
JOURNAL ARTICLE

Modular stratification and magic sets for Datalog programs with negation

Kenneth A. Ross

Journal:   Journal of the ACM Year: 1994 Vol: 41 (6)Pages: 1216-1266
JOURNAL ARTICLE

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies

Mark KaminskiYavor NenovBernardo Cuenca Grau

Journal:   Artificial Intelligence Year: 2016 Vol: 236 Pages: 90-118
© 2026 ScienceGate Book Chapters — All rights reserved.