Re: Constraints and Functional Dependencies
Date: Sat, 24 Feb 2007 14:18:15 GMT
> 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