| Oracle FAQ | Your Portal to the Oracle Knowledge Grid | |
Home -> Community -> Usenet -> comp.databases.theory -> Re: Clean Object Class Design -- Circle/Ellipse
>This is not what I meant. You gave me an axiom which is true for integers
but
>false for reals. Could you please write a predicate with one free variable
that
>defines a subset of integers given a set of real numbers?
Do you mean an axiom like countability? Received on Sat Aug 04 2001 - 14:28:09 CDT
![]() |
![]() |