Query Optimization Concluded and Transactions and Concurrency Zachary

  • Slides: 46
Download presentation
Query Optimization, Concluded and Transactions and Concurrency Zachary G. Ives University of Pennsylvania CIS

Query Optimization, Concluded and Transactions and Concurrency Zachary G. Ives University of Pennsylvania CIS 550 – Database & Information Systems December 2, 2007 Some slide content derived from Ramakrishnan & Gehrke

Reminders § Project demos will be on the 10 th - 12 th §

Reminders § Project demos will be on the 10 th - 12 th § Also due on the 14 th by 2 PM: a 5 -10 page report describing: § § What your project goals were What you implemented Basic architecture and design Division of labor § Take-home final available Dec. 10 th, with 24 hours to complete; due no later than Dec. 14 th, 12 PM 2

Overview of Query Optimization § A query plan: algebraic tree of operators, with choice

Overview of Query Optimization § A query plan: algebraic tree of operators, with choice of algorithm for each op § Two main issues in optimization: § For a given query, which possible plans are considered? Algorithm to search plan space for cheapest (estimated) plan § How is the cost of a plan estimated? § Ideally: Want to find best plan § Practically: Avoid worst plans!

Relational Algebra Equivalences § Allow us to choose different join orders and to `push’

Relational Algebra Equivalences § Allow us to choose different join orders and to `push’ selections and projections ahead of joins. § Selections : c 1^…^cn (R) ´ c 1(… cn (R)) (Cascade) c 1( c 2(R)) ´ c 2( c 1(R)) v Projections : a 1 (R) ´ a 1 (…( an (R)))) v Joins : R ⋈ (S ⋈ T) (R ⋈ S) ⋈ T (R ⋈ S) (S ⋈ R) Ø Show that: R ⋈ (S ⋈ T) (T ⋈ R) ⋈ S (Commute ) (Associative) (Commute)

More Equivalences § A projection commutes with a selection that only uses attributes retained

More Equivalences § A projection commutes with a selection that only uses attributes retained by the projection § Selection between attributes of the two arguments of a cross-product converts cross-product to a join § A selection on ONLY attributes of R commutes with R ⋈ S: (R ⋈ S) (R) ⋈ S § If a projection follows a join R ⋈ S, we can “push” it by retaining only attributes of R (and S) that are needed for the join or are kept by the projection

The System-R Optimizer: Establishing the Basic Model § Most widely used model; works well

The System-R Optimizer: Establishing the Basic Model § Most widely used model; works well for < 10 joins § Cost estimation: Approximate art at best § Statistics, maintained in system catalogs, used to estimate cost of operations and result sizes § Considers combination of CPU and I/O costs § Plan Space: Too large, must be pruned § Only the space of left-deep plans is considered Left-deep plans allow output of each operator to be pipelined into the next operator without storing it in a temporary relation § Cartesian products avoided

Schema for Examples Sailors (sid : integer, sname : string, rating : integer, age

Schema for Examples Sailors (sid : integer, sname : string, rating : integer, age : real) Reserves (sid : integer, bid : integer, day : dates, rname : string) § Reserves: § Each tuple is 40 bytes long, 100 tuples per page, 1000 pages. § Sailors: § Each tuple is 50 bytes long, 80 tuples per page, 500 pages.

Query Blocks: Units of Optimization § An SQL query is parsed into a collection

Query Blocks: Units of Optimization § An SQL query is parsed into a collection of query blocks , and these are optimized one block at a time. § Nested blocks are usually treated as calls to a subroutine, made once per outer tuple. § SELECT S. sname FROM Sailors S WHERE S. age IN (SELECT MAX (S 2. age) FROM Sailors S 2 GROUP BY S 2. rating ) Outer block Nested block For each block, the plans considered are: – All available access methods, for each reln in FROM clause. – All left-deep join trees (i. e. , all ways to join the relations one-at-a -time, with the inner reln in the FROM clause, considering all reln permutations and join methods. )

Enumeration of Alternative Plans § There are two main cases: § § Single-relation plans

Enumeration of Alternative Plans § There are two main cases: § § Single-relation plans Multiple-relation plans § For queries over a single relation, queries consist of a combination of selects, projects, and aggregate ops: § § Each available access path (file scan / index) is considered, and the one with the least estimated cost is chosen. The different operations are essentially carried out together (e. g. , if an index is used for a selection, projection is done for each retrieved tuple, and the resulting tuples are pipelined into the aggregate computation).

Cost Estimates for Single-Relation Plans § Index I on primary key matches selection: §

Cost Estimates for Single-Relation Plans § Index I on primary key matches selection: § Cost is Height(I)+1 for a B+ tree , about 1. 2 for hash index. § Clustered index I matching one or more selects: § (NPages(I)+NPages(R)) * product of RF’s of matching selects § Non-clustered index I matching one or more selects: § (NPages(I)+NTuples(R)) * product of RF’s of matching selects. § Sequential scan of file: § NPages(R). .

Example § Given an index on rating : § § § SELECT S. sid

Example § Given an index on rating : § § § SELECT S. sid FROM Sailors S WHERE S. rating=8 (1/NKeys(I)) * NTuples(R) = (1/10) * 40000 tuples retrieved Clustered index: (1/NKeys(I)) * (NPages(I)+NPages(R)) = (1/10) * (50+500) pages are retrieved Unclustered index: (1/NKeys(I)) * (NPages(I)+NTuples(R)) = (1/10) * (50+40000) pages are retrieved § Given an index on sid : § Would have to retrieve all tuples/pages. With a clustered index, the cost is 50+500, with unclustered index, 50+40000 § A simple sequential scan: § We retrieve all file pages (500)

Queries Over Multiple Relations § Fundamental decision in System R: only left-deep join trees

Queries Over Multiple Relations § Fundamental decision in System R: only left-deep join trees are considered § § As the number of joins increases, the number of alternative plans grows rapidly; we need to restrict the search space Left-deep trees allow us to generate all fully pipelined plans. Intermediate results not written to temporary files Not all left-deep trees are fully pipelined (e. g. , SM join) D D C A B C D A B C A B

Enumeration of Left-Deep Plans § Left-deep plans differ only in the order of relations,

Enumeration of Left-Deep Plans § Left-deep plans differ only in the order of relations, the access method for each relation, the join method § Enumerated using N passes (if N relations joined): § § § Pass 1: Find best 1 -relation plan for each relation Pass 2: Find best way to join result of each 1 -relation plan (as outer) to another relation (All 2 -relation plans) Pass N: Find best way to join result of a (N-1)-relation plan (as outer) to the N’th relation (All N-relation plans) § For each subset of relations, retain only: § § Cheapest plan overall, plus Cheapest plan for each interesting order of the tuples

Enumeration of Plans (Contd. ) § ORDER BY, GROUP BY, aggregates etc. handled as

Enumeration of Plans (Contd. ) § ORDER BY, GROUP BY, aggregates etc. handled as a final step, using either an “interestingly ordered” plan or an addional sorting operator § An (n-1)-way plan is only combined with an additional relation if there is a join condition between them, or all predicates in WHERE have been used up § i. e. , avoid Cartesian products § This approach is still exponential in the # of tables § Approximately 2 n cost enumerations

Cost Estimation for Multirelation Plans SELECT attribute list FROM relation list WHERE term 1

Cost Estimation for Multirelation Plans SELECT attribute list FROM relation list WHERE term 1 AND. . . AND termk § Consider a query block: § Maximum # tuples in result is the product of the cardinalities of relations in the FROM clause. § Reduction factor (RF) associated with each term reflects the impact of the term in reducing result size Result cardinality = Max # tuples * product of all RF’s. § Join one new relation at a time § Cost of join method, plus estimation of join cardinality gives us both cost estimate and result size estimate

Example 1. Pass 1: § § § 2. Sailors: B+ tree on rating Hash

Example 1. Pass 1: § § § 2. Sailors: B+ tree on rating Hash on sid Reserves: B+ tree on bid sname sid=sid Sailors : B+ tree matches rating>5 , and is probably cheapest bid=100 However, if this selection retrieves many tuples and index is unclustered, sequential scan may be better Reserves Still, B+ tree plan kept (tuples are in rating order) Reserves : B+ tree on bid matches bid=500; cheapest rating > 5 Sailors Pass 2: § § Retrieve each plan retained from Pass 1 Consider how to join it as the outer relation with the (only) other relation e. g. , Reserves as outer : Hash index can be used to get Sailors tuples that satisfy sid = outer tuple’s sid value

Query Optimization Recapped § Must understand optimization in order to understand the performance impact

Query Optimization Recapped § Must understand optimization in order to understand the performance impact of a given database design (relations, indexes) on a workload (set of queries) § Two parts to optimizing a query: § Consider a set of alternative plans Must prune search space; typically, left-deep plans only § Must estimate cost of each plan that is considered Must estimate size of result and cost for each plan node Key issues: Statistics, indexes, operator implementations

Plan Enumeration § All single-relation plans are first enumerated. § All access paths considered,

Plan Enumeration § All single-relation plans are first enumerated. § All access paths considered, cheapest is chosen § Selections/projections considered as early as possible. § Next, for each 1 -relation plan, all ways of joining another relation (as inner) are considered. § Next, for each 2 -relation plan that is “retained, ” all ways of joining another relation (as inner) are considered, etc. § At each level, for each subset of relations, only best plan for each interesting order of tuples is “retained”

The Bigger Picture: Tuning § We saw that indexes and optimization decisions were critical

The Bigger Picture: Tuning § We saw that indexes and optimization decisions were critical to performance § Many DBAs and consultants have made a living off understanding query workloads, data, and estimated intermediate result sizes § Recent development: self-tuning DBMSs § SQL Server and DB 2 “Index Wizards” take a query workload and try to find an optimal set of indices for it § “Adaptive query processing” tries to figure out where the optimizer’s estimates “went wrong” and compensate for it 19

From Queries to Updates § We’ve spent a lot of time talking about querying

From Queries to Updates § We’ve spent a lot of time talking about querying data § Yet updates are a really major part of many DBMS applications § Particularly important: ensuring ACID properties Atomicity: each operation looks atomic to the user Consistency: each operation in isolation keeps the database in a consistent state (this is the responsibility of the user) Isolation: should be able to understand what’s going on by considering each separate transaction independently Durability: updates stay in the DBMS!!! 20

What is a Transaction? A transaction is a sequence of read and write operations

What is a Transaction? A transaction is a sequence of read and write operations on data items that logically functions as one unit of work: § should either be done entirely or not at all § if it succeeds, the effects of write operations persist (commit ); if it fails, no effects of write operations persist (abort ) § these guarantees are made despite concurrent activity in the system, and despite failures that may occur 21

How Things Can Go Awry § Suppose we have a table of bank accounts

How Things Can Go Awry § Suppose we have a table of bank accounts which contains the balance of the account § An ATM deposit of $50 to account # 1234 would be written as: update Accounts set balance = balance + $50 where account#= ‘ 1234’; § This reads and writes the account’s balance § What if two accountholders make deposits simultaneously from two ATMs? 22

Concurrent Deposits This SQL update code is represented as a sequence of read and

Concurrent Deposits This SQL update code is represented as a sequence of read and write operations on “data items” (which for now should be thought of as individual accounts): Deposit 1 read(X. bal) X. bal : = X. bal + $50 write(X. bal) Deposit 2 read(X. bal) X. bal: = X. bal + $10 write(X. bal) where X is the data item representing the account with account# 1234. 23

A “Bad” Concurrent Execution Only one “action” (e. g. a read or a write)

A “Bad” Concurrent Execution Only one “action” (e. g. a read or a write) can actually happen at a time, and we can interleave deposit operations in many ways: BAD! Deposit 1 read(X. bal) Deposit 2 read(X. bal) time X. bal : = X. bal + $50 X. bal: = X. bal + $10 write(X. bal) 24

A “Good” Execution § Previous execution would have been fine if the accounts were

A “Good” Execution § Previous execution would have been fine if the accounts were different (i. e. one were X and one were Y), i. e. , transactions were independent § The following execution is a serial execution, and executes one transaction after the other: Deposit 1 Deposit 2 read(X. bal) GOOD! X. bal : = X. bal + $50 write(X. bal) time read(X. bal) X. bal: = X. bal + $10 write(X. bal) 25

Good Executions An execution is “good” if it is serial (transactions are executed atomically

Good Executions An execution is “good” if it is serial (transactions are executed atomically and consecutively) or serializable (i. e. equivalent to some serial execution ) Deposit 1 Deposit 3 read(X. bal) read(Y. bal) X. bal : = X. bal + $50 Y. bal: = Y. bal + $10 write(X. bal) write(Y. bal) Equivalent to executing Deposit 1 then 3, or vice versa § Why would we want to do this instead? 26

Atomicity Problems can also occur if a crash occurs in the middle of executing

Atomicity Problems can also occur if a crash occurs in the middle of executing a transaction: CRASH Transfer read(X. bal) read(Y. bal) X. bal= X. bal-$100 Y. bal= Y. bal+$100 Need to guarantee that the write to X does not persist (ABORT) § Default assumption if a transaction doesn’t commit 27

Transactions in SQL § A transaction begins when any SQL statement that queries the

Transactions in SQL § A transaction begins when any SQL statement that queries the db begins. § To end a transaction, the user issues a COMMIT or ROLLBACK statement. Transfer UPDATE Accounts SET balance = balance - $100 WHERE account#= ‘ 1234’; UPDATE Accounts SET balance = balance + $100 WHERE account#= ‘ 5678’; COMMIT; 28

Read-Only Transactions § When a transaction only reads information, we have more freedom to

Read-Only Transactions § When a transaction only reads information, we have more freedom to let the transaction execute in parallel with other transactions. § We signal this to the system by stating: SET TRANSACTION READ ONLY; SELECT * FROM Accounts WHERE account#=‘ 1234’; . . . 29

Read-Write Transactions § If we state “read-only”, then the transaction cannot perform any updates.

Read-Write Transactions § If we state “read-only”, then the transaction cannot perform any updates. ILLEGAL! SET TRANSACTION READ ONLY; UPDATE Accounts SET balance = balance - $100 WHERE account#= ‘ 1234’; . . . § Instead, we must specify that the transaction may update (the default): SET TRANSACTION READ WRITE; update Accounts set balance = balance - $100 where account#= ‘ 1234’; . . . 30

Dirty Reads § Dirty data is data written by an uncommitted transaction; a dirty

Dirty Reads § Dirty data is data written by an uncommitted transaction; a dirty read is a read of dirty data (WR conflict ) § Sometimes we can tolerate dirty reads; other times we cannot: e. g. , if we wished to ensure balances never went negative in the transfer example, we should test that there is enough money first! 31

“Bad” Dirty Read EXEC SQL select balance into : bal from Accounts where account#=‘

“Bad” Dirty Read EXEC SQL select balance into : bal from Accounts where account#=‘ 1234’; if (bal > 100) { EXEC SQL update Accounts set balance = balance - $100 where account#= ‘ 1234’; EXEC SQL update Accounts set balance = balance + $100 where account#= ‘ 5678’; } EXEC SQL COMMIT; If the initial read (italics) were dirty, the balance could become negative! 32

Acceptable Dirty Read If we are just checking availability of an airline seat, a

Acceptable Dirty Read If we are just checking availability of an airline seat, a dirty read might be fine! (Why is that ? ) Reservation transaction: EXEC SQL select occupied into : occ from Flights where Num= ‘ 123’ and date=11 -03 -99 and seat=‘ 23 f’; if (!occ) {EXEC SQL update Flights set occupied=true where Num= ‘ 123’ and date=11 -03 -99 and seat=‘ 23 f’; } else {notify user that seat is unavailable} 33

Other Undesirable Phenomena § Unrepeatable read: a transaction reads the same data item twice

Other Undesirable Phenomena § Unrepeatable read: a transaction reads the same data item twice and gets different values (RW conflict) § Phantom problem: a transaction retrieves a collection of tuples twice and sees different results 34

Phantom Problem Example § T 1: “find the students with best grades who Take

Phantom Problem Example § T 1: “find the students with best grades who Take either cis 550 -f 03 or cis 570 -f 02” § T 2: “insert new entries for student #1234 in the Takes relation, with grade A for cis 570 -f 02 and cis 550 -f 03” § Suppose that T 1 consults all students in the Takes relation and finds the best grades for cis 550 -f 03 § Then T 2 executes, inserting the new student at the end of the relation, perhaps on a page not seen by T 1 § T 1 then completes, finding the students with best grades for cis 570 -f 02 and now seeing student #1234 35

Isolation § The problems we’ve seen are all related to isolation § General rules

Isolation § The problems we’ve seen are all related to isolation § General rules of thumb w. r. t. isolation: § Fully serializable isolation is more expensive than “no isolation” We can’t do as many things concurrently (or we have to undo them frequently) § For performance, we generally want to specify the most relaxed isolation level that’s acceptable Note that we’re “slightly” violating a correctness constraint to get performance! 36

Specifying Acceptable Isolation Levels § The default isolation level is SERIALIZABLE (as for the

Specifying Acceptable Isolation Levels § The default isolation level is SERIALIZABLE (as for the transfer example). § To signal to the system that a dirty read is acceptable, SET TRANSACTION READ WRITE ISOLATION LEVEL READ UNCOMMITTED; § In addition, there are SET TRANSACTION ISOLATION LEVEL READ COMMITTED; SET TRANSACTION ISOLATION LEVEL REPEATABLE READ; 37

READ COMMITTED § Forbids the reading of dirty (uncommitted) data, but allows a transaction

READ COMMITTED § Forbids the reading of dirty (uncommitted) data, but allows a transaction T to issue the same query several times and get different answers § No value written by T can be modified until T completes § For example, the Reservation example could also be READ COMMITTED; the transaction could repeatably poll to see if the seat was available, hoping for a cancellation 38

REPEATABLE READ § What it is NOT: a guarantee that the same query will

REPEATABLE READ § What it is NOT: a guarantee that the same query will get the same answer! § However, if a tuple is retrieved once it will be retrieved again if the query is repeated § For example, suppose Reservation were modified to retrieve all available seats § If a tuple were retrieved once, it would be retrieved again (but additional seats may also become available) 39

Implementing Isolation Levels § One approach – use locking at some level (tuple, page,

Implementing Isolation Levels § One approach – use locking at some level (tuple, page, table, etc. ): § each data item is either locked (in some mode, e. g. shared or exclusive) or is available (no lock) § an action on a data item can be executed if the transaction holds an appropriate lock § consider granularity of locks – how big of an item to lock Larger granularity = fewer locking operations but more contention! § Appropriate locks: § Before a read, a shared lock must be acquired § Before a write, an exclusive lock must be acquired 40

Lock Compatibility Matrix Locks on a data item are granted based on a lock

Lock Compatibility Matrix Locks on a data item are granted based on a lock compatibility matrix: Request mode { Shared Exclusive Mode of Data Item None Shared Exclusive Y Y N N When a transaction requests a lock, it must wait (block) until the lock is granted 41

Locks Prevent “Bad” Execution If the system used locking, the first “bad” execution could

Locks Prevent “Bad” Execution If the system used locking, the first “bad” execution could have been avoided: Deposit 1 Deposit 2 xlock(X) read(X. bal) {xlock(X) is not granted} X. bal : = X. bal + $50 write(X. bal) release(X) xlock(X) read(X. bal) X. bal: = X. bal + $10 write(X. bal) release(X) 42

Lock Types and Read/Write Modes When we specify “read-only”, the system only uses shared-mode

Lock Types and Read/Write Modes When we specify “read-only”, the system only uses shared-mode locks § Any transaction that attempts to update will be illegal When we specify “read-write”, the system may also acquire locks in exclusive mode § Obviously, we can still query in this mode 43

Isolation Levels and Locking READ UNCOMMITTED allows queries in the transaction to read data

Isolation Levels and Locking READ UNCOMMITTED allows queries in the transaction to read data without acquiring any lock For updates, exclusive locks must be obtained and held to end of transaction READ COMMITTED requires a read-lock to be obtained for all tuples touched by queries, but it releases the locks immediately after the read Exclusive locks must be obtained for updates and held to end of transaction 44

Isolation levels and locking, cont. REPEATABLE READ places shared locks on tuples retrieved by

Isolation levels and locking, cont. REPEATABLE READ places shared locks on tuples retrieved by queries, holds them until the end of the transaction Exclusive locks must be obtained for updates and held to end of transaction SERIALIZABLE places shared locks on tuples retrieved by queries as well as the index , holds them until the end of the transaction Exclusive locks must be obtained for updates and held to end of transaction Holding locks to the end of a transaction is called “strict” locking 45

Summary of Isolation Levels Level Dirty Read Unrepeatable Read Phantoms READ UNCOMMITTED Maybe READ

Summary of Isolation Levels Level Dirty Read Unrepeatable Read Phantoms READ UNCOMMITTED Maybe READ COMMITTED No Maybe REPEATABLE READ No No Maybe SERIALIZABLE No No No 46