Re: two nasty schemata, union types and surrogate keys
Date: 08 Nov 2009 23:37:10 GMT
Message-ID: <4af75626$0$27016$703f8584_at_news.kpn.nl>
Brian wrote:
>Under the closed world interpretation, there are no unknown truth
Yes ...
>even if the user that made the assertion is mistaken.
Huh?! So if I have a database relation 'X works at Y', with the open
>values, but under the open world interpretation, only what has been
>explicitly asserted is known to be true, and it is known to be true
>[...] Just because something
>is known to be true doesn't mean that it actually is true. Even under
>the closed world interpretation, what is supposed to be true may not
>actually be true.
Exactly. There is no difference between OWA and CWA in this respect, regarding the assertions that correspond to tuples in the relation. The difference is in what they imply for assertions that correspond to tuples not in the relatoion.
-- ReinierReceived on Mon Nov 09 2009 - 00:37:10 CET