Path: news.cambrium.nl!textnews.cambrium.nl!feeder3.cambriumusenet.nl!feed.tweaknews.nl!193.201.147.78.MISMATCH!feeder.news-service.com!news.mixmin.net!tioat.net!not-for-mail From: paul c Newsgroups: comp.databases.theory Subject: Re: relative complement? Date: Mon, 04 Apr 2011 07:27:37 -0700 Lines: 22 Message-ID: <201104041427.UTC.inckgu$jgi$1@tioat.net> References: <201102231630.UTC.ik3cmc$qmj$1@tioat.net> <5ebcafc7-51fe-4b40-a57b-36b76c06ee8c@x11g2000yqc.googlegroups.com> <201103181441.UTC.ilvquh$uce$1@tioat.net> <7b387bd7-a777-4c6f-b337-ae8faa03e34c@d28g2000yqf.googlegroups.com> <201103182144.UTC.im0jo4$5fa$1@tioat.net> <53f2155d-1f47-43ac-a26b-d7dfe02515f3@w7g2000yqe.googlegroups.com> <201103190030.UTC.im0tg1$825$1@tioat.net> <201103282149.UTC.imqvpb$vj1$1@tioat.net> <0197e33f-e108-4a40-8f7d-1569e6569646@y26g2000yqd.googlegroups.com> <512cd840-5849-4477-a48f-67d24736c7b5@s9g2000yqm.googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Mon, 4 Apr 2011 14:27:42 +0000 (UTC) Injection-Info: tioat.net; posting-host="a044a530a88f792cff1a0217681a8b76"; mail-complaints-to="news_AT_tioat_DOT_net" User-Agent: Mozilla/5.0 (Windows; U; Windows NT 6.0; en-GB; rv:1.9.2.8) Gecko/20100802 Thunderbird/3.1.2 In-Reply-To: <512cd840-5849-4477-a48f-67d24736c7b5@s9g2000yqm.googlegroups.com> Xref: news.cambrium.nl On 02/04/2011 8:56 AM, Erwin wrote: > On 2 apr, 17:49, Erwin wrote: > >> Procedural-or-not is completely orthogonal to supporting-MA-or-not. > > That might be a bit of a howler, given that : > > if "procedural" and "functional" are the only options possible, then > "not-procedural" implies "functional", > and "functional" implies that no variables exist that outlive the > lifetime of the functional program, > and the most important target for which the concept of MA has been > invented, is a DBVAR, > which is a variable that outlives the lifetime of any executing > program by definition. I don't know much about functional languages (which is why I try to not mention the term), about all I've noticed in them is that statement order does seem to matter. My guess at what is 'not procedural' is closer to what people call 'declarative' but that's probably a half-assed guess given that (I presume) even declarative languages must deal with questions of precedence or associativity.