Title: Attributed data for CHR indexing
Authors: Sarna-Starosta, Beata
Schrijvers, Tom
Issue Date: 2009
Publisher: Springer
Host Document: Lecture Notes in Computer Science vol:5649 pages:357-371
Conference: International Conference on Logic Programming edition:25 location:Pasadena, CA, USA date:July 13-17, 2009
Abstract: The overhead of matching CHR rules is alleviated by constraint store indexing. Attributed variables provide an efficient means of indexing on logical variables. Existing indexing strategies for ground terms, based on hash tables, incur considerable performance overhead, especially when frequently computing hash values for large terms.
In this paper we (1) propose attributed data, a new data representation for ground terms inspired by attributed variables, that avoids the overhead of hash-table indexing, (2) describe program analysis and transformation techniques that make attributed data more effective, and (3) provide experimental results that establish the usefulness of our approach.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section

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


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

© Web of science