# 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

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