RE: [xsl] Using XPATH axis within a recursive structure to match a descendent node

["Pawson, David" <David.Pawson@xxxxxxxxxxx>]

    -----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