Tarski school influence on Database Theory
From: Tegiri Nenashi <TegiriNenashi_at_gmail.com>
Date: Mon, 20 Jul 2015 12:51:32 -0700 (PDT)
Message-ID: <05346d5a-8578-4f19-964c-1382f0b14f1f_at_googlegroups.com>
There are at least two references
http://alpha.uhasselt.be/~lucp1080/tarski.pdf http://arxiv.org/pdf/1210.4661.pdf
The second one quotes John Etchemendy: "You see those big shiny Oracle towers on Highway 101? They would never have been built without Tarski's work on the recursive definitions of satisfaction and truth".
Date: Mon, 20 Jul 2015 12:51:32 -0700 (PDT)
Message-ID: <05346d5a-8578-4f19-964c-1382f0b14f1f_at_googlegroups.com>
There are at least two references
http://alpha.uhasselt.be/~lucp1080/tarski.pdf http://arxiv.org/pdf/1210.4661.pdf
The second one quotes John Etchemendy: "You see those big shiny Oracle towers on Highway 101? They would never have been built without Tarski's work on the recursive definitions of satisfaction and truth".
Do those arguments look compelling? After all Tarski championed algebra of Binary Relations which has no connections to Codd's Relational algebra. Also, given Tarski prominence in the 20th century, how does it happen that algebra of Binary Relations have so little profile in computing practice today?
Received on Mon Jul 20 2015 - 21:51:32 CEST