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

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call