System obligations
•
Provided the app programs have been
written properly,
•
Then the DBMS is supposed to make sure
that the state of the data in the DBMS
reflects the real world accurately, as
affected by all the committed transactions