...
Consistency - a property that moves a database from one consistent state to another after the finish. Meaning of the consistent state is defined by a user.
...
Serializable schedule - a schedule which that is equivalent to some serial execution of interleaved transactions.
...
Recoverable schedule - a schedule which that is not affected by aborting some of the involved transactions. A transaction reads only committed values to achieve this.
Interactive transaction - a transaction whose operation set is not known a priori. Can be aborted at any time , if not committed yet.
Cascading abort - a situation in which the abort of one transaction causes the abort of another dependent transaction to avoid inconsistency.
...
...
Here we take into account the isolation property of a transaction. The strongest isolation is known to beSerializable, implying all transactions pretend to execute sequentially. This is very convenient to for a user, because it prevents hidden data corruptions datacorruptions and security issues. The price for this may be reduced throughput/latency due to increased overhead from CC protocol. Additional option is to allow a user to choose a weaker isolation level, likeSNAPSHOT. The ultimate goal is to implement Serializability without sacrificing performance too much, having Serializable as the default isolation level.
...