Ch7 Transaction Processing
Ch7 Transaction Processing
2
Introduction to Transaction Processing
A Transaction: logical unit of database processing that
includes one or more access operations (read -retrieval,
write - insert or update, delete).
A transaction (set of operations) may be stand-
alone specified in a high level language like SQL
submitted interactively, or may be embedded within a
program.
Transaction boundaries: Begin and End transaction.
An application program may contain several
transactions separated by the Begin and End
transaction boundaries.
3
Introduction to Transaction Processing
SIMPLE MODEL OF A DATABASE (for
purposes of discussing transactions):
A database - collection of named data items
Granularity of data – size of data item like a field, a
record , or a whole disk block
Basic operations are read and write
– read_item(X): Reads a database item named X into a
program variable. To simplify our notation, we assume
that the program variable is also named X.
– write_item(X): Writes the value of program variable X
into the database item named X.
4
Introduction to Transaction Processing
5
Introduction to Transaction Processing
READ AND WRITE OPERATIONS (cont.):
write_item(X) command includes the following
steps:
1. Find the address of the disk block that contains
item X.
2. Copy that disk block into a buffer in main memory
(if that disk block is not already in some main
memory buffer).
3. Copy item X from the program variable named X
into its correct location in the buffer.
4. Store the updated block from the buffer back to
disk (either immediately or at some later point in
time).
6
FIGURE
Two sample transactions. (a) Transaction T1.
(b) Transaction T2.
7
Introduction to Transaction Processing
Why Concurrency Control is needed:
The Lost Update Problem.
This occurs when two transactions that access the
same database items have their operations
interleaved in a way that makes the value of some
database item incorrect.
The Temporary Update (or Dirty Read) Problem.
This occurs when one transaction updates a
database item and then the transaction fails for some
reason. The updated item is accessed by another
transaction before it is changed back to its original
value.
8
Introduction to Transaction Processing
9
Some problems that occur when concurrent
execution is uncontrolled. (a) The lost update
problem.
10
Some problems that occur when concurrent
execution is uncontrolled. (b) The temporary update
problem.
11
Some problems that occur when concurrent execution is
uncontrolled. (c) The incorrect summary problem.
12
Introduction to Transaction Processing
Why recovery is needed:
(What causes a Transaction to fail)
1. A computer failure (system crash): A hardware or
software error occurs in the computer system during
transaction execution. If the hardware crashes, the
contents of the computer’s internal memory may be
lost.
2. A transaction or system error : Some operation in the
transaction may cause it to fail, such as integer overflow
or division by zero. Transaction failure may also occur
because of erroneous parameter values or because of
a logical programming error. In addition, the user may
interrupt the transaction during its execution.
13
Introduction to Transaction Processing
Why recovery is needed (cont.):
3. Local errors or exception conditions detected by the
transaction:
- certain conditions necessitate cancellation of the
transaction. For example, data for the transaction may
not be found. A condition, such as insufficient account
balance in a banking database, may cause a transaction,
such as a fund withdrawal from that account, to be
canceled.
- should be programmed in the transaction itself.
4. Concurrency control enforcement: The concurrency
control method may decide to abort the transaction, to be
restarted later, because it violates serializability or
because several transactions are in a state of deadlock .
14
Introduction to Transaction Processing
15
Transaction and System Concepts
A transaction is an atomic unit of work that is either completed
in its entirety or not done at all. For recovery purposes, the
system needs to keep track of when the transaction starts,
terminates, and commits or aborts.
Transaction states:
– Active state - It is initial state. Transaction stays in this state
while it is executing.
– Partially committed state - After the final statement has been
executed, a transaction is in partially committed state.
– Committed state - After successful completion, a transaction is
in committed state.
– Failed state - After the discovery that normal execution can no
longer proceed, a transaction is in failed state.
– Terminated State – This state corresponds to the transaction
leaving the system. The transaction information that is maintained
in system tables while the transaction has been running is
removed when the transaction terminates. Failed or aborted
transactions may be restarted later – either automatically or after
being resubmitted by the user – as brand new transactions.
16
Transaction and System Concepts
Recovery manager keeps track of the following
operations:
begin_transaction: This marks the beginning of
transaction execution.
read or write: These specify read or write operations
on the database items that are executed as part of a
transaction.
end_transaction: This specifies that read and write
transaction operations have ended and marks the
end point of transaction execution. At this point it may
be necessary to check whether the changes
introduced by the transaction can be permanently
applied to the database or whether the transaction
has to be aborted because it violates concurrency
control or for some other reason.
17
Transaction and System Concepts
18
Transaction and System Concepts
19
State transition diagram illustrating the states for
transaction execution.
20
Transaction and System Concepts
23
Transaction and System Concepts
Recovery using log records:
If the system crashes, we can recover to a consistent
database state by examining the log and using one of
the techniques described in later sections.
1. Because the log contains a record of every write
operation that changes the value of some database
item, it is possible to undo the effect of these write
operations of a transaction T by tracing backward
through the log and resetting all items changed by a
write operation of T to their old_values.
2. We can also redo the effect of the write operations of a
transaction T by tracing forward through the log and
setting all items changed by a write operation of T (that
did not get done permanently) to their new_values.
24
Transaction and System Concepts
Commit Point of a Transaction:
Definition: A transaction T reaches its commit point
when all its operations that access the database have
been executed successfully and the effect of all the
transaction operations on the database has been
recorded in the log. Beyond the commit point, the
transaction is said to be committed, and its effect is
assumed to be permanently recorded in the database.
The transaction then writes an entry [commit,T] into the
log.
Roll Back of transactions: Needed for transactions
that have a [start_transaction,T] entry into the log but
no commit entry [commit,T] into the log.
25
Transaction and System Concepts
Commit Point of a Transaction (cont):
Redoing transactions: Transactions that have written
their commit entry in the log must also have recorded
all their write operations in the log; otherwise they
would not be committed, so their effect on the
database can be redone from the log entries. (Notice
that the log file must be kept on disk. At the time of a
system crash, only the log entries that have been
written back to disk are considered in the recovery
process because the contents of main memory may be
lost.)
Force writing a log: before a transaction reaches its
commit point, any portion of the log that has not been
written to the disk yet must now be written to the disk.
This process is called force-writing the log file before
committing a transaction.
26
Desirable Properties of Transactions
ACID properties:
Atomicity: A transaction is an atomic unit of
processing; it is either performed in its entirety
or not performed at all.
27
Desirable Properties of Transactions
28
Characterizing Schedules based on
Recoverability
Transaction schedule or history: When transactions are
executing concurrently in an interleaved fashion, the order of
execution of operations from the various transactions forms
what is known as a transaction schedule (or history).
30
Characterizing Schedules based on
Recoverability
Schedules classified on recoverability (cont.):
Strict Schedules: A schedule in which a transaction
can neither read nor write an item X until the last
transaction that wrote X has committed.
31
Characterizing Schedules based on
Serializability
Serial schedule: A schedule S is serial if, for every
transaction T participating in the schedule, all the
operations of T are executed consecutively in the
schedule. Otherwise, the schedule is called nonserial
schedule. Hence, in a serial schedule, only one
transaction at a time is active-the commit (or abort)
of the active transaction initiates execution of the
next transaction.
Serializable schedule: A schedule S (possibly
concurrent) is serializable if it is equivalent to some
serial schedule of the same n transactions.
32
Characterizing Schedules based on
Serializability
Result equivalent: Two schedules are called result
equivalent if they produce the same final state of the
database.
Conflict equivalent: Two schedules are said to be
conflict equivalent if the order of any two conflicting
operations (read and write, write and read, and
write and write on the same data item) is the same in
both schedules.
Conflict serializable: A schedule S is said to be
conflict serializable if it is conflict equivalent to
some serial schedule S’.
33
Characterizing Schedules based on
Serializability
Being serializable is not the same as being serial
34
Characterizing Schedules based on
Serializability
35
Characterizing Schedules based on
Serializability
Practical approach:
Come up with methods (protocols) to ensure
serializability.
It’s not possible to determine when a schedule begins
and when it ends. Hence, we reduce the problem of
checking the whole schedule to checking only a
committed project of the schedule (i.e. operations
from only the committed transactions.)
Current approach used in most DBMSs:
– Use of locks with two phase locking
36
Characterizing Schedules based on
Serializability
View equivalence: A less restrictive definition of
equivalence of schedules
37
Characterizing Schedules based on
Serializability
Two schedules are said to be view equivalent if the following
three conditions hold:
1. The same set of transactions participates in S and S’, and S
and S’ include the same operations of those transactions.
2. For any operation Ri(X) of Ti in S, if the value of X read by
the operation has been written by an operation Wj(X) of Tj
(or if it is the original value of X before the schedule started),
the same condition must hold for the value of X read by
operation Ri(X) of Ti in S’.
3. If the operation Wk(Y) of Tk is the last operation to write
item Y in S, then Wk(Y) of Tk must also be the last operation
to write item Y in S’.
38
Characterizing Schedules based on
Serializability
The premise behind view equivalence:
As long as each read operation of a transaction reads
the result of the same write operation in both
schedules, the write operations of each transaction
must produce the same results.
“The view”: the read operations are said to see the
the same view in both schedules.
39
Characterizing Schedules based on
Serializability
Relationship between view and conflict equivalence:
The two are same under constrained write
assumption which assumes that if T writes X, it is
constrained by the value of X it read; i.e., new X =
f(old X)
Conflict serializability is stricter than view
serializability. With unconstrained write (or blind
write), a schedule that is view serializable is not
necessarily conflict serialiable.
Any conflict serializable schedule is also view
serializable, but not vice versa.
40
Characterizing Schedules based on
Serializability
Relationship between view and conflict equivalence
(cont):
Consider the following schedule of three transactions
T1: r1(X), w1(X); T2: w2(X); and T3: w3(X):
Schedule Sa: r1(X); w2(X); w1(X); w3(X); c1; c2; c3;
In Sa, the operations w2(X) and w3(X) are blind writes, since T2
and T3 do not read the value of X.
42
FIGURE
Example of serializability testing. (a) The READ
and WRITE operations of three transactions T1, T2,
and T3.
43
FIGURE (continued)
Example of serializability testing. (b) Schedule E.
44
FIGURE (continued)
Another example of serializability testing. Precedence graph
for Schedule E.
45
FIGURE (continued)
Example of serializability testing. (c) Schedule F.
46
FIGURE (continued)
Another example of serializability testing. Precedence graph
for Schedule F.
47
Characterizing Schedules based on
Serializability
Other Types of Equivalence of Schedules
Under special semantic constraints, schedules that
are otherwise not conflict serializable may work
correctly. Using commutative operations of addition
and subtraction (which can be done in any order)
certain non-serializable transactions may work
correctly
48
Characterizing Schedules based on
Serializability
Other Types of Equivalence of Schedules(cont.)
Example: bank credit / debit transactions on a given item are
separable and commutative.
Consider the following schedule S for the two transactions:
Sh : r1(X); w1(X); r2(Y); w2(Y); r1(Y); w1(Y); r2(X); w2(X);
Using conflict serializability, it is not serializable.
However, if it came from a (read,update, write) sequence as
follows:
r1(X); X := X – 10; w1(X); r2(Y); Y := Y – 20;w2(Y);r1(Y);
Y := Y + 10; w1(Y); r2(X); X := X + 20; w2(X);
Sequence explanation: debit, debit, credit, credit.
It is a correct schedule for the given semantics
49
Transaction Support in SQL2
51
Transaction Support in SQL2
Characteristics specified by a SET
TRANSACTION statement in SQL2 (cont.):
Isolation level <isolation>, where <isolation> can be
READ UNCOMMITTED, READ COMMITTED,
REPEATABLE READ or SERIALIZABLE. The
default is SERIALIZABLE.
With SERIALIZABLE: the interleaved execution of
transactions will adhere to our notion of
serializability. However, if any transaction executes
at a lower level, then serializability may be violated.
52
Transaction Support in SQL2
Potential problem with lower isolation levels:
Dirty Read: Reading a value that was written by a
transaction which failed.
Nonrepeatable Read: Allowing another transaction to
write a new value between multiple reads of one
transaction.
A transaction T1 may read a given value from a table.
If another transaction T2 later updates that value and
T1 reads that value again, T1 will see a different value.
Consider that T1 reads the employee salary for Smith.
Next, T2 updates the salary for Smith. If T1 reads
Smith's salary again, then it will see a different value for
Smith's salary.
53
Transaction Support in SQL2
Potential problem with lower isolation levels
(cont.):
Phantoms: New rows being read using the same read
with a condition.
A transaction T1 may read a set of rows from a
table, perhaps based on some condition specified
in the SQL WHERE clause. Now suppose that a
transaction T2 inserts a new row that also satisfies
the WHERE clause condition of T1, into the table
used by T1. If T1 is repeated, then T1 will see a
row that previously did not exist, called a phantom.
54
Transaction Support in SQL2
Sample SQL transaction:
EXEC SQL whenever sqlerror go to UNDO;
EXEC SQL SET TRANSACTION
READ WRITE
DIAGNOSTICS SIZE 5
ISOLATION LEVEL SERIALIZABLE;
EXEC SQL INSERT
INTO EMPLOYEE (FNAME, LNAME, SSN, DNO, SALARY)
VALUES ('Robert','Smith','991004321',2,35000);
EXEC SQL UPDATE EMPLOYEE
SET SALARY = SALARY * 1.1
WHERE DNO = 2;
EXEC SQL COMMIT;
GOTO THE_END;
UNDO: EXEC SQL ROLLBACK;
THE_END: ...
55