237 lines
7.5 KiB
Plaintext
237 lines
7.5 KiB
Plaintext
Database: berlintest
|
|
Restore : No
|
|
|
|
Operator : =
|
|
Number : 1
|
|
Signature: pbbox x pbbox -> bool
|
|
Example : query [const pbbox value (12.0 23.3 100.987 5245.978)] = [const pbbox value (12.0 23.3 100.987 5245.978)]
|
|
Result : (bool TRUE)
|
|
|
|
Operator : =
|
|
Number : 2
|
|
Signature: pinteral x pinterval -> bool
|
|
Example : query [const pinterval value ("2001-1-1" "2001-2-2" TRUE TRUE)] = [const pinterval value ("2001-1-1" "2001-2-2" TRUE FALSE)]
|
|
Result : (bool FALSE)
|
|
|
|
Operator : atinstant
|
|
Number : 1
|
|
Signature: pmpoint x instant -> point
|
|
Example : query [const pmpoint value ("2007-01-30-18:00" ( linear (( TRUE FALSE ( 0 7000000 )) ( 13506.0 11159.0 ) ( 13336.0 10785.0 )))) ] atinstant [const instant value "2007-01-30-18:56"]
|
|
Result : (point (13424.4 10979.48))
|
|
|
|
Operator : atinstant
|
|
Number : 2
|
|
Signature: pmbool x instant -> bool
|
|
Example : query [const pmbool value ("2007-01-30-18:00" ( linear (( TRUE FALSE ( 0 7000000 )) TRUE ))) ] atinstant [const instant value "2007-01-30-18:56"]
|
|
Result : (bool TRUE)
|
|
|
|
Operator : atinstant
|
|
Number : 3
|
|
Signature: pmint9m x instant -> int9m
|
|
Example : query [const pmint9m value ("2007-01-30-18:00" ( linear (( TRUE FALSE ( 0 7000000 )) 255 ))) ] atinstant [const instant value "2007-01-30-18:56"]
|
|
Result : (int9m (FALSE TRUE TRUE TRUE TRUE TRUE TRUE TRUE TRUE))
|
|
|
|
Operator : atinstant
|
|
Number : 4
|
|
Signature: pmpoints x instant -> points
|
|
Example : query [const pmpoints value ("2007-01-30-18:00" ( linear (( TRUE FALSE ( 0 7000000 ))((1 0))((6 7))))) ] atinstant [const instant value "2007-01-30-18:56"]
|
|
Result : bug
|
|
Remark : unknown
|
|
|
|
|
|
Operator : atinstant
|
|
Number : 5
|
|
Signature: pmreal x instant -> real
|
|
Example : query [const pmreal value ("2007-01-30-18:00" ( linear (( TRUE FALSE ( 0 7000000 ))((1 0))((6 7))))) ] atinstant [const instant value "2007-01-30-18:56"]
|
|
Result : bug
|
|
Remark : have to be checked
|
|
|
|
|
|
Operator : breakpoints
|
|
Number : 1
|
|
Signature: pmpoint | pmpoints -> points
|
|
Example : query breakpoints([const pmpoint value ("2007-01-30-18:00" ( linear (( TRUE FALSE ( 0 7000000)) ( 13506.0 11159.0 ) ( 13336.0 10785.0 )))) ])
|
|
Result : (points ())
|
|
|
|
|
|
Operator : contains
|
|
Number : 1
|
|
Signature: pbbox x pbbox -> bool
|
|
Example : query [const pbbox value (12.0 23.3 100.987 5245.978)] contains [const pbbox value (13.0 24.3 100.0 1000.0)]
|
|
Result : (bool TRUE)
|
|
|
|
|
|
Operator : createpmpoint
|
|
Number : 1
|
|
Signature: mpoint -> pmpoint
|
|
Example : query createpmpoint(train7)
|
|
Result : file
|
|
|
|
|
|
Operator : distance
|
|
Number : 1
|
|
Signature: pmpoint x point -> pmreal
|
|
Example : query distance(createpmpoint(train7),[const point value (0.0 0.0)])
|
|
Result : file
|
|
Tolerance: 0.05
|
|
|
|
|
|
Operator : end
|
|
Number : 1
|
|
Signature: pinterval -> instant
|
|
Example : query end([const pinterval value ( "2007-01-30" "2007-01-31" TRUE TRUE)])
|
|
Result : (instant "2007-01-31")
|
|
|
|
|
|
Operator : expand
|
|
Number : 1
|
|
Signature: pmpoint -> mpoint
|
|
Example : query expand( [const pmpoint value ("2007-01-30-18:00" ( linear (( TRUE FALSE ( 0 7000000 )) ( 13506.0 11159.0 ) ( 13336.0 10785.0 )))) ])
|
|
Result : (mpoint ( ( ("2007-01-30-18:00" "2007-01-30-19:56:40" TRUE FALSE) (13506.0 11159.0 13336.0 10785.0))))
|
|
|
|
|
|
Operator : final
|
|
Number : 1
|
|
Signature: pmobject -> object
|
|
Example : query final([const pmpoint value ("2007-01-30-18:00" ( linear (( TRUE FALSE (0 7000000)) ( 13506.0 11159.0 ) ( 13336.0 10785.0 )))) ])
|
|
Result : (point (13336.0 10785.0 ))
|
|
|
|
|
|
Operator : initial
|
|
Number : 1
|
|
Signature: pmobject -> object
|
|
Example : query initial([const pmpoint value ("2007-01-30-18:00" ( linear (( TRUE FALSE ( 0 7000000)) ( 13506.0 11159.0 ) ( 13336.0 10785.0 )))) ])
|
|
Result : (point (13506.0 11159.0))
|
|
|
|
|
|
Operator : intersection
|
|
Number : 1
|
|
Signature: pbbox x pbbox -> pbbox
|
|
Example : query intersection([const pbbox value (12.0 23.3 100.987 5245.978)] , [const pbbox value (13.0 24.3 100.0 1000.0)])
|
|
Result : (pbbox (13.0 24.3 100.0 1000.0))
|
|
|
|
|
|
Operator : intersects
|
|
Number : 1
|
|
Signature: pbbox x pbbox -> bool
|
|
Example : query [const pbbox value (12.0 23.3 100.987 5245.978)] intersects [const pbbox value (13.0 24.3 100.0 1000.0)]
|
|
Result : (bool TRUE)
|
|
|
|
|
|
Operator : length
|
|
Number : 1
|
|
Signature: pinterval -> duration
|
|
Example : query length([const pinterval value ("2007-01-30" "2007-01-31" TRUE TRUE)])
|
|
Result : (duration (1 0))
|
|
|
|
Operator : length
|
|
Number : 2
|
|
Signature : pmpoint -> real
|
|
Example : query abs(length(train7) - length(createpmpoint(train7))) < 0.000001;
|
|
Result : (bool TRUE)
|
|
|
|
|
|
Operator : numberOfCNodes
|
|
Number : 1
|
|
Signature: pmobject -> int
|
|
Example : query numberOfCNodes(createpmpoint(train7))
|
|
Result : (int 1)
|
|
|
|
|
|
Operator : numberOfFlatUnits
|
|
Number : 1
|
|
Signature: pmobject -> int
|
|
Example : query numberOfFlatUnits(createpmpoint(train7))
|
|
Result : (int 185)
|
|
|
|
|
|
Operator : numberOfNodes
|
|
Number : 1
|
|
Signature: pmobject -> int
|
|
Example : query numberOfNodes(createpmpoint(train7))
|
|
Result : (int 187)
|
|
|
|
|
|
Operator : numberOfPNodes
|
|
Number : 1
|
|
Signature: pmobject -> int
|
|
Example : query numberOfPNodes(createpmpoint(train7))
|
|
Result : (int 0)
|
|
|
|
|
|
Operator : numberOfUnits
|
|
Number : 1
|
|
Signature: pmobject -> int
|
|
Example : query numberOfUnits(createpmpoint(train7))
|
|
Result : (int 185)
|
|
|
|
|
|
Operator : ptranslate
|
|
Number : 1
|
|
Signature: pmobject x duration -> pmobject
|
|
Example : query [const pmpoint value ("2007-01-30-18:00" ( linear (( TRUE FALSE ( 0 7000000)) ( 13506.0 11159.0 ) ( 13336.0 10785.0 )))) ] ptranslate [ [const duration value (1 0)] ]
|
|
Result : (pmpoint ( "2007-01-31-18:00" (linear ( (TRUE FALSE (0 7000000)) (13506.0 11159.0) (13336.0 10785.0)))))
|
|
|
|
|
|
|
|
Operator : start
|
|
Number : 1
|
|
Signature: pinterval -> instant
|
|
Example : query start([const pinterval value ( "2007-01-30" "2007-01-31" TRUE TRUE)])
|
|
Result : (instant "2007-01-30")
|
|
|
|
|
|
Operator : toprel
|
|
Number : 1
|
|
Signature: pmobject x spatial[temporal] object -> pmint9m
|
|
Example : query toprel( [const pmpoint value ("2007-01-30-18:00" ( linear (( TRUE FALSE (0 7000000)) ( 13506.0 11159.0 ) ( 13336.0 10785.0 )))) ], [const point value (0.0 0.0)])
|
|
Result : (pmint9m ( "2007-01-30-18:00" (linear ( (TRUE FALSE (0 7000000)) (FALSE FALSE TRUE FALSE FALSE FALSE TRUE FALSE TRUE)))))
|
|
|
|
Operator : trajectory
|
|
Number : 1
|
|
Signature: pmpoint -> line
|
|
Example : query trajectory([const pmpoint value ("2007-01-30-18:00" ( linear (( TRUE FALSE (0 7000000)) ( 13506.0 11159.0 ) ( 13336.0 10785.0 )))) ])
|
|
Result : (line ( (13336.0 10785.0 13506.0 11159.0)))
|
|
|
|
|
|
Operator : union
|
|
Number : 1
|
|
Signature: pbbox x pbbox -> pbbox
|
|
Example : query [const pbbox value (12.0 23.3 100.987 5245.978)] union [const pbbox value (13.0 24.3 100.0 1000.0)]
|
|
Result : (pbbox (12.0 23.3 100.987 5245.978))
|
|
|
|
|
|
Operator : minvalue
|
|
Number : 1
|
|
Signature : pmreal -> real
|
|
Example : query minvalue(distance(createpmpoint(train7),[const point value (0 0)]))
|
|
Result : (real 10086.4000019829)
|
|
Tolerance : 0.2
|
|
|
|
Operator : maxvalue
|
|
Number : 1
|
|
Signature : pmreal -> real
|
|
Example : query maxvalue(distance(createpmpoint(train7),[const point value (0 0)]))
|
|
Result : (real 16730.5916811092)
|
|
Tolerance : 0.2
|
|
|
|
|
|
Operator : direction
|
|
Number : 1
|
|
Signature: pmpoint -> line
|
|
Example : query minvalue(direction([const pmpoint value ("2007-01-30-18:00" ( linear (( TRUE FALSE (0 7000000)) ( 1000.0 1000.0 ) ( 2000.0 2000.0 )))) ]))
|
|
Result : (real 45.0)
|
|
Tolerance : 0.4
|
|
|
|
|
|
Operator : speed
|
|
Number : 1
|
|
Signature: pmpoint -> line
|
|
Example : query minvalue(speed([const pmpoint value ("2007-01-30-18:00" ( linear (( TRUE FALSE (0 7000000)) ( 1000.0 1000.0 ) ( 1000.0 1000.0 )))) ]))
|
|
Result : (real 0.0)
|
|
Tolerance : 0.1
|
|
|
|
|
|
|
|
|