Path: news.easynews.com!newsfeed1.easynews.com!newsfeed2.easynews.com!easynews.com!easynews!newsfeed.news2me.com!newsfeed.media.kyoto-u.ac.jp!feed.cgocable.net!newsfeed.torontointernetxchange.net!radon.golden.net!mantis.golden.net!not-for-mail From: "Bob Badour" Newsgroups: comp.databases.theory References: Subject: Re: The BOOLEAN data type Lines: 42 X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2800.1106 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106 Message-ID: Date: Thu, 3 Apr 2003 22:18:50 -0500 NNTP-Posting-Host: 207.35.144.40 X-Complaints-To: abuse@golden.net X-Trace: mantis.golden.net 1049428626 207.35.144.40 (Thu, 03 Apr 2003 22:57:06 EST) NNTP-Posting-Date: Thu, 03 Apr 2003 22:57:06 EST Organization: Golden Triangle On Line Inc. Xref: newsfeed1.easynews.com comp.databases.theory:25650 X-Received-Date: Thu, 03 Apr 2003 20:23:40 MST (news.easynews.com) "Lauri Pietarinen" wrote in message news:e9d83568.0304022344.1e50822b@posting.google.com... > > > > You should really go read up on good old Dijsktra, he knew a few things > > about programming ... > > > > Google for EWD1284 > > Thanks! Does anybody know if EWD contributed any > database stuff? Strange that he does not mention databases > in his keynote. Whether he wrote anything specific to databases is unknown to me, but he wrote tons of stuff applicable to databases including his most famous stuff like shortest path and critical sections/concurrency. In fact, I am sure almost everything he wrote could have some relevance to database management systems, since these systems generally comprise one or more program -- among other things. Simply by searching for Codd and Dijkstra I quickly found this: http://citeseer.nj.nec.com/context/88414/0 Searching the index at http://www.cs.utexas.edu/users/EWD/indexBibTeX.html I found no mentions of the term database. I do not know what the dutch would be. Searching for "calculus", I got the following likely relevant hits: EWD418 EWD863 EWD905 EWD910 EWD912 EWD928 EWD949 EWD969 EWD982 EWD1001 EWD1002 EWD1060 EWD1061 EWD1114