127 search results - page 5 / 26 » Aggregates in Constraint Handling Rules |
127
Voted
SEDE
2007
2007
A framework for constraint checking involving aggregates for multiple XML databases using schematron
15 years 2 months ago
Many internet and enterprise applications now not only use XML (eXtensible Markup Language) as a medium for communication but also for storing their data either temporarily for an...
112
Voted
AIMSA
2008
Springer
15 years 2 months ago
2008
Springer
In this paper, we want to handle multiple interleaved Alldiff constraints from two points of view: a uniform propagation framework with some CSP reduction rules and a SAT encoding ...
109
Voted
ICMT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on pattern...
108
Voted
LOPSTR
2009
Springer
15 years 7 months ago
2009
Springer
Proving termination of, or generating efficient control for Constraint Handling Rules (CHR) programs requires information about the kinds of constraints that can show up in the CHR...
99
Voted
CAISE
2006
Springer
15 years 4 months ago
2006
Springer
Databases are continuously evolving environments, where design constructs are added, removed or updated quite often. Research has extensively dealt with the problem of database evo...