Re: Functional dependency is multivalued dependency

paul c wrote:
>
> (I wasn't expecting that it would be a 'bag', it's just that I thought
> the symbol '\/' stood for semi-union which I think RL intends to operate
> on relations.) So if we start with the value I that has X and Y
> attributes, how do we get a value for XY without projection?

XY is by definition the binary relation with an X column and Y column that contains all possible 2-tuples. Depending on the domain you choose it might be infinite.

• Jan Hidders