[Home] [By Thread] [By Date] [Recent Entries]


Henry S. Thompson scripsit:

> Nothing in the REC requires processors to do static analysis of a
> schema with keys in it to determine if the keys are in principle
> satisfiable.  This is a hard problem, and it didn't seem necessary to
> require processors to solve it.

Indeed, if I correctly understand the literature I've read on the subject
(and I may not, as much of it is too mathematical for me), this demand is
worse than hard: it's impossible in principle.

-- 
Dream projects long deferred            John Cowan <jcowan@r...>
usually bite the wax tadpole.            http://www.ccil.org/~cowan
        --James Lileks                  http://www.reutershealth.com

Site Map | Privacy Policy | Terms of Use | Trademarks
Free Stylus Studio XML Training:
W3C Member