Title: Transformation-based indexing techniques for Constraint Handling Rules
Authors: Sarna-Starosta, Beata *
Schrijvers, Tom * # ×
Issue Date: Jul-2008
Host Document: Proceedings of the fifth Workshop on Constraint Handling Rules pages:3-17
Conference: Workshop on Constraint Handling Rules edition:5 location:Hagenberg, Austria date:14 July 2008
Abstract: Multi-headed rules are essential for the expressiveness of Constraint
Handling Rules (CHR), but incur considerable performance overhead. Current
indexing techniques are often unable to address this problem---they require
matchings to have particular form, or offer good run-time complexity rather
than good absolute figures.

We introduce two lightweight program transformations, based on term
flattening, which improve the effectiveness of existing CHR indexing
techniques, in terms of both complexity and constant factors. We also
describe a set of complementary post-processing program transformations,
which considerably reduce the flattening overhead.

We compare our techniques with the current state of the art in CHR
compilation, and measure their efficacy in K.U.Leuven CHR and CHRd.
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
* (joint) first author
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
chr2008.pdfmain article Published 221KbAdobe PDFView/Open


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