Path: text.usenetserver.com!out02a.usenetserver.com!news.usenetserver.com!in04.usenetserver.com!news.usenetserver.com!nx01.iad01.newshosting.com!newshosting.com!news.glorb.com!cycny01.gnilink.net!spamkiller2.gnilink.net!gnilink.net!trndny01.POSTED!3abab865!not-for-mail From: "David Cressey" Newsgroups: comp.databases.theory,comp.object Subject: How is Behavior Specified Lines: 7 X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2800.1478 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1478 Message-ID: <_ZoJj.3574$at6.3220@trndny01> Date: Fri, 04 Apr 2008 12:15:54 GMT NNTP-Posting-Host: 72.79.196.12 X-Complaints-To: abuse@verizon.net X-Trace: trndny01 1207311354 72.79.196.12 (Fri, 04 Apr 2008 08:15:54 EDT) NNTP-Posting-Date: Fri, 04 Apr 2008 08:15:54 EDT Xref: usenetserver.com comp.databases.theory:171195 comp.object:265557 X-Received-Date: Fri, 04 Apr 2008 07:15:56 EST (text.usenetserver.com) How is behavior specified? In particular, is the specification expressed as declaratives or as imperatives?