2 search results - page 1 / 1 » Promoting Constraints to First-Class Status |
CL
2000
Springer
14 years 3 months ago
2000
Springer
Abstract. This paper proposes to promote constraints to first-class status. In contrast to constraint propagation, which performs inference on values of variables, first-class co...
CADE
2006
Springer
14 years 11 months ago
2006
Springer
We investigate whether identification constraints such as keys and functional dependencies can be granted full status as a concept constructor in a Boolean-complete description log...