xsl-list
[Top] [All Lists]

Re: [xsl] Fundimentle Predicate Problem or Bug??

2008-09-18 12:33:09


It does pose an interesting question though, because in my case surely

Race/RaceType >= 'R' and Race/RaceType <= 'R'

AND

Race/RaceType >= 'R' or Race/RaceType <= 'R'

would do the same? 


no the first is true just if both branches are true, and the second is
true if either branch is true.

Which is fine in the XSLT world but try 
explaining that to the logic gurus!


the operators follow standard propositional calculus here, so long as
you remember that 

sequence operator value
means

exists x in sequence such that x operator value.

so in your case

Race/RaceType >= 'R'

means (and could be written in xpath as)

some $r in Race/RaceType satisfies ($r  >= 'R')

David

________________________________________________________________________
The Numerical Algorithms Group Ltd is a company registered in England
and Wales with company number 1249803. The registered office is:
Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.

This e-mail has been scanned for all viruses by Star. The service is
powered by MessageLabs. 
________________________________________________________________________

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