SPARQL to XQuery transformation

[Michael Kay]

XQuery is Turing-complete, so there shouldn't be any theoretical problems.
 
It could be that there are issues to do with data model coverage - for
example XQuery 1.0 doesn't give access to unparsed entities, and doesn't
provide any way to create namespaces whose names aren't known statically.
But I think those are unlikely to be stopper issues.
 
Michael Kay
http://www.saxonica.com/


  _____  

From: David A. Lee [mailto:http://x-query.com/mailman/listinfo/talk] 
Sent: 29 April 2009 01:33
To: Michael Kay
Cc: 'McBeath, Darin W (ELS-STL)'; http://x-query.com/mailman/listinfo/talk; 'Vyacheslav Sedov'
Subject: Re:  SPARQL to XQuery transformation


I don't believe its impossible either, but I was thinking, as a purely
functional language (if that makes a difference?)
Is there any set of computations that xquery couldn't theoretically execute,
that say a procedural language could ?


Michael Kay wrote: 

It might be *possible* to do in XQuery but its not a simple 

"translation" of one query language to another, it would take 

writing an inference engine in xquery.  quite a project.

    



If you can write an interpreter for a query language then you can write a

compiler for it. And compiling into XQuery is probably easier than compiling

into machine code. So as far as I can see, it doesn't look intrinsically

impossible at all.



Michael Kay

http://www.saxonica.com/



_______________________________________________

http://x-query.com/mailman/listinfo/talk

http://x-query.com/mailman/listinfo/talk

  


-- 

-----------------------------------------------------------

David A. Lee

http://x-query.com/mailman/listinfo/talk  

http://www.calldei.com

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://x-query.com/pipermail/talk/attachments/20090429/d8079846/attachment.htm