Abstract
In this article the Uniquest Algorithm (the quest for uniqueness), defined in the Predicator Model, is discussed in depth. The Predicator Model is a general plateform for object-role models. The Uniquest Algorithm is a constructive formal definition of the semantics of uniqueness constraints. As such, it facilitates the implementation in so-called CASE-tools
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have