Abstract
In this paper, a new universal language called Universal Constraint Language (UCL) for expressing integrity constraints over various data models is introduced. It is formally defined and also its parser is implemented within the DaemonX project.
In particular, expressing constraints in UCL for UML class diagrams and for XML schemas is supported. Thanks to preserving mutual relations between models in DaemonX we can also we can also translate the respective constraints between the models.