Subject: Re: Fundimentle Predicate Problem or Bug??
From: David Carlisle <davidc@xxxxxxxxx>
Date: Thu, 18 Sep 2008 17:32:39 +0100
|
> 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.
________________________________________________________________________
|