Path: text.usenetserver.com!out04a.usenetserver.com!news.usenetserver.com!in02.usenetserver.com!news.usenetserver.com!postnews.google.com!z24g2000prf.googlegroups.com!not-for-mail
From: Tegiri Nenashi <TegiriNenashi@gmail.com>
Newsgroups: comp.databases.theory,comp.object
Subject: Re: How is Behavior Specified
Date: Fri, 4 Apr 2008 13:49:11 -0700 (PDT)
Organization: http://groups.google.com
Lines: 14
Message-ID: <8700d3dd-eaaa-4690-987d-9177128ec789@z24g2000prf.googlegroups.com>
References: <_ZoJj.3574$at6.3220@trndny01>
NNTP-Posting-Host: 70.137.138.57
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1207342151 20109 127.0.0.1 (4 Apr 2008 20:49:11 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Fri, 4 Apr 2008 20:49:11 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: z24g2000prf.googlegroups.com; posting-host=70.137.138.57; 
 posting-account=PBsn8woAAADaWofLEAjNrE17YVrUmBlm
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1; SV1; .NET 
 CLR 1.1.4322; .NET CLR 2.0.50727),gzip(gfe),gzip(gfe)
Xref: usenetserver.com comp.databases.theory:171202 comp.object:265573
X-Received-Date: Fri, 04 Apr 2008 15:49:11 EST (text.usenetserver.com)

On Apr 4, 4:15=A0am, "David Cressey" <cresse...@verizon.net> wrote:
> How is behavior specified?
>
> In particular, is the specification expressed as declaratives or as
> imperatives?

State machine? Declarative style would push the model towards
algebraic description: Kleene algebra, idempotent semiring, etc. The
connection between Kleene and Tarski relation algebra is well known.
The difference between Kleene and Relational Algebra is quite
significant, and IMO is the essence of the divide between procedural
(i.e. sequential) and relational worlds.

As usual, the object perspective have really no insight to contribute.