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 <>
usually bite the wax tadpole. http://www.ccil.org/~cowan
--James Lileks http://www.reutershealth.com
