A Complete and Terminating Execution Model for Constraint Handling Rules

Hariolf Betz Frank Raiser Thom W. Frühwirth

Published in: CoRR (2010)

Keyphrases

execution model
constraint handling rules
transaction management
active rules
database management systems