Re: Constraints and Functional Dependencies
Date: 24 Feb 2007 08:09:28 -0800
On Feb 24, 6:18 am, paul c <toledobythe..._at_oohay.ac> wrote:
> 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?
It is true that the reason behind it all is that we can't check it.
"check" I mean specifically that the technique of doing the computation
for every value in the set being discussed is impossible. (Even in the case of, say, 32 bit ints the technique, while not impossible, is likely
In response to that, I proposed some specific restrictions on range variables that actually do make it impossible to express. But it's true that expressing it using standard quantifiers is no problem.
not exists n in N: forall m in N: n > m
I believe there are software systems that can work with expressions of this form. I don't know whether they could automatically find a proof of this specific formula, but I suspect they could if you prodded them enough. They could certainly verify a supplied proof.
> 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?
Marshall Received on Sat Feb 24 2007 - 17:09:28 CET