Re: Constraints and Functional Dependencies

From: paul c <toledobythesea_at_oohay.ac>
Date: Sat, 24 Feb 2007 16:16:56 GMT
Message-ID: <YxZDh.1123536$5R2.35216@pd7urf3no>

Marshall wrote:
> On Feb 24, 6:18 am, paul c <toledobythe..._at_oohay.ac> wrote:
> ...

>>eg., if n is not infinite, just has a finite number of values, wouldn't
>>R(n) OR NOT R(n) enumerate all possible values of n?

>
>
> If R is finite and n is an attribute of R, then you can express a
> constraint on all values of n (even with my restrictions) with just:
>
> forall R(n): ...

I don't see how that gives all possible values, just a present value, if you will.

p Received on Sat Feb 24 2007 - 10:16:56 CST