184 lines
3.7 KiB
Plaintext
184 lines
3.7 KiB
Plaintext
|
|
Database : berlintest
|
||
|
|
Restore : NO
|
||
|
|
|
||
|
|
Operator : intersection_new
|
||
|
|
Number : 1
|
||
|
|
Signature: region x region -> region
|
||
|
|
Example : query intersection_new(thecenter,westhafen)
|
||
|
|
Result : file
|
||
|
|
|
||
|
|
|
||
|
|
Operator : intersection_new
|
||
|
|
Number : 2
|
||
|
|
Signature: region x line -> line
|
||
|
|
Example : query intersection_new(thecenter,trajectory(train7))
|
||
|
|
Result : file
|
||
|
|
|
||
|
|
|
||
|
|
Operator : intersection_new
|
||
|
|
Number : 3
|
||
|
|
Signature: line x region -> line
|
||
|
|
Example : query intersection_new(trajectory(train1),thecenter)
|
||
|
|
Result : file
|
||
|
|
|
||
|
|
|
||
|
|
Operator : intersection_new
|
||
|
|
Number : 4
|
||
|
|
Signature: line x line -> line
|
||
|
|
Example : query intersection_new(trajectory(train7),train7sections)
|
||
|
|
Result : file
|
||
|
|
|
||
|
|
|
||
|
|
Operator : intersects_new
|
||
|
|
Number : 1
|
||
|
|
Signature: region x region -> bool
|
||
|
|
Example : query thecenter intersects_new tiergarten
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
|
||
|
|
Operator : intersects_new
|
||
|
|
Number : 2
|
||
|
|
Signature: region x line -> bool
|
||
|
|
Example : query thecenter intersects_new trajectory(train7)
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
|
||
|
|
Operator : intersects_new
|
||
|
|
Number : 3
|
||
|
|
Signature: line x region -> bool
|
||
|
|
Example : query trajectory(train6) intersects_new thecenter
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
|
||
|
|
Operator : intersects_new
|
||
|
|
Number : 4
|
||
|
|
Signature: line x line -> bool
|
||
|
|
Example : query trajectory(train7) intersects_new trajectory(train1)
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
|
||
|
|
Operator : minus_new
|
||
|
|
Number : 1
|
||
|
|
Signature: region x region -> region
|
||
|
|
Example : query minus_new(thecenter,tiergarten)
|
||
|
|
Result : file
|
||
|
|
|
||
|
|
|
||
|
|
Operator : minus_new
|
||
|
|
Number : 2
|
||
|
|
Signature: region x line -> region
|
||
|
|
Example : query minus_new(thecenter,trajectory(train1))
|
||
|
|
Result : file
|
||
|
|
|
||
|
|
|
||
|
|
Operator : minus_new
|
||
|
|
Number : 3
|
||
|
|
Signature: line x region-> line
|
||
|
|
Example : query minus_new(trajectory(train7),thecenter)
|
||
|
|
Result : file
|
||
|
|
|
||
|
|
|
||
|
|
Operator : minus_new
|
||
|
|
Number : 4
|
||
|
|
Signature: line x line -> line
|
||
|
|
Example : query minus_new(trajectory(train7),train7sections)
|
||
|
|
Result : file
|
||
|
|
|
||
|
|
|
||
|
|
Operator : p_intersects
|
||
|
|
Number : 1
|
||
|
|
Signature: region x region -> bool
|
||
|
|
Example : query thecenter p_intersects tiergarten
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
|
||
|
|
Operator : p_intersects
|
||
|
|
Number : 2
|
||
|
|
Signature: region x line -> bool
|
||
|
|
Example : query thecenter p_intersects trajectory(train7)
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
|
||
|
|
Operator : p_intersects
|
||
|
|
Number : 3
|
||
|
|
Signature: line x region -> bool
|
||
|
|
Example : query trajectory(train6) p_intersects thecenter
|
||
|
|
Result : TRUE
|
||
|
|
|
||
|
|
|
||
|
|
Operator : p_intersects
|
||
|
|
Number : 4
|
||
|
|
Signature: line x line -> bool
|
||
|
|
Example : query trajectory(train7) p_intersects trajectory(train1)
|
||
|
|
Result : FALSE
|
||
|
|
|
||
|
|
|
||
|
|
Operator : realm
|
||
|
|
Number : 1
|
||
|
|
Signature: region x region -> region
|
||
|
|
Example : query realm(westhafen,thecenter)
|
||
|
|
Result : file
|
||
|
|
|
||
|
|
|
||
|
|
Operator : realm
|
||
|
|
Number : 2
|
||
|
|
Signature: region x region -> region
|
||
|
|
Example : query realm(thecenter,westhafen)
|
||
|
|
Result : file
|
||
|
|
|
||
|
|
|
||
|
|
Operator : realm
|
||
|
|
Number : 3
|
||
|
|
Signature: region x line -> region
|
||
|
|
Example : query realm(thecenter,trajectory(train7))
|
||
|
|
Result : file
|
||
|
|
|
||
|
|
|
||
|
|
Operator : realm
|
||
|
|
Number : 4
|
||
|
|
Signature: line x region -> region
|
||
|
|
Example : query realm(trajectory(train7),thecenter)
|
||
|
|
Result : file
|
||
|
|
|
||
|
|
|
||
|
|
Operator : realm
|
||
|
|
Number : 5
|
||
|
|
Signature: line x line -> line
|
||
|
|
Example : query realm(trajectory(train7),trajectory(train1))
|
||
|
|
Result : file
|
||
|
|
|
||
|
|
|
||
|
|
Operator : realm
|
||
|
|
Number : 6
|
||
|
|
Signature: line x line -> line
|
||
|
|
Example : query realm(trajectory(train1),trajectory(train7))
|
||
|
|
Result : file
|
||
|
|
|
||
|
|
|
||
|
|
Operator : union_new
|
||
|
|
Number : 1
|
||
|
|
Signature: region x region -> region
|
||
|
|
Example : query union_new(thecenter,westhafen)
|
||
|
|
Result : file
|
||
|
|
|
||
|
|
|
||
|
|
Operator : union_new
|
||
|
|
Number : 2
|
||
|
|
Signature: line x region -> region
|
||
|
|
Example : query union_new(trajectory(train7),thecenter)
|
||
|
|
Result : file
|
||
|
|
|
||
|
|
|
||
|
|
Operator : union_new
|
||
|
|
Number : 3
|
||
|
|
Signature: region x line -> region
|
||
|
|
Example : query union_new(thecenter,trajectory(train7))
|
||
|
|
Result : file
|
||
|
|
|
||
|
|
|
||
|
|
Operator : union_new
|
||
|
|
Number : 4
|
||
|
|
Signature: line x line -> line
|
||
|
|
Example : query union_new(trajectory(train7),trajectory(train1))
|
||
|
|
Result : file
|