-----Original Message-----
From: Michael Kay
Thanks: it's a faulty optimization.
This leads to some interesting questions about what exactly
are the circumstances under which the set operators (union,
intersect, except) are distributive with respect to "/".
[//A | //B] translates nicely to
[/descendant-or-self::node()/(child::A | child::B)] but
you've now got me worried! I suspect that union distributes
correctly into any path expression but intersect and except
don't - but I'm not sure I can prove it. Any set theorists
out there who can help?
A certain gentleman with a math(ematics) bias sometimes hangs around
here :-)
Help David!
regards DaveP
--
DISCLAIMER:
NOTICE: The information contained in this email and any attachments is
confidential and may be privileged. If you are not the intended
recipient you should not use, disclose, distribute or copy any of the
content of it or of any attachment; you are requested to notify the
sender immediately of your receipt of the email and then to delete it
and any attachments from your system.
RNIB endeavours to ensure that emails and any attachments generated by
its staff are free from viruses or other contaminants. However, it
cannot accept any responsibility for any such which are transmitted.
We therefore recommend you scan all attachments.
Please note that the statements and views expressed in this email and
any attachments are those of the author and do not necessarily represent
those of RNIB.
RNIB Registered Charity Number: 226227
Website: http://www.rnib.org.uk
--~------------------------------------------------------------------
XSL-List info and archive: http://www.mulberrytech.com/xsl/xsl-list
To unsubscribe, go to: http://lists.mulberrytech.com/xsl-list/
or e-mail: <mailto:xsl-list-unsubscribe(_at_)lists(_dot_)mulberrytech(_dot_)com>
--~--