
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:
[...]
1. 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?
2. 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 -- Jens Teubner Technische Universitaet Muenchen, Department of Informatics D-85748 Garching, Germany Tel: +49 89 289-17259 Fax: +49 89 289-17263 Sciene is like sex: sometimes something useful comes out, but that is not the reason why we are doing it. -- Richard Feynman