[Bug 5024] sml:keyref example

http://www.w3.org/Bugs/Public/show_bug.cgi?id=5024





------- Comment #1 from pratul.dublish@microsoft.com  2007-09-06 22:09 -------
It is incorrect to assume that the key and keyref in this example will always
select from the same set of elements and therefore the keyref constraint is
always satisfied. The keyref in this example models the constraints that all
students who are enrolled in courses offered by a university are also enrolled
in the university. Here's a simple instance that violates this constraint:
University U has students S1, S2, ..., S1000
U offers courses C1, C2,..., C50
Students enrolled in C1 are S1, S2, S1001, S1002 (the last two are not enrolled
in U)

Received on Thursday, 6 September 2007 22:09:16 UTC