Aggregates for Constraint Handling Rules (2007)
Cached
Download Links
| Venue: | In Djelloul, Duck et |
| Citations: | 3 - 2 self |
BibTeX
@INPROCEEDINGS{Sneyers07aggregatesfor,
author = {Jon Sneyers and Peter Van Weert and Tom Schrijvers},
title = {Aggregates for Constraint Handling Rules},
booktitle = {In Djelloul, Duck et},
year = {2007}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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. 1
