The generalized supplementary magic-sets transformation for stratified Datalog

DOI10.1016/0020-0190(93)90154-2zbMATH Open0779.68025OpenAlexW2032769242MaRDI QIDQ685491FDOQ685491

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

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

zbMATH Keywords

Datalogdeductive databasesmagic-sets

Mathematics Subject Classification ID

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

Cites Work

• Efficient bottom-up computation of queries on stratified databases

Cited In (4)

• Magic sets for disjunctive Datalog programs
• Incorporating stratified negation into query-subquery nets for evaluating queries to stratified deductive databases
• Title not available (Why is that?)
• Modular stratification and magic sets for Datalog programs with negation

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)