Files
secondo/Algebras/MMRTree/MMRTree.examples
2026-01-23 17:03:45 +08:00

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