Re: Constraints and Functional Dependencies

From: paul c <>
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 <> 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

Original text of this message