XQuery: Wie kommen beide "() =()" und "() eq()" zu false aus?

Question

Die folgende XQuery-Schnipsel:

let $x :=() 
return if (not($x eq $x) and not($x = $x)) 
    then "wat" 
    else "makes sense" 

kehrt wat. Warum? Die Effective Boolean Value einer leeren Sequenz false sein soll, aber beide false() eq false() und false() = false() bewerten zu true ...

Answer 1

Siehe https://www.w3.org/TR/xquery-31/#id-comparisons Wertvergleichsoperatoren wie eq, heißt es: „Wenn ein zerstäubtes Operand eine leere Sequenz, ist das Ergebnis von der Wertvergleich ist eine leere Sequenz ". So wird () eq() zu () und dann not(()) zu true() ausgewertet.