A2 Constraints

A2.1 Uniqueness Constraint Determination for all Fact Types With two or More Roles

For clarity, in many places parts of Object Expression Types were added to the ‘bare’ Fact Expression Types. In a few cases some extra words were added, inserted between [square brackets].

Fact Types from IGD ‘Schedule’

Fact Type ‘Show’. F1: “There is a show <1> performed by <2>.”

Test UC on:

Fact

Show name

Performer

Allowed?

Domain Expert Comment

Conclusion

Role 1

1:

2:

Cats and Dogs

Cats and Dogs

Kelly Turner

Animals!

} ü

We had 2 shows with the same name once.

No UC on

Role 1 only

Role 2

3:

4:

Cats and Dogs

Home Again

Kelly Turner

Kelly Turner

} ü

Proud to host the same artist again. ...

Get Fact Oriented Modeling with FCO-IM: Capturing Business Semantics in Data Models with Fully Communication Oriented Information Modeling now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.