Compilation and evaluation of linear mutual recursions

DOI10.1016/0020-0255(93)90043-LzbMath0787.68034MaRDI QIDQ1803866

Jiawei Han

Publication date: 29 June 1993

Published in: Information Sciences (Search for Journal in Brave)

zbMATH Keywords

evaluationcompilationlogic programmingmutual recursionrecursive query processingdeductive database programs

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Bounds in the propagation of selection into logic programs
• One-sided recursions
• On the power of magic
• On compiling queries in recursive first-order databases
• Towards an algebraic theory of recursion

This page was built for publication: Compilation and evaluation of linear mutual recursions