100 | | if(topologies, conditions, A) A if conditions are True; Topological relation between conditions(if) and conclusions(then) is explicit specified by topologies. |
101 | | if(topologies, conditions, A, B) A if conditions are True, B otherwise; Topological relation between conditions(if) and conclusions(then + else) is explicit specified by topologies. |
| 100 | if({topologies}, conditions, A) A if conditions are True; Topological relation between conditions(if) and conclusions(then) is explicit specified by topologies. |
| 101 | if({topologies}, conditions, A, B) A if conditions are True, B otherwise; Topological relation between conditions(if) and conclusions(then + else) is explicit specified by topologies. |
| 309 | ==== Implicit aggregation for spatio-temporal operators ==== |
| 310 | The algebra evaluates the stated STDS by their temporal topologies and apply the given spatio temporal operators in a aggregated form. |
| 311 | |
| 312 | If we have two STDS A and B, B has three maps: b1, b2, b3 that are all during the temporal extent of the single map a1 of A, then the following arithemtic |
| 313 | calculations would implicitly aggregate all maps of B into one result map for a1 of A: |
| 314 | {{{ |
| 315 | C = A {+, contains} B --> c1 = a1 + b1 + b2 + b3 |
| 316 | }}} |
| 317 | |
| 318 | Keep attention that the aggregation behaviour is not symmetric: |
| 319 | {{{ |
| 320 | C = B {+, during} A --> |
| 321 | c1 = b1 + a1 |
| 322 | c2 = b2 + a1 |
| 323 | c3 = b3 + a1 |
| 324 | }}} |
| 325 | |