414 lines
9.7 KiB
Plaintext
414 lines
9.7 KiB
Plaintext
Database: berlintest
|
|
Restore: NO
|
|
|
|
Operator : always
|
|
Number : 1
|
|
Signature: mbool -> bool
|
|
Example : query always ( train7 inside mrain2 )
|
|
Result : FALSE
|
|
|
|
|
|
Operator : at
|
|
Number : 1
|
|
Signature: mstring x string -> mstring
|
|
Example : query train7upsights at "Zitadelle";
|
|
Result : file
|
|
|
|
|
|
Operator : at
|
|
Number : 2
|
|
Signature: mreal x real -> mreal
|
|
Example : query (distance(train7,mehringdamm)) at 3000.0
|
|
Result : file
|
|
|
|
|
|
Operator : at
|
|
Number : 3
|
|
Signature: mint x rint -> mint
|
|
Example : query noAtCenter at [const rint value((1 2 TRUE TRUE))];
|
|
Result : file
|
|
|
|
|
|
Operator : at
|
|
Number : 4
|
|
Signature: mbool x rbool -> mbool
|
|
Example : query (train7 inside train7sections) at [const rbool value((TRUE TRUE TRUE TRUE))];
|
|
Result : file
|
|
|
|
|
|
Operator : at
|
|
Number : 5
|
|
Signature: mstring x rstring -> mstring
|
|
Example : query train7upsights at [const rstring value(("Rathaus Charlottenburg" "Rathaus Spandau" TRUE TRUE))];
|
|
Result : file
|
|
|
|
|
|
Operator : at
|
|
Number : 6
|
|
Signature: mreal x rreal -> mreal
|
|
Example : query (distance(train7,mehringdamm)) at ([const rreal value((3000.0 3050.0 TRUE TRUE))]);
|
|
Result : file
|
|
|
|
|
|
Operator : at
|
|
Number : 7
|
|
Signature: mpoint x points -> mpoint
|
|
Example : query train7 at train7stations
|
|
Result : file
|
|
|
|
|
|
Operator : at
|
|
Number : 8
|
|
Signature: mpoint x line -> mpoint
|
|
Example : query train7 at train7sections
|
|
Result : file
|
|
|
|
|
|
Operator : atinstant
|
|
Number : 1
|
|
Signature: mstring x instant -> istring
|
|
Example : query val(train7upsights atinstant six30)
|
|
Result : "Hebbeltheater"
|
|
|
|
|
|
Operator : atmax
|
|
Number : 1
|
|
Signature: mint -> mint
|
|
Example : query atmax ( noAtCenter )
|
|
Result : file
|
|
|
|
|
|
Operator : atmax
|
|
Number : 2
|
|
Signature: mbool -> mbool
|
|
Example : query atmax(train7 inside train7stations)
|
|
Result : file
|
|
|
|
Operator : atmax
|
|
Number : 3
|
|
Signature: mstring -> mstring
|
|
Example : query atmax(train7upsights)
|
|
Result : file
|
|
|
|
|
|
Operator : atmax
|
|
Number : 4
|
|
Signature: mreal -> mreal
|
|
Example : query atmax ( distance(train7, mehringdamm) )
|
|
Result : file
|
|
|
|
|
|
Operator : atmin
|
|
Number : 1
|
|
Signature: mint -> mint
|
|
Example : query atmin ( noAtCenter )
|
|
Result : file
|
|
|
|
|
|
Operator : atmin
|
|
Number : 2
|
|
Signature: mbool -> mbool
|
|
Example : query atmin(train7 inside train7stations)
|
|
Result : file
|
|
|
|
|
|
Operator : atmin
|
|
Number : 3
|
|
Signature: mstring -> mstring
|
|
Example : query atmin(train7upsights)
|
|
Result : file
|
|
|
|
|
|
Operator : atmin
|
|
Number : 4
|
|
Signature: mreal -> mreal
|
|
Example : query atmin ( distance(train7, mehringdamm) )
|
|
Result : file
|
|
|
|
|
|
Operator : atperiods
|
|
Number : 1
|
|
Signature: mstring x periods -> mstring
|
|
Example : query train7upsights atperiods (deftime(train7up at thecenter))
|
|
Result : file
|
|
|
|
|
|
Operator : atperiods
|
|
Number : 2
|
|
Signature: mregion x periods -> mregion
|
|
Example : query mrain2 atperiods [const periods value(("2003-11-20-06:32" "2003-11-20-06:33" TRUE TRUE))];
|
|
Result : file
|
|
|
|
Operator : concatS
|
|
Number : 1
|
|
Signature: stream(mpoint) -> mpoint
|
|
Example : query train6 = train6 feed concatS;
|
|
Result : ( mbool ( ( ("2003-11-20-06:06" "2003-11-20-06:45:40" TRUE FALSE) TRUE)))
|
|
|
|
|
|
|
|
Operator : deftime
|
|
Number : 1
|
|
Signature: mstring -> periods
|
|
Example : query deftime(train7upsights);
|
|
Result : (periods(("2003-11-20-06:06" "2003-11-20-07:02" TRUE FALSE)))
|
|
|
|
|
|
Operator : derivable_new
|
|
Number : 1
|
|
Signature: mreal -> mbool
|
|
Example : query derivable_new([const mreal value((("2005-10-10" "2005-10-20" TRUE TRUE)(2.0 3.0 4.0 FALSE)))]);
|
|
Result : (mbool((("2005-10-10" "2005-10-20" TRUE TRUE) TRUE)))
|
|
|
|
|
|
Operator : derivative_new
|
|
Number : 1
|
|
Signature: mreal -> mreal
|
|
Example : query derivative_new([const mreal value((("2005-10-10" "2005-10-20" TRUE TRUE)(2.0 3.0 4.0 FALSE)))])
|
|
Result : (mreal((("2005-10-10" "2005-10-20" TRUE TRUE)(0.0 4.0 3.0 FALSE))))
|
|
|
|
|
|
Operator : final
|
|
Number : 1
|
|
Signature: mstring -> istring
|
|
Example : query val(final([const mstring value ((("2003-11-20" "2003-11-21" TRUE TRUE)"Zitadelle"))]));
|
|
Result : "Zitadelle"
|
|
|
|
|
|
Operator : initial
|
|
Number : 1
|
|
Signature: mstring -> istring
|
|
Example : query val(initial(train7downsights))
|
|
Result : "Rathaus Spandau"
|
|
|
|
Operator : inst
|
|
Number : 1
|
|
Signature: istring -> instant
|
|
Example : query inst(initial(train7upsights))
|
|
Result : (instant "2003-11-20-06:06")
|
|
|
|
|
|
Operator : locations
|
|
Number : 1
|
|
Signature: mpoint -> points
|
|
Example : query locations( train7 at mehringdamm )
|
|
Result : (points((9396.0 9871.0)))
|
|
|
|
|
|
Operator : direction
|
|
Number : 1
|
|
Signature: mpoint [ x geoid [ x real ] ] -> mreal
|
|
Example : query direction([const mpoint value((("2003-10-10" "2003-10-20" TRUE TRUE)(2.0 2.0 3.0 3.0)))])
|
|
Result : (mreal((("2003-10-10" "2003-10-20" TRUE TRUE)(0.0 0.0 45.0 FALSE))))
|
|
Tolerance: 0.001
|
|
|
|
|
|
Operator : heading
|
|
Number : 1
|
|
Signature: mpoint [ x geoid [ x real ] ] -> mreal
|
|
Example : query heading([const mpoint value((("2003-10-10" "2003-10-20" TRUE TRUE)(2.0 2.0 3.0 3.0)))])
|
|
Result : (mreal((("2003-10-10" "2003-10-20" TRUE TRUE)(0.0 0.0 45.0 FALSE))))
|
|
Tolerance: 0.001
|
|
|
|
|
|
Operator : never
|
|
Number : 1
|
|
Signature: mbool -> bool
|
|
Example : query never(train7 inside mrain3)
|
|
Result : TRUE
|
|
|
|
|
|
Operator : passes
|
|
Number : 1
|
|
Signature: mstring x string -> bool
|
|
Example : query train7upsights passes "Deutsche Oper Berlin"
|
|
Result : TRUE
|
|
|
|
Operator : passes
|
|
Number : 2
|
|
Signature: mreal x real -> bool
|
|
Example : query distance(train7,mehringdamm) passes 3000.0
|
|
Result : TRUE
|
|
|
|
|
|
Operator : passes
|
|
Number : 3
|
|
Signature: mregion x point -> bool
|
|
Example : query mrain2 passes mehringdamm
|
|
Result : TRUE
|
|
|
|
|
|
Operator : passes
|
|
Number : 4
|
|
Signature: mregion x points -> bool
|
|
Example : query mrain2 passes train7stations
|
|
Result : TRUE
|
|
|
|
|
|
Operator : passes
|
|
Number : 5
|
|
Signature: mpoint x points -> bool
|
|
Example : query train7 passes train7stations
|
|
Result : TRUE
|
|
|
|
|
|
Operator : passes
|
|
Number : 6
|
|
Signature: mpoint x line -> bool
|
|
Example : query train7 passes trajectory(train7)
|
|
Result : TRUE
|
|
|
|
|
|
Operator : present
|
|
Number : 1
|
|
Signature: mstring x instant -> bool
|
|
Example : query train7upsights present six30
|
|
Result : TRUE
|
|
|
|
|
|
Operator : present
|
|
Number : 2
|
|
Signature: mstring x periods -> bool
|
|
Example : query train7upsights present [const periods value(("2003-11-20-06:30" "2003-11-20-06:35" TRUE TRUE))]
|
|
Result : TRUE
|
|
|
|
|
|
Operator : rangevalues
|
|
Number : 1
|
|
Signature: mint -> rint
|
|
Example : query rangevalues(noAtCenter)
|
|
Result : (rint((0 2 TRUE TRUE)))
|
|
|
|
|
|
Operator : rangevalues
|
|
Number : 2
|
|
Signature: mbool -> rbool
|
|
Example : query rangevalues(train7 inside train7sections)
|
|
Result : (rbool((FALSE TRUE TRUE TRUE)))
|
|
|
|
|
|
Operator : rangevalues
|
|
Number : 3
|
|
Signature: mstring -> rstring
|
|
Example : query rangevalues(train7upsights)
|
|
Result : file
|
|
|
|
|
|
Operator : rangevalues
|
|
Number : 4
|
|
Signature: mreal -> rreal
|
|
Example : query rangevalues(distance(train7,mehringdamm))
|
|
Result : (platform (linux (rreal((0.0 13680.865506246306 TRUE TRUE)))) (linux64 bug) (win32 (rreal((0.0 13680.865506246306 TRUE TRUE))))(mac_osx bug))
|
|
Remark : On linux 64 bit this query computes a result with 7 units. On mac_osx also got a result with 7 units.
|
|
|
|
|
|
Operator : setunitofdistance
|
|
Number : 1
|
|
Signature: real -> real
|
|
Example : query setunitofdistance(1000.0)
|
|
Result : 1000.0
|
|
|
|
|
|
Operator : setunitoftime
|
|
Number : 1
|
|
Signature: real -> real
|
|
Example : query setunitoftime(0.001)
|
|
Result : 0.001
|
|
|
|
|
|
Operator : sometimes
|
|
Number : 1
|
|
Signature: mbool -> bool
|
|
Example : query sometimes(train7 inside mrain2)
|
|
Result : TRUE
|
|
|
|
|
|
Operator : speed_new
|
|
Number : 1
|
|
Signature: mpoint [x geoid] -> mreal
|
|
Example : query val(initial(speed_new(train7)))
|
|
Result : 23.04673727597871
|
|
|
|
|
|
Operator : val
|
|
Number : 1
|
|
Signature: iint -> int
|
|
Example : query val(noAtCenter atinstant six30)
|
|
Result : 1
|
|
|
|
|
|
Operator : velocity_new
|
|
Number : 1
|
|
Signature: mpoint -> mpoint
|
|
Example : query velocity_new(train7 at thecenter)
|
|
Result : file
|
|
Tolerance: %0.0001
|
|
|
|
|
|
Operator : everNearerThan
|
|
Number : 1
|
|
Signature: mpoint x mpoint x real -> bool
|
|
Example : query everNearerThan(train6, train7, 3127.3)
|
|
Result : TRUE
|
|
|
|
Operator : everNearerThan
|
|
Number : 2
|
|
Signature: mpoint x mpoint x real -> bool
|
|
Example : query everNearerThan(train6, train7, 3127.2)
|
|
Result : FALSE
|
|
|
|
Operator : everNearerThan
|
|
Number : 3
|
|
Signature: mpoint x point x real -> bool
|
|
Example : query everNearerThan(train6, mehringdamm, 0.0001)
|
|
Result : TRUE
|
|
|
|
Operator : everNearerThan
|
|
Number : 4
|
|
Signature: point x mpoint x real -> bool
|
|
Example : query everNearerThan(train5, mehringdamm, 0.0001)
|
|
Result : FALSE
|
|
|
|
Operator : concatS2
|
|
Number : 1
|
|
Signature: stream(mpoint) x int -> mpoint
|
|
Example : query train6 = (train6 feed concatS2[10])
|
|
Result : ( mbool ( ( ("2003-11-20-06:06" "2003-11-20-06:45:40" TRUE FALSE) TRUE)))
|
|
|
|
Operator : inside
|
|
Number : 1
|
|
Signature : mpoint x region -> mbool
|
|
Example : query Trains feed filter[sometimes(.Trip inside zoogarten)] count
|
|
Result : 80
|
|
|
|
Operator : berlin2wgs
|
|
Number : 1
|
|
Signature: T -> T, where T in {ipoint, upoint, mpoint}
|
|
Example : query units(berlin2wgs(Trains feed extract[Trip])) count
|
|
Result : 113
|
|
|
|
Operator : splitAtGaps
|
|
Number : 1
|
|
Signature: mT (x duration) -> stream(mT), where T in {bool, int, real, string, label(s), place(s), point, region}
|
|
Example : query splitAtGaps(train1first train1second concat) count
|
|
Result : 2
|
|
|
|
Operator : splitAtSpeed
|
|
Number : 1
|
|
Signature: mpoint x real (x geoid) -> stream(mpoint)
|
|
Example : query splitAtSpeed(train1first, 0.1) count
|
|
Result : 23
|
|
|
|
Operator : splitAtLength
|
|
Number : 1
|
|
Signature: mpoint x real (x geoid) -> stream(mpoint)
|
|
Example : query splitAtLength(train1first, 500.0) count
|
|
Result : 7
|
|
|
|
Operator : cyclicbulkload
|
|
Number : 1
|
|
Signature: "((stream (tuple([a1:d1, ..., {aj:mpoint, aj:upoint}, ..., an:dn, id:tid]))) x rect x int int x aj) -> rtree3"
|
|
Example : query UnitTrains feed sortby[UTrip asc] addid cyclicbulkload[ rectangle2(-4000.0, 26000.0, 1200.0, 22000.0), 4096, 300000, UTrip] windowintersectsS[bbox(train7)] count
|
|
Result : 8584
|
|
|