Title: Efficient lazy evaluation of rule-based programs
Authors: Van Weert, Peter # ×
Issue Date: Nov-2010
Publisher: Institute of Electrical and Electronics Engineers
Series Title: IEEE Transactions on Knowledge and Data Engineering vol:22 issue:11 pages:1521-1534
Abstract: Thirty years after Forgy's seminal dissertation, Rete remains the de facto standard matching algorithm. Despite promising research results, alternative algorithms such as TREAT and LEAPS have had little impact on modern production rule engines. Constraint Handling Rules (CHR) is a high-level, declarative programming language, similar to production rules. In recent years, CHR has increasingly been used in a wide range of general-purpose applications. State-of-the-art CHR systems use LEAPS-like lazy matching, and implement a large body of novel program analyses and optimization techniques to further improve performance.
While obviously related, CHR and production rules research have mostly evolved independently from each other. With this article, we aim to foster cross-fertilization of implementation techniques. We provide a lucid, comprehensive overview of CHR's rule evaluation methodology, and survey recent contributions to the field of lazy matching. Our empirical evaluation confirms Rete-based engines would surely benefit from incorporating similar techniques and optimizations.
ISSN: 1041-4347
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
TKDESI-2009-03-0153.R1.pdf Published 259KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science