Binding propagation beyond the reach of rule/goal graphs

DOI10.1016/0020-0190(92)90034-SzbMath0772.68026MaRDI QIDQ1198073

Jiawei Han

Publication date: 16 January 1993

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

magic setsdeductive databasesrecursive query evaluationrule rewriting techniquerule/goal graphs

Mathematics Subject Classification ID

Database theory (68P15)

Cites Work

• Automatic generation of compiled forms for linear recursions
• Multi-way counting method
• Implementation of logical query languages for databases

This page was built for publication: Binding propagation beyond the reach of rule/goal graphs