BOOK-CHAPTER

Magic-Sets for Datalog with Existential Quantifiers

Keywords:
Datalog Undecidable problem Computer science Decidability Programming language MAGIC (telescope) Rewriting Equivalence (formal languages) Theoretical computer science Query language Database Discrete mathematics Mathematics

Metrics

8
Cited By
0.31
FWCI (Field Weighted Citation Impact)
25
Refs
0.50
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Semantic Web and Ontologies
Physical Sciences →  Computer Science →  Artificial Intelligence
Logic, Reasoning, and Knowledge
Physical Sciences →  Computer Science →  Artificial Intelligence
Advanced Database Systems and Queries
Physical Sciences →  Computer Science →  Computer Networks and Communications

Related Documents

JOURNAL ARTICLE

Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues

Mario AlvianoWolfgang FaberNicola LeoneMarco Manna

Journal:   Theory and Practice of Logic Programming Year: 2012 Vol: 12 (4-5)Pages: 701-718
JOURNAL ARTICLE

Magic Sets for disjunctive Datalog programs

Mario AlvianoWolfgang FaberGianluigi GrecoNicola Leone

Journal:   Artificial Intelligence Year: 2012 Vol: 187-188 Pages: 156-192
DISSERTATION

Datalog with existential quantifiers: an optimal trade-off between expressiveness and scalability

Pierfrancesco VeltriNicola LeoneGiorgio Terracina

University:   Archive of Doctoral Theses and Digital Collections (University of Calabria) Year: 2012
JOURNAL ARTICLE

Dynamic Magic Sets for Disjunctive Datalog Programs

Mario Alviano

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

Magic-Sets Transformation für Datalog in Rust

Brezski, Shay Airin Lilith

University:   Johann Wolfgang Goethe-Universität Year: 2025
© 2026 ScienceGate Book Chapters — All rights reserved.