...
Syntax of our Implemenation
Examples
The following examples to not work all in Odysseus, currently. There is no ANY.
Examples from [http://avid.cs.umass.edu/sase/]
Code Block | ||
---|---|---|
| ||
Query 1: PATTERN SEQ(ShelfReading x, !~ CounterReading y, ExitReading z) WHERE x.id = y. id AND x.id = z.id /* equivalently, [id] */ WITHIN 16 hours |
Code Block | ||
---|---|---|
| ||
Query 2: PATTERN SEQ(ShelfReading x, ShelfReading y, !~ (ANY(CounterReading, ShelfReading) z) ) WHERE [id] AND x.shelf_id ≠ y.shelf_id AND x.shelf_id = z.shelf_id WITHIN 1 hour |
...
Code Block | ||
---|---|---|
| ||
PATTERN SEQ(Scan a, !~(Scan+ b[]), Scan c) WHERE [object_id] AND a.location = “New York” AND c.location = “Amherst” AND b[1].location = a.next AND b[i].location = b[i-1].next AND c.location = b[b.LEN].next AND b.LEN ≤ 3 RETURN c.object_id, c.courier_id |
...