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_at_pd7urf2no>
Date: Sat, 24 Feb 2007 14:18:15 GMT
Message-ID: <HOXDh.1112107$1T2.128229_at_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?
p Received on Sat Feb 24 2007 - 15:18:15 CET