Magic Sets for disjunctive Datalog programs

Mario Alviano; Wolfgang Faber; Gianluigi Greco; Nicola Leone

doi:10.1016/j.artint.2012.04.008

ScienceGate Book Chapters

JOURNAL ARTICLE

Magic Sets for disjunctive Datalog programs

Mario Alviano Wolfgang Faber Gianluigi Greco Nicola Leone

Year: 2012 Journal: Artificial Intelligence Vol: 187-188 Pages: 156-192 Publisher: Elsevier BV

DOI: 10.1016/j.artint.2012.04.008

Get Full-Text PDF Get Analytical Report

Keywords:

Datalog Correctness Computer science Negation MAGIC (telescope) Theoretical computer science Set (abstract data type) Tuple Programming language Algorithm Mathematics Discrete mathematics

Metrics

Cited By

3.79

FWCI (Field Weighted Citation Impact)

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

Magic Sets for disjunctive Datalog programs

Metrics

Citation History

Topics

Related Documents

Dynamic Magic Sets for Disjunctive Datalog Programs

Enhancing the Magic-Set Method for Disjunctive Datalog Programs

Modular stratification and magic sets for Datalog programs with negation

Modular stratification and magic sets for DATALOG programs with negation

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies