Numerical constraint systems are often handled by branch and prune algorithms that combine splitting techniques, local consistencies, and interval methods. This paper first recalls the principles of ...

There are two categories of integrity constraints: General constraints, which allow you to restrict the data values that are accepted for the variables in a single data file, such as requiring that ...