Attributed Data for CHR Indexing

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.

• Type: Conference
• Year: 2009
• Where: ICLP
• Authors: Beata Sarna-Starosta, Tom Schrijvers
• Keywords: Attributed Variables, Constraint Store Indexing, ICLP 2009, Programming Languages, Propose Attributed Data