Re: [MonetDB-users] About Static Type Analysis for XQuery in MonetDB/XQuery
Dear Selina, Wang Zhen,
thank you very much for your interest in MonetDB/XQuery.
Assuming that your question can best be answered by our colleagues in Munich that take care of the Pathfinder XQuery to relational algebra compiler (cf., http://www.pathfinder-xquery.org/), I feel free to forward your email to the MonetDB-users list at SourceForge.
Kind regards,
Stefan
On Tue, Nov 14, 2006 at 07:49:39PM +0800, Wang Zhen (Selina) wrote:
To Who It may Concern:
I am conducting an XQuery implementation survey for my thesis study, and find your MonetDB/XQuery link from W3C website.
I'm very interested in MonetDB/XQuery, yet I still got some questions and may need your help:
- I found on your website that, MonetDB/XQuery "adheres to all the
typing rules prescribed in the W3C standard". I would like to know which version do you support currently?
- Are those typing rules encoded in MonetDB/XQuery? If so, since the
W3C standard is still changing, how do you keep up with the change efficiently?
Thank you. Selina, Wang Zhen
Dear Stefan. I just sent an email by mistake. Sorry. And, thank you for you help. Best, Selina
Stefan Manegold wrote:
Dear Selina, Wang Zhen,
thank you very much for your interest in MonetDB/XQuery.
Assuming that your question can best be answered by our colleagues in Munich that take care of the Pathfinder XQuery to relational algebra compiler (cf., http://www.pathfinder-xquery.org/), I feel free to forward your email to the MonetDB-users list at SourceForge.
Kind regards,
Stefan
On Tue, Nov 14, 2006 at 07:49:39PM +0800, Wang Zhen (Selina) wrote:
To Who It may Concern:
I am conducting an XQuery implementation survey for my thesis study, and find your MonetDB/XQuery link from W3C website.
I'm very interested in MonetDB/XQuery, yet I still got some questions and may need your help:
- I found on your website that, MonetDB/XQuery "adheres to all the
typing rules prescribed in the W3C standard". I would like to know which version do you support currently?
- Are those typing rules encoded in MonetDB/XQuery? If so, since the
W3C standard is still changing, how do you keep up with the change efficiently?
Thank you. Selina, Wang Zhen
Dear Selina, Wang Zhen,
thanks for your interest in MonetDB/XQuery and sorry it took a while to answer your mail.
On Tue, Nov 14, 2006 at 01:21:40PM +0100, Stefan Manegold wrote:
[...]
- I found on your website that, MonetDB/XQuery "adheres to all the
typing rules prescribed in the W3C standard". I would like to know which version do you support currently?
- Are those typing rules encoded in MonetDB/XQuery? If so, since the
W3C standard is still changing, how do you keep up with the change efficiently?
Well, that statement certainly is a bit exaggerated. We should remove that from the website.
What is true is that we do a significant amount of static typing in our system. The Pathfinder XQuery compiler (which enables XQuery support in MonetDB/XQuery) even includes the means to test for /structural/ subtype relationships, which goes beyond the actual requirements in the W3C specs.
On the other hand, our support for static typing is far from complete. Most importantly, we do not derive type quantifiers correctly for all variants of XPath expressions, and our support for XML Schema import requires some work. This is basically due to the lack of time in our development team, sorry for that.
Do you have a specific need for static typing support, or a concrete example that does not what you expect? If so, we could look into it and maybe try to find a reasonable solution for your case.
I hope I could answer your question, don't hesitate to come back to us
Jens
participants (3)
-
Jens Teubner -
Stefan Manegold -
Wang Zhen (Selina)