Re: Existence of proof verifiers: A comedy

On May 3, 12:26 pm, Marshall <marshall.spi...@xxxxxxxxx> wrote:
On May 3, 8:14 am, Charlie-Boo <shymath...@xxxxxxxxx> wrote:
On Apr 30, 6:18 pm, Marshall <marshall.spi...@xxxxxxxxx> wrote:

Some time ago in comp.databases.theory I parodied
a blog post entitled "Is Codd Dead?", Codd being Ted Codd,
the father of modern data management techniques.

Codd noticed that databases contain relations.  The rest of what he
said was a totally failed attempt to formalize and automate database
query processing.  SQL is an example of that failure, by virtue of it
being only a programming language rather than an automatic query
processor.

(History of data management is probably off-topic, though.)

BTW That comment provides a proof that he failed. Can you (anybody)
see how?

C-B

Marshall
.

Relevant Pages

  • Re: Existence of proof verifiers: A comedy
    ... I was using the Hindu System. ... a blog post entitled "Is Codd Dead?", Codd being Ted Codd, ... query processing. ... In most presidential elections, the taller candidate wins. ...
    (sci.logic)
  • Re: Existence of proof verifiers: A comedy
    ... a blog post entitled "Is Codd Dead?", Codd being Ted Codd, ... the father of modern data management techniques. ... said was a totally failed attempt to formalize and automate database ... query processing. ...
    (sci.logic)
Loading