Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

RE: SUO: RE: RE: Re: Re: Abstraction, Analogy, Example, Icon, Metaphor, Model, Morphism, Paradigm, Prototype, Simulation


Dear John,

> Matthew,
> 
> That is a point that I keep emphasizing to both logicians
> and to database experts -- two sets that are almost disjoint.
> 
> >Of course the basis is data models, rather than FOL type 
> stuff, but as I am
> 
> >increasingly realising the gap between the two is narrower 
> than most people
> 
> >think. It is just that very few try to cross it.
> 
> I keep reminding the logicians that the query subset of SQL
> can represent full FOL.  And I keep reminding the database
> programmers that whenever they formulate a query in SQL they
> are using a version of FOL.

MW: I recall your earlier statement to that effect, it set me thinking in a
new light.
> 
> There are a few professor types who know both, but they are
> very rare and are usually ignored by both the programmers and
> the logicians.

MW: Of course they are - too clever by half :-(

Regards  
      Matthew
============================================
Matthew West
Operations & Asset Management
Shell Services International
H3229, Shell Centre, London, SE1 7NA, UK.
Tel: +44 207 934 4490 Fax: 7929 
Mobile: +44 7796 336538
E-mail: Matthew.R.West@is.shell.com
http://www.shellservices.com/
============================================