logo       

RE: XQuery and the Rule of Least Power: msg#00028

Subject: RE: XQuery and the Rule of Least Power
Once you start using recursion it does "violate" it since you can get
non-terminating recursion. Without it you are fine.

Best regards
Michael

> -----Original Message-----
> From: talk-bounces-KUd/JJajPrLQT0dZR+AlfA@xxxxxxxxxxxxxxxx 
> [mailto:talk-bounces-KUd/JJajPrLQT0dZR+AlfA@xxxxxxxxxxxxxxxx] On
Behalf
> Of Jonathan Robie
> Sent: Tuesday, March 07, 2006 7:09 AM
> To: xquery-talk
> Subject: [xquery-talk] XQuery and the Rule of Least Power
> 
> I just read the TAG finding called "The Rule of Least Power" [1], and
I
> find it difficult to know how to apply it to XQuery. The following
> statement is central to the paper:
> 
> > The Turing-complete languages are shown by computer science to be
> > equivalent in their ability to compute any result of which a
computer
> > is capable, and are in that sense the most powerful class of
languages
> > for computers. The tradeoff for such power is that you typically
> > cannot determine what a program in a Turing-complete language will
do
> > without actually running it. Indeed, you often cannot tell in
advance
> > whether such a program will even reach the point of producing useful
> > output.
> 
> Although XQuery is Turing complete, all it can do is return values,
and
> if you have a static type system, you also know an awful lot about
what
> values it is going to return. Any thoughts on how this Rule applies to
> deciding whether to use XQuery for a given project? Or does XQuery
> violate the Rule proposed here?
> 
> Jonathan
> 
> [1] http://www.w3.org/2001/tag/doc/leastPower.html
> 
> --
> Read my Blog: http://blogs.datadirect.com/jonathan_robie/
> Learn XQuery:
> http://media.datadirect.com/download/docs/ddxquery/tutorial_query.html
> Learn XQJ (the JDBC for XQuery):
> http://www.datadirect.com/developer/xquery/topics/xqj_tutorial/
> Get DataDirect XQuery: http://www.datadirect.com/products/xquery/
> 
> _______________________________________________
> talk-KUd/JJajPrLQT0dZR+AlfA@xxxxxxxxxxxxxxxx
> http://xquery.com/mailman/listinfo/talk



<Prev in Thread] Current Thread [Next in Thread>
Google Custom Search

Recently Viewed:
region.costa-ri...    user-groups.lin...    lang.prothon.us...    xfree86.cvs/200...    finance.aqbanki...    ietf.smtp/1993-...    web.turbogears....    jakarta.cactus....    yellowdog.gener...    php.gtk+.genera...    org.region.indo...    hurd.l4/2005-10...    culture.religio...    apple.fink.gene...    db.mysql.window...    bluez.devel/200...    security.pgp-ba...    video.blender.d...   
Home | blog view | USPTO Patent Archive | advertise | OSDir is an inevitable website. super tiny logo

Free Magazines

Cisco News
Receive a free quarterly e-newsletter with exclusive articles on how Cisco IT uses its own products and solutions to enable the business.
subscribe

Systems Management News, the newspaper for IT systems administration and data center managers! Each issue of Systems Management News is chock-full of news and analysis to help you understand what's happening in your field.
subscribe

The Enterprise Newsweekly eWeek is the essential technology information source for builders of e-business.
subscribe

Oracle Magazine Oracle Magazine contains technology strategy articles, sample code, tips, Oracle and partner news, how to articles for developers and DBAs, and more. Oracle (NASDAQ: ORCL) is the world's largest enterprise software company.
subscribe

Total Telecom Total Telecom is "The Economist of the communications industry".
subscribe