The four properties of database transactions (i.e., the ACID properties) are atomicity, consistency, integrity, and durability.

The ACID properties of database transactions are indeed Atomicity, Consistency, Isolation, and Durability.

1. Atomicity: This property ensures that a transaction is treated as a single, indivisible unit, which either succeeds completely, or fails completely. If any part of the transaction fails, the entire transaction fails and the database state is left unchanged.

2. Consistency: This property ensures that a transaction brings the database from one valid state to another, maintaining database invariants: any data written to the database must be valid according to defined rules, including constraints, cascades, triggers, and any combination thereof.

3. Isolation: This property ensures that concurrent execution of transactions leaves the database in the same state that would have been obtained if the transactions were executed sequentially.