Automatic generation of compiled forms for linear recursions

DOI10.1016/0306-4379(92)90020-NzbMath0780.68021MaRDI QIDQ688292

Kangsheng Zeng, Jiawei Han

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

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

Related Items (1)

Binding propagation beyond the reach of rule/goal graphs

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