The study of data constraints is important because they are described in many business rules taxonomies found in the literature [1]}, [2]}, [3]}.
Moreover, data constraints are common in the specifications of safety-critical systems [4]}.
These constraints are subject to change as business rules and regulations change.
Hence, it is essential that developers can easily (or even automatically) change, test, and verify the code implementing the constraints.
