Title: Aggregates for Constraint Handling Rules
Authors: Sneyers, Jon ×
Van Weert, Peter
Schrijvers, Tom #
Issue Date: 2007
Host Document: Proceedings of the Fourth Workshop on Constraint Handling Rules pages:91-105
Conference: Workshop on Constraint Handling Rules edition:4 location:Porto, Portugal date:September 8, 2007
Abstract: We extend the Constraint Handling Rules language with aggregates such as sum, count, findall, and min. The proposed extension features nested aggregate expressions over guarded conjunctions of constraints, a series of predefined aggregates, and application-tailored user-defined aggregates. We formally define the operational semantics of
aggregates, and show how incremental aggregate computation facilitates efficient implementations. Case studies demonstrate that language support for aggregates significantly reduces program size, thus improving
readability and maintainability considerably.
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
× corresponding author
# (joint) last author

Files in This Item:
File Status SizeFormat
aggregates.pdf Published 211KbAdobe PDFView/Open


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