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_at_pd7urf3no>
>
>
> 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): ...
Date: Sat, 24 Feb 2007 16:16:56 GMT
Message-ID: <YxZDh.1123536$5R2.35216_at_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 - 17:16:56 CET