A revision-oriented DBMS