SUO: Re: Relations Versus Tuples
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
Adam Pease wrote:
>
> Jean-Marc,
> There may be a misunderstanding simply due to the relation name.
> Think of it as 'directlyConnected'. The Golden Gate bridge connects
> San Francisco and Marin. Marin and San Francisco are not directly
> connected. Or a more European example would be that the Chunnel
> connects France and Britain. France and Britain are not directly
> connected. One could of course decompose this into a set of
> binary relations
>
> (connects1 France C1)
> (connects2 Chunnel C1)
> (connects3 Britain C1)
>
> That requires reifying a relation instance symbol, 'C1', which, along with
> the increase from one statement to three and the proliferation of relation
> variants are factors that bias some of us towards the ternary relation.
>
> Adam
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
Adam,
You are not talking about 2-adic (binary) relations
or 3-adic (ternary) relations here. You are talking
about "relation instances" (2-tuples and 3-tuples).
Someday when you learn what a relation is we will
discuss the "factors that bias some of us towards
the ternary relation", but I won't hold my breath.
Jon Awbrey
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤