| Oracle FAQ | Your Portal to the Oracle Knowledge Grid | |
 |
 | |||
| Oracle FAQ | Your Portal to the Oracle Knowledge Grid | |
|
| |||
Home -> Community -> Usenet -> comp.databases.theory -> Re: A Logical Model for Lists as Relations
Mikito Harakiri wrote:
[...]
> Don't you need ordered pair definition as well? I refuse to accept
> Kuratovski set trick as ordered pair representation in terms of sets.
>
It sounds capricious. The pair does the required job, and besides there are alternative definitions of the ordered pair (Quine' for example).
> Alternatively, a sequence can be defined axiomatically via Kleene
> algebra.
Why proliferate unnecessarily the number of primitives ? Received on Fri May 12 2006 - 05:19:58 CDT
 |
 |