Once the DBMS informs the user that a transaction has been successfully completed, its effect should persist even if the system crashes before all its changes are reflected on disk. This property is called

The ACID properties of database transactions are defined as follows:

1. Durability: Guarantees that once a transaction commits, its effects persist permanently in the database, even if the system crashes or experiences failures before changes are flushed to secondary storage.

2. Atomicity: Guarantees that either all operations of a transaction execute to completion, or none do (all-or-nothing property).

3. Consistency: Ensures that executing a transaction in isolation preserves database invariants and integrity constraints.

4. Isolation: Ensures that concurrent transactions execute without interfering with one another, as if they were running serially.

Thus, the property described is durability (Option A).