Re: Constraints and Functional Dependencies

From: paul c <toledobythesea_at_oohay.ac>
Date: Sat, 24 Feb 2007 14:18:15 GMT
Message-ID: <HOXDh.1112107$1T2.128229@pd7urf2no>

Marshall wrote:
> ...
> In a data management context, there is some value to restricting
> what we can quantify over as being only attributes of declared
> relations (whether variables or constants.) So, we can't express
> the "no-upper-bound" property of the natural numbers; they aren't
> a database table so we can't quantify over them.
> ...

Thanks for a theory topic at last. Minor question - is it not rather that we can express it, but agree not to because we can't always compute it?

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?

p Received on Sat Feb 24 2007 - 08:18:15 CST