Re: RM formalism supporting partial information

On 19 nov, 17:56, vldm10 <vld..._at_yahoo.com> wrote:
> On Nov 16, 10:30 am, Jan Hidders <hidd..._at_gmail.com> wrote:
>
> > To give a hint about my opinion on the final question. If you assume
> > the closed world assumption, and we usually do in this context, then
> > it is not true that a smaller relation necessarily contains less
> > information. The absence of tuples then also carries information.
>
> > So far for now.
>
> > -- Jan Hidders
>
> Here are two good examples from Atsushi Ohori and his paper "Ordering
> and types in databases".

Nice reference. For the interested, the exact title is "Orderings and Types in Databases" and that paper is actually available on-line:

 http://www.pllab.riec.tohoku.ac.jp/~ohori/research/dbpl87.pdf

Cheers,

• Jan Hidders