Graphic representation of linear recursive rules

DOI10.1002/INT.4550070403MaRDI QIDQ4012700zbMATH OpenOpenAlexFDO

Authors Jia Liang Han, Su-Shing Chen

Publication date 27 September 1992

Published in International Journal of Intelligent Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/int.4550070403

zbMATH Keywords

deductive databaserule rewritingvariable-predicate graph

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15) Knowledge representation (68T30)

Recommendations

• Visual representations for recursion
• Representation of consistent recursive rules.
• scientific article; zbMATH DE number 7011451
• scientific article; zbMATH DE number 1145905
• Graphic lambda calculus
• scientific article; zbMATH DE number 3924797

Cites work

• A relational model of data for large shared data banks

Cited in

(5)

• Binding propagation beyond the reach of rule/goal graphs
• Magic sets revisited
• Recursive query processing in predicate-goal graph
• On the graph traversal method for evaluating linear binary-chain programs
• Automatic generation of compiled forms for linear recursions

This page was built for publication: Graphic representation of linear recursive rules

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