Automatic generation of compiled forms for linear recursions

DOI10.1016/0306-4379(92)90020-NMaRDI QIDQ688292zbMATH OpenFDO

Authors Jiawei Han, Kangsheng Zeng

Publication date 31 January 1994

Published in Information Systems (Search for Journal in Brave)

zbMATH Keywords

deductive databasescompilation techniqueslinear recursionsrecursive query evaluation

Mathematics Subject Classification ID

Logic programming (68N17) Theory of compilers and interpreters (68N20) Database theory (68P15)

Recommendations

• Compilation and evaluation of linear mutual recursions
• Binding propagation beyond the reach of rule/goal graphs
• Compilation of extended recursion in call-by-value functional languages
• Graphic representation of linear recursive rules
• scientific article; zbMATH DE number 1203327

Cited in

(2)

• Compilation and evaluation of linear mutual recursions
• Binding propagation beyond the reach of rule/goal graphs

This page was built for publication: Automatic generation of compiled forms for linear recursions

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