The generalized supplementary magic-sets transformation for stratified Datalog

DOI10.1016/0020-0190(93)90154-2MaRDI QIDQ685491zbMATH OpenOpenAlexFDO

Authors Michael Meskes, Jörg Noack

Publication date 19 January 1994

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0190(93)90154-2

zbMATH Keywords

Datalogdeductive databasesmagic-sets

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15)

Recommendations

• Efficient bottom-up computation of queries on stratified databases
• Modular stratification and magic sets for Datalog programs with negation
• scientific article; zbMATH DE number 993474
• Magic sets for disjunctive Datalog programs
• An analysis of magic sets and related optimization strategies for logic queries

Cites work

• Efficient bottom-up computation of queries on stratified databases

Cited in

(6)

• Magic sets for disjunctive Datalog programs
• An extension of Van Gelder's alternating fixpoint to magic programs
• scientific article; zbMATH DE number 993474 (Why is no real title available?)
• Modular stratification and magic sets for Datalog programs with negation
• Extended magic for negation: efficient demand-driven evaluation of stratified Datalog with precise complexity guarantees
• Incorporating stratified negation into query-subquery nets for evaluating queries to stratified deductive databases

Describes a project that uses

Uses Software

• Datalog

This page was built for publication: The generalized supplementary magic-sets transformation for stratified Datalog

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q685491)