// Nested quantifier tests verifying no stack overflow and correct semantics. // XPath examples: // 1. some $x in (1,2) satisfies every $y in (1,2) satisfies $x <= $y ...
Abstract: We present algebraic equivalences that allow to unnest nested algebraic expressions for order-preserving algebraic operators. We illustrate how these equivalences can be applied successfully ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results