Incremental maintenance of shortest distance and transitive closure in first-order logic and SQL

Given a database, the view maintenance problem is concerned with the efficient computation of the new contents of a given view when updates to the database happen. We consider the view maintenance ...