Re: Interpretation of Relations

On 2007-01-20 20:49:52 +1000, Bob Badour <bbadour_at_pei.sympatico.ca> said:

> Joe Thurbon wrote:

>>> Joe Thurbon wrote:

>>>> 
>>>> Relation R_People      = <<D_People>: {{Joe}}>
>>>> Relation R_Hair Colour = <<D_People X D_Hair>: {{Joe, Blond}}>
>>>> 
>>>> (The bit in the <> is the relation header, the subsequent sets are the 
>>>> relation body).

>>>> 
>>>> 
>>>> R_Hair Colour: <<D_People X D_Hair>: {}>
>>>> 
>>>> indicates that I don't know the colour of Joe's hair. It really means
>>>> 
>>>> NOT Joes hair is Red
>>>> NOT Joes hair is Blond
>>>> 
>>>> Is this right? ...

>>> 
>>> I think this is something that often trips me up - we can obtain tuples 
>>> that have no attributes only by projecting away other attributes (which 
>>> I believe is the purpose of TABLE_DEE and DUM)

>>> or by declaring a relation that has no attributes and then "assigning" 
>>> (basically, this means memorizing) a value that stands for true or 
>>> false to that relation.

> 
> Using your notation:
> 
> Relation DEE = <<>:{{}}>
> Relation DUM = <<>:{}>

Ah, cute.

So, just checking that I understand, DEE has all of its (one) possible tuples in its body, the tuple with no values.

Many thanks,
Joe Received on Sat Jan 20 2007 - 12:21:54 CET