A Calculus for Reactive Databases

Traditionally, interaction with a database is done using a query language like SQL.Such queries apply only to the current state of the database, that is, a query entailscomputation on a static database. Further, queries are independent of each other in thesense that there is no direct mechanism for defining cooperative behavior. Increasingly,applications are required to live and operate over updates to the database. They areoften required to respond, in some timely fashion, to updates....