scientific article; zbMATH DE number 993474
From MaRDI portal
Publication:3125846
Recommendations
Cited in
(7)- Counting and topological order
- On the graph traversal method for evaluating linear binary-chain programs
- Incorporating stratified negation into query-subquery nets for evaluating queries to stratified deductive databases
- OLDTNF-based evaluation method for handling recursive queries in deductive databases
- The generalized supplementary magic-sets transformation for stratified Datalog
- Graph traversal and top-down evaluation of logic queries
- Magic semi-joins
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3125846)