のセマンティクス=と！= XQueryで

Question

は、

("foo", "bar") = ("foo", "bar") 

は値trueを生み出します。それは明らかです。しかし、私はまた

("foo", "bar") != ("foo", "bar") 

は、私はむしろ驚くべき見つけた、trueを生み出すことに気づきました。 =をnot($x = $y)と打ち消すことができ、=には何らかのセグメントセマンティクスがあることに気付きましたが、誰でも!=のセマンティクスを説明したり、その参照を提供したりできますか？

Answer 1

documentation for XQueryのセクション「3.5.2一般的な比較」に記載されています。

次の例には、両方とも の2つの一般的な比較が含まれています。この例は、=と！= 演算子が互いに逆ではないという事実を示しています。推論に読む

(1, 2) = (2, 3) 
(1, 2) != (2, 3) 

rules of Atomizationがここに非難しているかのように、それは私に読み込みます。要素がuntypedAtomicである場合、パーサは、どのようにオペレータの動作ではなく、要素自体に基づいて操作の違いを許容する比較が行われるべきかを「推測」することが自由である。

Answer 2

XQuery =および!=は実在する演算子です。 要素が左側に設定されている場合は、のいずれかの要素が右辺の要素にtrueを返します。=、!=、>、...のアルファベットのない比較演算子文字）。左側

("foo", "bar") != ("foo", "bar") 

「fooが」右側に!=「バー」であるので、全体の比較が真です。

等価比較にはdeep-equalを使用し、質問で既に提案した非等価比較の否定バージョンを使用します。