Re: Existence of proof verifiers: A comedy

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

On Apr 30, 10:44 am, Jan Burse <janbu...@xxxxxxxxxxx> wrote:

This reminds me of the battle between CBL and Meghill:
[...]
Backhouse: I was using the Hindu System.

(Probably the author meant Jim Backus?)

That was pretty funny.

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.

"Totally failed" is too strong. Partly failed, partly succeeded.
Still a definite step forward if you compare it to what came
before.

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


Marshall
.

Relevant Pages

  • 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. ... I suppose I could consider that tinyurl is my friend, ...
    (sci.logic)
  • Re: Existence of proof verifiers: A comedy
    ... I was using the Hindu System. ... That was pretty funny. ... a blog post entitled "Is Codd Dead?", Codd being Ted Codd, ... the father of modern data management techniques. ...
    (sci.logic)
  • Re: Existence of proof verifiers: A comedy
    ... a blog post entitled "Is Codd Dead?", Codd being Ted Codd, ... said was a totally failed attempt to formalize and automate database ... query processing. ...
    (sci.logic)
  • Re: Existence of proof verifiers: A comedy
    ... I was using the Hindu System. ... That was pretty funny. ... a blog post entitled "Is Codd Dead?", Codd being Ted Codd, ... the father of modern data management techniques. ...
    (sci.logic)
  • 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)