BOOK-CHAPTER
Magic-Sets for Datalog with Existential Quantifiers
Mario AlvianoNicola LeoneMarco MannaGiorgio TerracinaPierfrancesco Veltri
Year: 2012 Lecture notes in computer science Pages: 31-43 Publisher: Springer Science+Business Media
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
Journal: Leibniz-Zentrum für Informatik (Schloss Dagstuhl) Year: 2010 Pages: 226-235
DISSERTATION
Magic-Sets Transformation für Datalog in Rust
University: Johann Wolfgang Goethe-Universität Year: 2025