The generalized supplementary magic-sets transformation for stratified Datalog

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

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

(4)

• Modular stratification and magic sets for Datalog programs with negation
• Incorporating stratified negation into query-subquery nets for evaluating queries to stratified deductive databases
• scientific article; zbMATH DE number 7453118 (Why is no real title available?)
• Magic sets for disjunctive Datalog programs

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)