Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

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
languagesql
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
languagesql
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
languagesql
 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

...