Change id: windows
| Implementations | |||||||||||||||
| Tests | BaseX 7.7 XQ30 |
EMC/xDB xDB_main_r2411365 XQ30 |
Saxon-EE 9.5.1.1 XP20 |
Saxon-EE 9.5.1.1 XQ10 |
Saxon-EE 9.5.1.1 XP30 |
Saxon-EE 9.5.1.1 XQ30 |
Saxon-EE 9.5.1.4 XQX30 (QT3 v1.1) |
XmlPrime 3.0.0.0 XP30 (QT3 vCVS) |
XmlPrime 3.0.0.0 XQ30 (QT3 vCVS) |
XmlPrime 3.0.0.0 XQX30 (QT3 vCVS) |
XmlPrime 3.0.0.0 XP20 (QT3 vCVS) |
XmlPrime 3.0.0.0 XQX10 (QT3 vCVS) |
XmlPrime 3.0.0.0 XQ10 (QT3 vCVS) |
Zorba 2.9 XQ10 (QT3 vCVS) |
Zorba 2.9 XQ30 (QT3 vCVS) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| SlidingWindowExpr501[+]
X SlidingWindowExpr501: for sliding window $w in (1, 2, 3, 4) start at $s when fn:true() end at $e when $e - $s eq 1 return $w |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| SlidingWindowExpr502[+]
X SlidingWindowExpr502: for sliding window $w in (1, 2, 3, 4) start at $s when fn:true() only end at $e when $e - $s eq 1 return $w |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| SlidingWindowExpr503[+]
X SlidingWindowExpr503: for sliding window $w in (1, 2, 3, 4) start $s at $s previous $s when fn:true() only end $s at $s previous $s when $s - $s eq 1 return $w |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr503[+]
X TumblingWindowExpr503: for tumbling window $w in (1, 2, 3, 4) start $s at $s previous $s when fn:true() only end $s at $s previous $s when $s - $s eq 1 return $w |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase01[+]
X WindowingUseCase01: <table>{ for tumbling window $w in ./doc/* start at $x when fn:true() end at $y when $y - $x = 2 return <tr>{ for $i in $w return <td>{data($i)}</td> }</tr> }</table> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase01S[+]
X WindowingUseCase01S: <table>{ for tumbling window $w in ./doc/* start at $x when fn:true() end at $y when $y - $x = 2 return <tr>{ for $i in $w return <td>{data($i)}</td> }</tr> }</table> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase02[+]
X WindowingUseCase02: <chapter>{ for tumbling window $w in ./body/* start previous $s when $s[self::h2] end next $e when $e[self::h2] return <section title="{data($s)}">{ for $x in $w return <para>{data($x)}</para> }</section> }</chapter> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase02S[+]
X WindowingUseCase02S: <chapter>{ for tumbling window $w in ./body/* start previous $s when $s[self::h2] end next $e when $e[self::h2] return <section title="{data($s)}">{ for $x in $w return <para>{data($x)}</para> }</section> }</chapter> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase03[+]
X WindowingUseCase03: <doc>{ for tumbling window $w in ./doc/* start $x when $x[self::dt] end $y next $z when $y[self::dd] and $z[self::dt] return <term>{ $w }</term> }</doc> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase03S[+]
X WindowingUseCase03S: <doc>{ for tumbling window $w in ./doc/* start $x when $x[self::dt] end $y next $z when $y[self::dd] and $z[self::dt] return <term>{ $w }</term> }</doc> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase04[+]
X WindowingUseCase04: let $MAX_DIFF := 2 for sliding window $w in ./stream/event start $s_curr at $s_pos previous $s_prev when ($s_curr/@time ne $s_prev/@time) or (empty($s_prev)) only end next $e_next when $e_next/@time - $s_curr/@time gt $MAX_DIFF return avg( $w/@temp ) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase04S[+]
X WindowingUseCase04S: let $MAX_DIFF := 2 for sliding window $w in ./stream/event start $s_curr at $s_pos previous $s_prev when ($s_curr/@time ne $s_prev/@time) or (empty($s_prev)) only end next $e_next when $e_next/@time - $s_curr/@time gt $MAX_DIFF return avg( $w/@temp ) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase05[+]
X WindowingUseCase05: let $SMOOTH_CONST := 0.2 for sliding window $w in ./stream/event start at $s_pos when true() only end at $e_pos when $e_pos - $s_pos eq 2 return round-half-to-even($SMOOTH_CONST * data($w[3]/@temp) + (1 - $SMOOTH_CONST) * ( $SMOOTH_CONST * data($w[2]/@temp) + (1 - $SMOOTH_CONST) * data($w[1]/@temp) ), 2) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase05S[+]
X WindowingUseCase05S: let $SMOOTH_CONST := 0.2 for sliding window $w in ./stream/event start at $s_pos when true() only end at $e_pos when $e_pos - $s_pos eq 2 return round-half-to-even($SMOOTH_CONST * data($w[3]/@temp) + (1 - $SMOOTH_CONST) * ( $SMOOTH_CONST * data($w[2]/@temp) + (1 - $SMOOTH_CONST) * data($w[1]/@temp) ), 2) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase06[+]
X WindowingUseCase06: for sliding window $w in ./stream/event start $s_curr when fn:true() only end next $next when $next/@time > $s_curr/@time + 3 return let $avg := fn:avg($w/@temp) where $avg * 2 lt xs:double($next/@temp) or $avg div 2 gt xs:double($next/@temp) return <alarm>Outlier detected. Event id:{data($next/@time)}</alarm> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase06S[+]
X WindowingUseCase06S: for sliding window $w in ./stream/event start $s_curr when fn:true() only end next $next when $next/@time > $s_curr/@time + 3 return let $avg := fn:avg($w/@temp) where $avg * 2 lt xs:double($next/@temp) or $avg div 2 gt xs:double($next/@temp) return <alarm>Outlier detected. Event id:{data($next/@time)}</alarm> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase07[+]
X WindowingUseCase07: <result>{ for tumbling window $w in ./stream/event start $s when $s/person eq "Anton" and $s/direction eq "in" only end $e next $n when xs:dateTime($n/@time) - xs:dateTime($s/@time) gt xs:dayTimeDuration("PT1H") or ($e/person eq "Barbara" and $e/direction eq "in") or ($e/person eq "Anton" and $e/direction eq "out") where $e/person eq "Barbara" and $e/direction eq "in" return <warning time="{ $e/@time }">Barbara: Anton arrived 1h ago</warning> }</result> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase07S[+]
X WindowingUseCase07S: <result>{ for tumbling window $w in ./stream/event start $s when $s/person eq "Anton" and $s/direction eq "in" only end $e next $n when xs:dateTime($n/@time) - xs:dateTime($s/@time) gt xs:dayTimeDuration("PT1H") or ($e/person eq "Barbara" and $e/direction eq "in") or ($e/person eq "Anton" and $e/direction eq "out") where $e/person eq "Barbara" and $e/direction eq "in" return <warning time="{ $e/@time }">Barbara: Anton arrived 1h ago</warning> }</result> |
no result | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase08[+]
X WindowingUseCase08: <result>{ for sliding window $w in ./stream/event start $s when $s/direction eq "in" only end $e when $s/person eq $e/person and $e/direction eq "out" return <working-time> {$s/person} <time>{ xs:dateTime($e/@time) - xs:dateTime($s/@time)}</time> </working-time> }</result> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase08S[+]
X WindowingUseCase08S: <result>{ for sliding window $w in ./stream/event start $s when $s/direction eq "in" only end $e when $s/person eq $e/person and $e/direction eq "out" return <working-time> {$s/person} <time>{ xs:dateTime($e/@time) - xs:dateTime($s/@time)}</time> </working-time> }</result> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase09[+]
X WindowingUseCase09: <result>{ for sliding window $w in ./stream/event start $s when $s/direction eq "in" only end $e when $s/person eq $e/person and $e/direction eq "out" let $person := $s/person let $workingTime := xs:dateTime($e/@time) - xs:dateTime($s/@time) group by $person order by $person return <working-time> <person>{ $person }</person> <time>{ sum($workingTime) }</time> </working-time> }</result> |
pass | disputed | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase09S[+]
X WindowingUseCase09S: <result>{ for sliding window $w in ./stream/event start $s when $s/direction eq "in" only end $e when $s/person eq $e/person and $e/direction eq "out" let $person := $s/person let $workingTime := xs:dateTime($e/@time) - xs:dateTime($s/@time) group by $person order by $person return <working-time> <person>{ $person }</person> <time>{ sum($workingTime) }</time> </working-time> }</result> |
pass | disputed | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase10[+]
X WindowingUseCase10: <result>{ for tumbling window $w in ./stream/event[direction eq "in"] start $s when fn:true() end next $e when xs:date( xs:dateTime($s/@time) ) ne xs:date( xs:dateTime($e/@time) ) let $date := xs:date(xs:dateTime($s/@time)) where not($w[person eq "Barbara"]) return <alert date="{ $date }">Barbara did not come to work</alert> }</result> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase10S[+]
X WindowingUseCase10S: <result>{ for tumbling window $w in ./stream/event[direction eq "in"] start $s when fn:true() end next $e when xs:date( xs:dateTime($s/@time) ) ne xs:date( xs:dateTime($e/@time) ) let $date := xs:date(xs:dateTime($s/@time)) where not($w[person eq "Barbara"]) return <alert date="{ $date }">Barbara did not come to work</alert> }</result> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase11[+]
X WindowingUseCase11: <results>{ for tumbling window $w in ./stream/event[direction eq "in"] start when true() only end next $x when $x/person eq "Clara" return <result time="{ $x/@time }">{ distinct-values(for $y in $w where (xs:dateTime($y/@time) + xs:dayTimeDuration("PT15M") ) ge xs:dateTime($x/@time) return $y/person) }</result> }</results> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase11S[+]
X WindowingUseCase11S: <results>{ for tumbling window $w in ./stream/event[direction eq "in"] start when true() only end next $x when $x/person eq "Clara" return <result time="{ $x/@time }">{ distinct-values(for $y in $w where (xs:dateTime($y/@time) + xs:dayTimeDuration("PT15M") ) ge xs:dateTime($x/@time) return $y/person) }</result> }</results> |
no result | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase12[+]
X WindowingUseCase12: <result>{ for tumbling window $w in ./stream/event[direction eq "in"] start $x when $x/person = ("Barbara", "Anton") end next $y when xs:dateTime($y/@time) - xs:dateTime($x/@time) gt xs:dayTimeDuration("PT30M") where $w[person eq "Anton"] and $w[person eq "Barbara"] return <alert time="{ xs:dateTime($y/@time) }">Anton and Barbara just arrived</alert> }</result> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase12S[+]
X WindowingUseCase12S: <result>{ for tumbling window $w in ./stream/event[direction eq "in"] start $x when $x/person = ("Barbara", "Anton") end next $y when xs:dateTime($y/@time) - xs:dateTime($x/@time) gt xs:dayTimeDuration("PT30M") where $w[person eq "Anton"] and $w[person eq "Barbara"] return <alert time="{ xs:dateTime($y/@time) }">Anton and Barbara just arrived</alert> }</result> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase13[+]
X WindowingUseCase13: <result>{ for sliding window $w in ./stream/event start $s when true() end next $e when xs:dateTime($e/@time) - xs:dateTime($s/@time) gt xs:dayTimeDuration("PT1H") where count($w[person eq $s/person and direction eq "in"]) ge 3 return <alert time="{ $e/@time }">{fn:data($s/person)} is suspicious</alert> }</result> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase13S[+]
X WindowingUseCase13S: <result>{ for sliding window $w in ./stream/event start $s when true() end next $e when xs:dateTime($e/@time) - xs:dateTime($s/@time) gt xs:dayTimeDuration("PT1H") where count($w[person eq $s/person and direction eq "in"]) ge 3 return <alert time="{ $e/@time }">{fn:data($s/person)} is suspicious</alert> }</result> |
no result | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase14[+]
X WindowingUseCase14: <result>{ for tumbling window $w in ./rss/channel/item start $first when fn:true() end next $lookAhead when $first/author ne $lookAhead/author where count($w) ge 3 return <annoying-author>{ $w[1]/author }</annoying-author> }</result> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase14S[+]
X WindowingUseCase14S: <result>{ for tumbling window $w in ./rss/channel/item start $first when fn:true() end next $lookAhead when $first/author ne $lookAhead/author where count($w) ge 3 return <annoying-author>{ $w[1]/author }</annoying-author> }</result> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase15[+]
X WindowingUseCase15: <result>{ for tumbling window $w in ./rss/channel/item start $s_curr when true() end next $e_next when fn:day-from-dateTime(xs:dateTime($e_next/pubDate)) ne fn:day-from-dateTime(xs:dateTime($s_curr/pubDate)) return <item> <date>{xs:date(xs:dateTime($s_curr/pubDate))}</date> { for $item in $w where fn:contains( xs:string($item/title), 'XQuery') return $item/title } </item> }</result> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase15S[+]
X WindowingUseCase15S: <result>{ for tumbling window $w in ./rss/channel/item start $s_curr when true() end next $e_next when fn:day-from-dateTime(xs:dateTime($e_next/pubDate)) ne fn:day-from-dateTime(xs:dateTime($s_curr/pubDate)) return <item> <date>{xs:date(xs:dateTime($s_curr/pubDate))}</date> { for $item in $w where fn:contains( xs:string($item/title), 'XQuery') return $item/title } </item> }</result> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase16[+]
X WindowingUseCase16: <result>{ for tumbling window $w in ./rss/channel/item start $s_curr when true() end next $e_next when fn:day-from-dateTime(xs:dateTime($e_next/pubDate)) ne fn:day-from-dateTime(xs:dateTime($s_curr/pubDate)) return <item> <date>{xs:date(xs:dateTime($s_curr/pubDate))}</date> { for $a in fn:distinct-values($w/author) return <author name="{$a}"> <titles> { $w[author eq $a]/title } </titles> </author> } </item> }</result> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase16S[+]
X WindowingUseCase16S: <result>{ for tumbling window $w in ./rss/channel/item start $s_curr when true() end next $e_next when fn:day-from-dateTime(xs:dateTime($e_next/pubDate)) ne fn:day-from-dateTime(xs:dateTime($s_curr/pubDate)) return <item> <date>{xs:date(xs:dateTime($s_curr/pubDate))}</date> { for $a in fn:distinct-values($w/author) return <author name="{$a}"> <titles> { $w[author eq $a]/title } </titles> </author> } </item> }</result> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase17[+]
X WindowingUseCase17: <result>{ for sliding window $w in ./sequence/* start $cur previous $prev when day-from-dateTime($cur/@date) ne day-from-dateTime($prev/@date) or empty($prev) end $end next $next when day-from-dateTime(xs:dateTime($end/@date)) ne day-from-dateTime(xs:dateTime($next/@date)) return <mostValuableCustomer endOfDay="{xs:dateTime($cur/@date)}">{ let $companies := for $x in distinct-values($w/@billTo ) return <amount company="{$x}">{sum($w[@billTo eq $x]/@total)}</amount> let $max := max($companies) for $company in $companies where $company eq xs:untypedAtomic($max) return $company }</mostValuableCustomer> }</result> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase17S[+]
X WindowingUseCase17S: <result>{ for sliding window $w in ./sequence/* start $cur previous $prev when day-from-dateTime($cur/@date) ne day-from-dateTime($prev/@date) or empty($prev) end $end next $next when day-from-dateTime(xs:dateTime($end/@date)) ne day-from-dateTime(xs:dateTime($next/@date)) return <mostValuableCustomer endOfDay="{xs:dateTime($cur/@date)}">{ let $companies := for $x in distinct-values($w/@billTo ) return <amount company="{$x}">{sum($w[@billTo eq $x]/@total)}</amount> let $max := max($companies) for $company in $companies where $company eq xs:untypedAtomic($max) return $company }</mostValuableCustomer> }</result> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase18[+]
X WindowingUseCase18: <result>{ for sliding window $w in ./sequence/* start $s when $s[self::OrderRequest] end $e when $e/@orderID eq $s/@orderID and ($e[self::ConfirmationRequest] and $e/@status eq "reject" or $e[self::ShipNotice]) where $e[self::ShipNotice] return <timeToShip orderID="{ $s/@orderID}">{xs:dateTime($e/@date) - xs:dateTime($s/@date) }</timeToShip> }</result> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase18S[+]
X WindowingUseCase18S: <result>{ for sliding window $w in ./sequence/* start $s when $s[self::OrderRequest] end $e when $e/@orderID eq $s/@orderID and ($e[self::ConfirmationRequest] and $e/@status eq "reject" or $e[self::ShipNotice]) where $e[self::ShipNotice] return <timeToShip orderID="{ $s/@orderID}">{xs:dateTime($e/@date) - xs:dateTime($s/@date) }</timeToShip> }</result> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase19[+]
X WindowingUseCase19: <result>{ for sliding window $w in ./sequence/* start previous $wSPrev when $wSPrev[self::OrderRequest] end next $wENext when $wENext/@orderID eq $wSPrev/@orderID and ($wENext[self::ConfirmationRequest] and $wENext/@status eq "reject" or $wENext[self::ShipNotice]) where $wENext[self::ShipNotice] return <bundleWith orderId="{$wSPrev/@orderID}">{ for sliding window $bundle in $w start $bSCur when $bSCur[self::OrderRequest] and $bSCur/@shipTo eq $wSPrev/@shipTo end $bECur next $bENext when $bECur/@orderID eq $bSCur/@orderID and ($bECur[self::ConfirmationRequest] and $bECur/@status eq "reject" or $bECur[self::ShipNotice]) where empty($bENext) return $bSCur }</bundleWith> }</result> |
pass | fail | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowingUseCase19S[+]
X WindowingUseCase19S: <result>{ for sliding window $w in ./sequence/* start previous $wSPrev when $wSPrev[self::OrderRequest] end next $wENext when $wENext/@orderID eq $wSPrev/@orderID and ($wENext[self::ConfirmationRequest] and $wENext/@status eq "reject" or $wENext[self::ShipNotice]) where $wENext[self::ShipNotice] return <bundleWith orderId="{$wSPrev/@orderID}">{ for sliding window $bundle in $w start $bSCur when $bSCur[self::OrderRequest] and $bSCur/@shipTo eq $wSPrev/@shipTo end $bECur next $bENext when $bECur/@orderID eq $bSCur/@orderID and ($bECur[self::ConfirmationRequest] and $bECur/@status eq "reject" or $bECur[self::ShipNotice]) where empty($bENext) return $bSCur }</bundleWith> }</result> |
pass | fail | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr504[+]
X TumblingWindowExpr504: for tumbling window $w in (1, 2, 3, 4) start $s at $ps previous $pps when fn:true() only end $s at $ps previous $pps when $ps - $ps eq 1 return $w |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| SlidingWindowExpr504[+]
X SlidingWindowExpr504: for sliding window $w in (1, 2, 3, 4) start $s at $ps previous $pps when fn:true() only end $s at $ps previous $pps when $ps - $ps eq 1 return $w |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| SlidingWindowExpr505[+]
X SlidingWindowExpr505: for sliding window $w in (1, 2, 3, 4) start at $s when fn:true() end at $e when $s - $e eq 1 return $s |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr505[+]
X TumblingWindowExpr505: for tumbling window $w in (1, 2, 3, 4) start at $s when fn:true() end at $e when $s - $e eq 1 return $s |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| SlidingWindowExpr506[+]
X SlidingWindowExpr506: for sliding window $w in (1, 2, 3, 4, 14, 13, 12, 11) start $s when fn:true() only end $e when $e eq $s + 10 return string-join($w!string(), ' ') |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| SlidingWindowExpr507[+]
X SlidingWindowExpr507: for sliding window $w as xs:integer+ in (1, 2, "london", 3, 4, "paris") start $start when $start instance of xs:integer only end next $beyond when $beyond instance of xs:string return string-join($w!string(), ' ') |
pass | fail | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr507[+]
X TumblingWindowExpr507: for tumbling window $w as xs:integer+ in (1, 2, "london", 3, 4, "paris") start $start when $start instance of xs:integer only end next $beyond when $beyond instance of xs:string return string-join($w!string(), ' ') |
pass | fail | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| SlidingWindowExpr508[+]
X SlidingWindowExpr508: for sliding window $w as xs:integer+ in (1, 2, "london", 3, 4.1, "paris") start $start when $start instance of xs:integer only end next $beyond when $beyond instance of xs:string return string-join($w!string(), ' ') |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr508[+]
X TumblingWindowExpr508: for tumbling window $w as xs:integer+ in (1, 2, "london", 3, 4.1, "paris") start $start when $start instance of xs:integer only end next $beyond when $beyond instance of xs:string return string-join($w!string(), ' ') |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| SlidingWindowExpr509[+]
X SlidingWindowExpr509: avg( for sliding window $w in (1, 2, "london", 3, 4, "paris") start $start when $start instance of xs:integer only end next $beyond when $beyond instance of xs:string return count($w) ) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr509[+]
X TumblingWindowExpr509: avg( for tumbling window $w in (1, 2, "london", 3, 4, "paris") start $start when $start instance of xs:integer only end next $beyond when $beyond instance of xs:string return count($w) ) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr510[+]
X TumblingWindowExpr510: for tumbling window $w in (1 to 10) start $s when true() end $e when true() return <window>{$w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| SlidingWindowExpr510[+]
X SlidingWindowExpr510: for sliding window $w in (1 to 10) start $s when true() end $e when true() return <window>{$w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr511[+]
X TumblingWindowExpr511: for tumbling window $w in (1 to 10) start $s when true() end $e when $e - $s eq 2 return <window>{$w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| SlidingWindowExpr511[+]
X SlidingWindowExpr511: for sliding window $w in (1 to 10) start $s when true() end $e when $e - $s eq 2 return <window>{$w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr512[+]
X TumblingWindowExpr512: for tumbling window $w in (1 to 10) start $s at $x when true() end $e at $y when $y - $x eq 2 return <window>{$w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| SlidingWindowExpr512[+]
X SlidingWindowExpr512: for sliding window $w in (1 to 10) start $s at $x when true() end $e at $y when $y - $x eq 2 return <window>{$w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr513[+]
X TumblingWindowExpr513: for tumbling window $w in (1 to 10) start $s at $x when true() only end $e at $y when $y - $x eq 2 return <window>{$w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| SlidingWindowExpr513[+]
X SlidingWindowExpr513: for sliding window $w in (1 to 10) start $s at $x when true() only end $e at $y when $y - $x eq 2 return <window>{$w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr514[+]
X TumblingWindowExpr514: for tumbling window $w in (1 to 10) start $s when true() only end $e when false() return <window>{$w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| SlidingWindowExpr514[+]
X SlidingWindowExpr514: for sliding window $w in (1 to 10) start $s when true() only end $e when false() return <window>{$w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr515[+]
X TumblingWindowExpr515: for tumbling window $w in (1 to 10) start $s when true() end $e when false() return <window>{$w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| SlidingWindowExpr515[+]
X SlidingWindowExpr515: for sliding window $w in (1 to 10) start $s when true() end $e when false() return <window>{$w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr516[+]
X TumblingWindowExpr516: declare namespace window = "foo:bar"; for tumbling window $window:w in (1 to 10) start $s when true() end $e when false() return <window>{$window:w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr517[+]
X TumblingWindowExpr517: declare namespace window = "foo:bar"; for tumbling window $Q{foo:bar}w in (1 to 10) start $s when true() end $e when false() return <window>{$window:w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| SlidingWindowExpr517[+]
X SlidingWindowExpr517: declare namespace window = "foo:bar"; for sliding window $Q{foo:bar}w in (1 to 10) start $s when true() end $e when false() return <window>{$window:w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr518[+]
X TumblingWindowExpr518: declare namespace w = "foo:bar"; for tumbling window $Q{foo:bar}w in (1 to 10) start $Q{foo:bar}s at $Q{foo:bar}x previous $Q{foo:bar}sp next $Q{foo:bar}sn when true() end $Q{foo:bar}e at $Q{foo:bar}y previous $Q{foo:bar}ep next $Q{foo:bar}en when false() return <window>{ string-join ( for $w:w in ($w:w, $w:s, $w:x, $w:sp, $w:sn, $w:e, $w:y, $w:ep, $w:en) return string($w:w), " " )}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr518a[+]
X TumblingWindowExpr518a: declare namespace w = "foo:bar"; <window>{ for tumbling window $Q{foo:bar}w in (1 to 10) start $Q{foo:bar}s at $Q{foo:bar}x previous $Q{foo:bar}sp next $Q{foo:bar}sn when true() end $Q{foo:bar}e at $Q{foo:bar}y previous $Q{foo:bar}ep next $Q{foo:bar}en when false() return string-join ( for $w:w in ($w:w, $w:s, $w:x, $w:sp, $w:sn, $w:e, $w:y, $w:ep, $w:en) return string($w:w), " " ) }</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| SlidingWindowExpr518[+]
X SlidingWindowExpr518: declare namespace w = "foo:bar"; for sliding window $Q{foo:bar}w in (1 to 10) start $Q{foo:bar}s at $Q{foo:bar}x previous $Q{foo:bar}sp next $Q{foo:bar}sn when true() end $Q{foo:bar}e at $Q{foo:bar}y previous $Q{foo:bar}ep next $Q{foo:bar}en when false() return <window>{ string-join ( for $w:w in ($w:w, $w:s, $w:x, $w:sp, $w:sn, $w:e, $w:y, $w:ep, $w:en) return string($w:w), " " )}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr519[+]
X TumblingWindowExpr519: for tumbling window $w in (1 to 10) start $s when true() end $e when $e - $w eq 2 return <window>{$w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| SlidingWindowExpr519[+]
X SlidingWindowExpr519: for sliding window $w in (1 to 10) start $s when true() end $e when $e - $w eq 2 return <window>{$w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr520[+]
X TumblingWindowExpr520: for tumbling window $w in (1 to 10) start $w when true() end $e when false() return <window>{$w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr521[+]
X TumblingWindowExpr521: for tumbling window $w in (1 to 10) start $s when true() end $w when false() return <window>{$w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr522[+]
X TumblingWindowExpr522: for tumbling window $w in (1 to 10) start $s at $w when true() end $e when false() return <window>{$w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr523[+]
X TumblingWindowExpr523: for tumbling window $w in (1 to 10) start $s when true() end $e at $w when false() return <window>{$w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr524[+]
X TumblingWindowExpr524: for tumbling window $w in (1 to 10) start $s previous $w when true() end $e when false() return <window>{$w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr525[+]
X TumblingWindowExpr525: for tumbling window $w in (1 to 10) start $s next $w when true() end $e when false() return <window>{$w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr526[+]
X TumblingWindowExpr526: for tumbling window $w in (1 to 10) start $s when true() end $e previous $w when false() return <window>{$w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr527[+]
X TumblingWindowExpr527: for tumbling window $w in (1 to 10) start $s when true() end $e next $w when false() return <window>{$w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr528[+]
X TumblingWindowExpr528: for tumbling window $w in (1 to 10) start $s when true() end $s when false() return <window>{$w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr529[+]
X TumblingWindowExpr529: for tumbling window $w in (1 to 10) start $s at $x previous $sp next $sn when true() end $e at $y previous $ep next $en when false() where count($w) eq 10 and $x eq 1 and empty($sp) and $sn eq 2 and $e eq 10 and $y eq 10 and $ep eq 9 and empty($en) return true() |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| SlidingWindowExpr529[+]
X SlidingWindowExpr529: for sliding window $w in (1 to 10) start $s at $x previous $sp next $sn when true() end $e at $y previous $ep next $en when false() where count($w) eq 10 and $x eq 1 and empty($sp) and $sn eq 2 and $e eq 10 and $y eq 10 and $ep eq 9 and empty($en) return true() |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr530[+]
X TumblingWindowExpr530: for tumbling window $w in () start $s at $x previous $sp next $sn when true() end $e at $y previous $ep next $en when false() return ($w, $s, $x, $sp, $sn, $e, $y, $ep, $en) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr531[+]
X TumblingWindowExpr531: for tumbling window $w in (2, 4, 6, 8, 10, 12, 14) start $first when $first mod 3 = 0 return <window>{ $w }</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr531a[+]
X TumblingWindowExpr531a: <o>{ for tumbling window $w in (2, 4, 6, 8, 10, 12, 14) start $first when $first mod 3 = 0 return <window>{ $w }</window> }</o> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr532[+]
X TumblingWindowExpr532: for $w in (1 to 2) for tumbling window $w in (2, 4, 6, 8, 10, 12, 14) start $first when $first mod 3 = 0 return <window>{ $w }</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr533[+]
X TumblingWindowExpr533: for $w at $y in (1 to 2) for tumbling window $w in (2, 4, 6, 8, 10, 12, 14) start $first when $first mod $y = 0 return <window>{ $y }</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr534[+]
X TumblingWindowExpr534: for $x1 in 11 for $x2 in 12 for $x3 in 13 for $x4 in 14 for $x5 in 15 for $x6 in 16 for $x7 in 17 for $x8 in 18 for $x9 in 19 for tumbling window $x1 in (1 to 10) start $x2 at $x3 previous $x4 next $x5 when true() end $x6 at $x7 previous $x8 next $x9 when false() return string-join( for $i in ($x1, $x2, $x3, $x4, $x5, $x6, $x7, $x8, $x9) return string($i), " " ) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| SlidingWindowExpr534[+]
X SlidingWindowExpr534: for $x1 in 11 for $x2 in 12 for $x3 in 13 for $x4 in 14 for $x5 in 15 for $x6 in 16 for $x7 in 17 for $x8 in 18 for $x9 in 19 for sliding window $x1 in (1 to 10) start $x2 at $x3 previous $x4 next $x5 when true() end $x6 at $x7 previous $x8 next $x9 when false() return string-join( for $i in ($x1, $x2, $x3, $x4, $x5, $x6, $x7, $x8, $x9) return string($i), " " ) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr535a[+]
X TumblingWindowExpr535a: for tumbling window $w in (1 to 10) start $s next $sn previous $pn when true() return <window>{$w}</window> |
pass | pass | no result | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr535b[+]
X TumblingWindowExpr535b: for tumbling window $w in (1 to 10) end $e next $en previous $en when true() return <window>{$w}</window> |
pass | pass | no result | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr536[+]
X TumblingWindowExpr536: let $stock := <stock> <closing> <date>2008-01-01</date> <price>105</price> </closing> <closing> <date>2008-01-02</date> <price>101</price> </closing> <closing> <date>2008-01-03</date> <price>102</price> </closing> <closing> <date>2008-01-04</date> <price>103</price> </closing> <closing> <date>2008-01-05</date> <price>102</price> </closing> <closing> <date>2008-01-06</date> <price>104</price> </closing> </stock> for tumbling window $w in $stock//closing start $first next $second when $first/price < $second/price end $last next $beyond when $last/price > $beyond/price return <run-up> <start-date>{fn:data($first/date)}</start-date> <start-price>{fn:data($first/price)}</start-price> <end-date>{fn:data($last/date)}</end-date> <end-price>{fn:data($last/price)}</end-price> </run-up> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr537[+]
X TumblingWindowExpr537: for tumbling window $w in (1 to 10) start $s when true() end $e when $e - $s eq 2 count $r return <window num="{$r}">{$w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr538[+]
X TumblingWindowExpr538: for tumbling window $w in (1 to 10) start $s when true() end $e when $e - $s eq 2 count $r where $r le 2 return <window num="{$r}">{$w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| SlidingWindowExpr538[+]
X SlidingWindowExpr538: for sliding window $w in (1 to 10) start $s when true() end $e when $e - $s eq 2 count $r where $r le 2 return <window num="{$r}">{$w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr539[+]
X TumblingWindowExpr539: for $i in 1 to 3 count $r for tumbling window $w in (1 to 10) start $s when true() end $e when $e - $s eq 2 where $w = $r + 1 return <window num="{$r}">{$w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| SlidingWindowExpr539[+]
X SlidingWindowExpr539: for $i in 1 to 3 count $r for sliding window $w in (1 to 10) start $s when true() end $e when $e - $s eq 2 where $w = $r + 1 return <window num="{$r}">{$w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr540[+]
X TumblingWindowExpr540: for tumbling window $w in (1 to 10) start $s when true() only end $e when $e - $s eq 2 order by $w[2] descending return <window>{$w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| SlidingWindowExpr540[+]
X SlidingWindowExpr540: for sliding window $w in (1 to 10) start $s when true() only end $e when $e - $s eq 2 order by $w[2] descending return <window>{$w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr541[+]
X TumblingWindowExpr541: for tumbling window $w1 in for tumbling window $w2 in (1 to 10) start $s when true() only end $e when $e - $s eq 2 return $w2 start $s when true() end $e when $e - $s eq 2 return <window>{$w2}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr542[+]
X TumblingWindowExpr542: for tumbling window $w1 in for tumbling window $w2 in (1 to 10) start $s when true() only end $e when $e - $s eq 2 return $w2 start $s when true() end $e when $e - $s eq 2 return <window>{$w1}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr544[+]
X TumblingWindowExpr544: for tumbling window $w in (1 to 10) start $s when true() only end $e when $e - $s eq 2 count $r return <window num="{$r}">{ for $i in $w order by $i descending return $i }</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| SlidingWindowExpr544[+]
X SlidingWindowExpr544: for sliding window $w in (1 to 10) start $s when true() only end $e when $e - $s eq 2 count $r return <window num="{$r}">{ for $i in $w order by $i descending return $i }</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr545[+]
X TumblingWindowExpr545: let $s := <stocks> <closing> <symbol>ABC</symbol> <date>2008-01-01</date> <price>105</price> </closing> <closing> <symbol>DEF</symbol> <date>2008-01-01</date> <price>057</price> </closing> <closing> <symbol>ABC</symbol> <date>2008-01-02</date> <price>101</price> </closing> <closing> <symbol>DEF</symbol> <date>2008-01-02</date> <price>054</price> </closing> <closing> <symbol>ABC</symbol> <date>2008-01-03</date> <price>102</price> </closing> <closing> <symbol>DEF</symbol> <date>2008-01-03</date> <price>056</price> </closing> <closing> <symbol>ABC</symbol> <date>2008-01-04</date> <price>103</price> </closing> <closing> <symbol>DEF</symbol> <date>2008-01-04</date> <price>052</price> </closing> <closing> <symbol>ABC</symbol> <date>2008-01-05</date> <price>101</price> </closing> <closing> <symbol>DEF</symbol> <date>2008-01-05</date> <price>055</price> </closing> <closing> <symbol>ABC</symbol> <date>2008-01-06</date> <price>104</price> </closing> <closing> <symbol>DEF</symbol> <date>2008-01-06</date> <price>059</price> </closing> </stocks> for $closings in $s//closing let $symbol := $closings/symbol group by $symbol for tumbling window $w in $closings start $first next $second when $first/price < $second/price end $last next $beyond when $last/price > $beyond/price return <run-up symbol="{$symbol}"> <start-date>{fn:data($first/date)}</start-date> <start-price>{fn:data($first/price)}</start-price> <end-date>{fn:data($last/date)}</end-date> <end-price>{fn:data($last/price)}</end-price> </run-up> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr546[+]
X TumblingWindowExpr546: declare function local:window() { for tumbling window $w in (1 to 10) start $s when true() end $e when $e - $s eq 3 return <window>{$w}</window> }; local:window() |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr547[+]
X TumblingWindowExpr547: for tumbling window $w in (1 to 10) start $s at $x as xs:integer when true() end $e when $e - $s eq 3 return <window>{$w}</window> |
pass | pass | no result | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr549[+]
X TumblingWindowExpr549: for tumbling window $w in (1 to 10) start $s next $sn as xs:integer when true() end $e when $e - $s eq 3 return <window>{$w}</window> |
pass | pass | no result | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr550[+]
X TumblingWindowExpr550: for tumbling window $w in (1 to 3) start when true() end when false() return <window>{$w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| SlidingWindowExpr550[+]
X SlidingWindowExpr550: for sliding window $w in (1 to 3) start when true() end when false() return <window>{$w}</window> |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr551[+]
X TumblingWindowExpr551: for tumbling window $w in (1 to 10) start $s when true() end $e when $e - $s return $w instance of xs:integer |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr552[+]
X TumblingWindowExpr552: declare function local:window($seq) { for tumbling window $w in $seq start $s when true() end $e when $e - $s eq 3 return <window>{ if ($w instance of xs:integer) then $w else $s }</window> }; local:window(1 to 10) |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr553[+]
X TumblingWindowExpr553: declare variable $local:foo as xs:integer* := 1 to 10; declare function local:window() { for tumbling window $w in $local:foo start $s when true() end $e when $e - $s eq 3 return <window>{ if ($w instance of xs:integer) then $w else $s }</window> }; local:window() |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr554[+]
X TumblingWindowExpr554: declare variable $local:foo as xs:integer* := 1 to 5; declare function local:window() { for tumbling window $w1 in $local:foo start $s when true() end $e when $e - $s eq 3 for tumbling window $w2 in $w1 start $s when true() end $e when true() return <window>{ fn:distinct-values($w1[.=$w2]) }</window> }; local:window() |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| TumblingWindowExpr555[+]
X TumblingWindowExpr555: declare variable $local:foo as xs:integer* := 1 to 10; declare function local:window() { for tumbling window $w in $local:foo start $s when false() end $e when false() return <window>{$w}</window> }; local:window() |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |
| WindowExpr500[+]
X WindowExpr500: for window $w in (1 to 10) start $s when true() end $e when false() return <window>{$w}</window> |
pass | pass | no result | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass |