184 lines
10 KiB
Plaintext
184 lines
10 KiB
Plaintext
|
Database: berlintest
|
||
|
|
Restore : No
|
||
|
|
|
||
|
|
|
||
|
|
Operator : realJoinMMRTree
|
||
|
|
Number : 1
|
||
|
|
Signature: stream(tuple(A)) x stream(tuple(B)) x a_i x b_j x int x int -> stream(tuple(A o B))
|
||
|
|
Example : query (strassen feed extend[B : bbox(.GeoData)] strassen feed extend[B : bbox(.GeoData)] {a} realJoinMMRTree[B,B_a,10,20] count) = ((strassen feed extend[B : bbox(.GeoData)]) (strassen feed extend[B : bbox(.GeoData)] {b}) spatialjoin0[B,B_b] count)
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
|
||
|
|
Operator : realJoinMMRTree
|
||
|
|
Number : 2
|
||
|
|
Signature: stream(tuple(A)) x stream(tuple(B)) x a_i x b_j x int x int x int -> stream(tuple(A o B))
|
||
|
|
Example : query (strassen feed extend[B : bbox(.GeoData)] strassen feed extend[B : bbox(.GeoData)] {a} realJoinMMRTree[B,B_a,10,20, 512] count) = ((strassen feed extend[B : bbox(.GeoData)]) (strassen feed extend[B : bbox(.GeoData)] {b}) spatialjoin0[B,B_b] count)
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
Operator : realJoinMMRTree
|
||
|
|
Number : 3
|
||
|
|
Signature: stream(tuple(A)) x stream(tuple(B)) x a_i x b_j x int x int x int -> stream(tuple(A o B))
|
||
|
|
Example : query (units(train7) namedtransformstream[U1] extend[B1 : bbox(.U1)] units(train7) namedtransformstream[U2] extend[B2 : bbox(.U2)] realJoinMMRTree[B1,B2,4,8, 512] count) = (units(train7) namedtransformstream[U1] extend[B1 : bbox(.U1)] units(train7) namedtransformstream[U2] extend[B2 : bbox(.U2)] spatialjoin0[B1,B2] count)
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
Operator : realJoinMMRTree
|
||
|
|
Number : 4
|
||
|
|
Signature: stream(tuple(A)) x stream(tuple(B)) x a_i x b_j x int x int x int -> stream(tuple(A o B))
|
||
|
|
Example : query (units(train7) namedtransformstream[U1] units(train7) namedtransformstream[U2] realJoinMMRTree[U1,U2,4,8, 512] count) = (units(train7) namedtransformstream[U1] extend[B1 : bbox(.U1)] units(train7) namedtransformstream[U2] extend[B2 : bbox(.U2)] spatialjoin0[B1,B2] count)
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
|
||
|
|
Operator : realJoinMMRTree
|
||
|
|
Number : 5
|
||
|
|
Signature: stream(tuple(A)) x stream(tuple(B)) x a_i x b_j x int x int x int -> stream(tuple(A o B))
|
||
|
|
Example : query (strassen feed strassen feed {a} realJoinMMRTree[GeoData,GeoData_a,10,20, 512] count) = (strassen feed strassen feed {b} spatialjoin0[GeoData,GeoData_b] count)
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
Operator : realJoinMMRTreeVec
|
||
|
|
Number : 1
|
||
|
|
Signature: stream(tuple(A)) x stream(tuple(B)) x a_i x b_j x int x int -> stream(tuple(A o B))
|
||
|
|
Example : query (strassen feed extend[B : bbox(.GeoData)] strassen feed extend[B : bbox(.GeoData)] {a} realJoinMMRTreeVec[B,B_a,10,20] count) = ((strassen feed extend[B : bbox(.GeoData)]) (strassen feed extend[B : bbox(.GeoData)] {b}) spatialjoin0[B,B_b] count)
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
|
||
|
|
Operator : realJoinMMRTreeVec
|
||
|
|
Number : 2
|
||
|
|
Signature: stream(tuple(A)) x stream(tuple(B)) x a_i x b_j x int x int x int -> stream(tuple(A o B))
|
||
|
|
Example : query (strassen feed extend[B : bbox(.GeoData)] strassen feed extend[B : bbox(.GeoData)] {a} realJoinMMRTreeVec[B,B_a,10,20, 512] count) = ((strassen feed extend[B : bbox(.GeoData)]) (strassen feed extend[B : bbox(.GeoData)] {b}) spatialjoin0[B,B_b] count)
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
Operator : realJoinMMRTreeVec
|
||
|
|
Number : 3
|
||
|
|
Signature: stream(tuple(A)) x stream(tuple(B)) x a_i x b_j x int x int x int -> stream(tuple(A o B))
|
||
|
|
Example : query (units(train7) namedtransformstream[U1] extend[B1 : bbox(.U1)] units(train7) namedtransformstream[U2] extend[B2 : bbox(.U2)] realJoinMMRTreeVec[B1,B2,4,8, 512] count) = (units(train7) namedtransformstream[U1] extend[B1 : bbox(.U1)] units(train7) namedtransformstream[U2] extend[B2 : bbox(.U2)] spatialjoin0[B1,B2] count)
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
Operator : realJoinMMRTreeVec
|
||
|
|
Number : 4
|
||
|
|
Signature: stream(tuple(A)) x stream(tuple(B)) x a_i x b_j x int x int x int -> stream(tuple(A o B))
|
||
|
|
Example : query (units(train7) namedtransformstream[U1] units(train7) namedtransformstream[U2] realJoinMMRTreeVec[U1,U2,4,8, 512] count) = (units(train7) namedtransformstream[U1] extend[B1 : bbox(.U1)] units(train7) namedtransformstream[U2] extend[B2 : bbox(.U2)] spatialjoin0[B1,B2] count)
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
Operator : realJoinMMRTreeVec
|
||
|
|
Number : 5
|
||
|
|
Signature: stream(tuple(A)) x stream(tuple(B)) x a_i x b_j x int x int x int -> stream(tuple(A o B))
|
||
|
|
Example : query (strassen feed strassen feed {a} realJoinMMRTreeVec[GeoData,GeoData_a,10,20, 512] count) = (strassen feed strassen feed {b} spatialjoin0[GeoData,GeoData_b] count)
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
Operator : insertMMRTree
|
||
|
|
Number : 1
|
||
|
|
Signature: stream(rectangle) x int x int -> stream(rectangle)
|
||
|
|
Example : query strassen feed extend[B : bbox(.GeoData)] projecttransformstream[B] insertMMRTree[4,8] count = strassen count
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
|
||
|
|
Operator : statMMRTree
|
||
|
|
Number : 1
|
||
|
|
Signature: stream(tuple) x attrname int x int -> text
|
||
|
|
Example : query strassen feed extend[B : bbox(.GeoData)] statMMRTree[B, 4,8] contains "height"
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
Operator : statMMRTree
|
||
|
|
Number : 2
|
||
|
|
Signature: stream(tuple(A)) x a_i -> text
|
||
|
|
Example : query (units(train7) namedtransformstream [U] extend[B : bbox(.U)] statMMRTree[B,4,8]) contains 'height'
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
|
||
|
|
Operator : joinMMRTreeIt
|
||
|
|
Number : 1
|
||
|
|
Signature: stream(tuple(A)) x stream(tuple(B)) x a_i x b_j x int x int -> stream(tuple(A o B))
|
||
|
|
Example : query (strassen feed extend[B : bbox(.GeoData)] strassen feed extend[B : bbox(.GeoData)] {a} joinMMRTreeIt[B,B_a,10,20] count) = ((strassen feed extend[B : bbox(.GeoData)]) (strassen feed extend[B : bbox(.GeoData)] {b}) spatialjoin0[B,B_b] count)
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
|
||
|
|
Operator : joinMMRTreeIt
|
||
|
|
Number : 2
|
||
|
|
Signature: stream(tuple(A)) x stream(tuple(B)) x a_i x b_j x int x int x int -> stream(tuple(A o B))
|
||
|
|
Example : query (strassen feed extend[B : bbox(.GeoData)] strassen feed extend[B : bbox(.GeoData)] {a} joinMMRTreeIt[B,B_a,10,20, 512] count) = ((strassen feed extend[B : bbox(.GeoData)]) (strassen feed extend[B : bbox(.GeoData)] {b}) spatialjoin0[B,B_b] count)
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
Operator : joinMMRTreeIt
|
||
|
|
Number : 3
|
||
|
|
Signature: stream(tuple(A)) x stream(tuple(B)) x a_i x b_j x int x int x int -> stream(tuple(A o B))
|
||
|
|
Example : query (units(train7) namedtransformstream[U1] extend[B1 : bbox(.U1)] units(train7) namedtransformstream[U2] extend[B2 : bbox(.U2)] joinMMRTreeIt[B1,B2,4,8, 512] count) = (units(train7) namedtransformstream[U1] extend[B1 : bbox(.U1)] units(train7) namedtransformstream[U2] extend[B2 : bbox(.U2)] spatialjoin0[B1,B2] count)
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
|
||
|
|
Operator : joinMMRTreeIt
|
||
|
|
Number : 4
|
||
|
|
Signature: stream(tuple(A)) x stream(tuple(B)) x a_i x b_j x int x int x int -> stream(tuple(A o B))
|
||
|
|
Example : query (strassen feed strassen feed {a} joinMMRTreeIt[GeoData,GeoData_a,10,20, 512] count) = (strassen feed strassen feed {b} spatialjoin0[GeoData,GeoData_b] count)
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
Operator : joinMMRTreeIt
|
||
|
|
Number : 5
|
||
|
|
Signature: stream(tuple(A)) x stream(tuple(B)) x a_i x b_j x int x int x int -> stream(tuple(A o B))
|
||
|
|
Example : query (units(train7) namedtransformstream[U1] units(train7) namedtransformstream[U2] joinMMRTreeIt[U1,U2,4,8, 512] count) = (units(train7) namedtransformstream[U1] extend[B1 : bbox(.U1)] units(train7) namedtransformstream[U2] extend[B2: bbox(.U2)] spatialjoin0[B1,B2] count)
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
Operator : joinMMRTreeItVec
|
||
|
|
Number : 1
|
||
|
|
Signature: stream(tuple(A)) x stream(tuple(B)) x a_i x b_j x int x int -> stream(tuple(A o B))
|
||
|
|
Example : query (strassen feed extend[B : bbox(.GeoData)] strassen feed extend[B : bbox(.GeoData)] {a} joinMMRTreeItVec[B,B_a,10,20] count) = ((strassen feed extend[B : bbox(.GeoData)]) (strassen feed extend[B : bbox(.GeoData)] {b}) spatialjoin0[B,B_b] count)
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
|
||
|
|
Operator : joinMMRTreeItVec
|
||
|
|
Number : 2
|
||
|
|
Signature: stream(tuple(A)) x stream(tuple(B)) x a_i x b_j x int x int x int -> stream(tuple(A o B))
|
||
|
|
Example : query (strassen feed extend[B : bbox(.GeoData)] strassen feed extend[B : bbox(.GeoData)] {a} joinMMRTreeItVec[B,B_a,10,20, 512] count) = ((strassen feed extend[B : bbox(.GeoData)]) (strassen feed extend[B : bbox(.GeoData)] {b}) spatialjoin0[B,B_b] count)
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
Operator : joinMMRTreeItVec
|
||
|
|
Number : 3
|
||
|
|
Signature: stream(tuple(A)) x stream(tuple(B)) x a_i x b_j x int x int x int -> stream(tuple(A o B))
|
||
|
|
Example : query (units(train7) namedtransformstream[U1] extend[B1 : bbox(.U1)] units(train7) namedtransformstream[U2] extend[B2 : bbox(.U2)] joinMMRTreeItVec[B1,B2,4,8, 512] count) = (units(train7) namedtransformstream[U1] extend[B1 : bbox(.U1)] units(train7) namedtransformstream[U2] extend[B2 : bbox(.U2)] spatialjoin0[B1,B2] count)
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
Operator : joinMMRTreeItVec
|
||
|
|
Number : 4
|
||
|
|
Signature: stream(tuple(A)) x stream(tuple(B)) x a_i x b_j x int x int x int -> stream(tuple(A o B))
|
||
|
|
Example : query (strassen feed strassen feed {a} joinMMRTreeItVec[GeoData,GeoData_a,10,20, 512] count) = (strassen feed strassen feed {b} spatialjoin0[GeoData,GeoData_b] count)
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
Operator : joinMMRTreeItVec
|
||
|
|
Number : 5
|
||
|
|
Signature: stream(tuple(A)) x stream(tuple(B)) x a_i x b_j x int x int x int -> stream(tuple(A o B))
|
||
|
|
Example : query (units(train7) namedtransformstream[U1] units(train7) namedtransformstream[U2] joinMMRTreeItVec[U1,U2,4,8, 512] count) = (units(train7) namedtransformstream[U1] extend[B1 : bbox(.U1)] units(train7) namedtransformstream[U2] extend[B2 : bbox(.U2)] spatialjoin0[B1,B2] count)
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
|
||
|
|
Operator : itSpatialJoin
|
||
|
|
Number : 1
|
||
|
|
Signature: stream(tuple(A)) x stream(tuple(B)) x a_i x b_j x int x int x int -> stream(tuple(A o B))
|
||
|
|
Example : query (units(train7) namedtransformstream[U1] units(train7) namedtransformstream[U2] itSpatialJoin[U1,U2,4,8, 512] count) = (units(train7) namedtransformstream[U1] extend[B1 : bbox(.U1)] units(train7) namedtransformstream[U2] extend[B2 : bbox(.U2)] spatialjoin0[B1,B2] count)
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
Operator : itSpatialJoinR
|
||
|
|
Number : 1
|
||
|
|
Signature: stream(tuple(A)) x stream(tuple(B)) x a_i x b_j x int x int x int -> stream(tuple(A o B))
|
||
|
|
Example : query (units(train7) namedtransformstream[U1] units(train7) namedtransformstream[U2] itSpatialJoinR[U1,U2,4,8, 512] count) = (units(train7) namedtransformstream[U1] extend[B1 : bbox(.U1)] units(train7) namedtransformstream[U2] extend[B2 : bbox(.U2)] spatialjoin0[B1,B2] count)
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
Operator : simJoin
|
||
|
|
Number : 1
|
||
|
|
Signature : stream(tuple(A)) x stream(tuple(B)) x a_i x b_j x real [ x int x int] -> stream(tuple(A o B))
|
||
|
|
Example : query ten feed ten feed {a} simJoin [ No, No_a, 1.5] count
|
||
|
|
Result : 28
|
||
|
|
|
||
|
|
|
||
|
|
Operator : simjoinfun
|
||
|
|
Number : 1
|
||
|
|
Signature : stream(tuple(A)) x stream(tuple(B)) x a_i x b_j x real x (t_i x t_i -> real) [ x int x int] -> stream(tuple(A o B))
|
||
|
|
Example : query ten feed ten feed {a} simjoinfun [ No, No_a, 1.5, fun(a:int, b:int) 1.0*(a-b)] count
|
||
|
|
Result : 28
|
||
|
|
|