PPT Slide

Example of Query Transformation

Consider the query in the previous slide:

Monotone Query

Incremental Query(from last_t to now())

m.to = {‘Joe’, ‘Mike’} AND

(m.subject LIKE ‘%CS294-7%’ OR

m.words={‘CS294-7’}) AND

m.ts + [2 weeks] <= now() AND

(last_t < m.ts + [2 weeks] AND

m.ts + [2 weeks] <= now()) AND

NOT EXISTS (mreply:

(mreply.sender=‘Joe’ OR

mreply.sender=‘Mike’) AND

mreply.in_reply_to = {m} AND

mreply.ts <= m.ts + [2 weeks]) AND

EXISTS (a: a.type=‘endorsement’ AND

a.msg=m)

This line can be eliminated.