Hi Brian,
The example is quoted almost verbatim from Dr Halpin's thesis (See Proof 1, p. 'A-4' of Dr Halpin's thesis).
Perhaps you may dignify this forum by adding commentary on your comments "In the image you attached to the post, it looks like the sample population table entries are not sufficient to indicate the choice of constraints used. Beside the [ a ][ b ], [ a ][ c ], I think you'd need [ d ][ b ] (at least) to complete the constraints for that Fact Type. Is that an oversight, a truncation of the image, or something else?"
Or is it that we reserve dignity exclusively for ourselves, and not others?
There's not, but this forum is available to a potential audience of billions of people. Forgive me if I chose to leave my post with "Oh...that's cool.... Thank you Dr, I think that opens up some fairly interesting possibilities in ORM research.".
Best regds
Victor