dr. alexandra i. cristea acristea/ cs 319: theory of databases: c4

74
Dr. Alexandra I. Cristea http://www.dcs.warwick.ac.uk/ ~acristea/ CS 319: Theory of Databases: C4

Upload: dylan-phillips

Post on 28-Mar-2015

222 views

Category:

Documents


1 download

TRANSCRIPT

Page 1: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Dr. Alexandra I. Cristea

http://www.dcs.warwick.ac.uk/~acristea/

CS 319: Theory of Databases: C4

Page 2: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

(provisionary) Content1. Generalities DB2. Temporal Data3. Integrity constraints (FD revisited)4. Relational Algebra (revisited)5. Query optimisation6. Tuple calculus7. Domain calculus8. Query equivalence9. LLJ, DP and applications10. The Askew Wall11. Datalog

Page 3: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

… previous

FD

Page 5: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Relational Model*

• Structure of Relational Databases

• Fundamental Relational-Algebra-Operations

• Additional Relational-Algebra-Operations

*based on Silberschatz, Korth, Sudarshan Database System Concepts 5th Edition, Chapter 2

Page 6: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Example of a Relation Instance

Page 7: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Basic Structure• Formally, given sets D1, D2, …. Dn a relation r

is a subset of

D1 x D2 x … x Dn

Thus, a relation is a set of n-tuples (a1, a2, …,

an) where each ai Di

Page 8: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Example If

– customer_name = {Jones, Smith, Curry, Lindsay, …}

/* Set of all customer names */

– customer_street = {Main, North, Park, …} /* set of all street names*/

– customer_city = {Harrison, Rye, Pittsfield, …} /* set of all city names */

Then r = { (Jones, Main, Harrison),

(Smith, North, Rye),

(Curry, North, Rye),

(Lindsay, Park, Pittsfield) }

is a relation over customer_name x customer_street x customer_city

Page 9: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Attribute Types• Each attribute of a relation has a name• The set of allowed values for each attribute is called the

domain of the attribute• Attribute values are (normally) required to be atomic; that is,

indivisible– E.g. the value of an attribute can be an account number,

but cannot be a set of account numbers

• Domain is said to be atomic if all its members are atomic• The special value null is a member of every domain• The null value causes complications in the definition of many

operations– We shall ignore the effect of null values in our main presentation and

consider their effect later

Page 10: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Relation Schema• A1, A2, …, An are attributes

• R = (A1, A2, …, An ) is a relation schema

Example:

Customer_schema = (customer_name,

customer_street, customer_city)• r(R) denotes a relation r on the relation schema R

Example:

customer (Customer_schema)

Page 11: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Relation Instance• The current values (relation instance) of

a relation are specified by a table

• An element t of r is a tuple, represented by a row in a table

JonesSmithCurryLindsay

customer_name

MainNorthNorthPark

customer_street

HarrisonRyeRyePittsfield

customer_city

customer

attributes(or columns)

tuples(or rows)

Page 12: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Relations are Unordered Order of tuples is irrelevant (tuples may be stored in an arbitrary order)

Example: account relation with unordered tuples

Page 13: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Database• A database consists of multiple relations

• Information about an enterprise is broken up into parts, with each relation storing one part of the information

Storing all information as a single relation such as bank(account_number, balance, customer_name, ..)results in

– repetition of information

• e.g.,if two customers own an account (What gets repeated?)

– the need for null values

• e.g., to represent a customer without an account

• Normalization theory deals with how to design relational schemas

Page 14: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

The customer Relation

Page 15: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

The depositor Relation

Page 16: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Keys• Let K R• K is a superkey of R if values for K are

sufficient to identify a unique tuple of each possible relation r(R)

Example: {customer_name, customer_street} and {customer_name} are both superkeys of Customer, if no two customers can possibly have the same name

Page 17: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Keys (Cont.)

• K is a candidate key if K is minimal

• Example: {customer_name} : superkey + no subset of it is a superkey.

• Primary key: a candidate key chosen as the principal means of identifying tuples within a relation

Page 18: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Foreign Keys• A relation schema may have an attribute that

corresponds to the primary key of another relation. The attribute is called a foreign key.

Page 19: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Query Languages• Language in which user requests information

from the database.• Categories of languages

– Procedural– Non-procedural, or declarative

• “Pure” languages:– Relational algebra– Tuple relational calculus– Domain relational calculus

• Pure languages form underlying basis of query languages that people use.

Page 20: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Relational Algebra• Procedural language

• Six basic operators

– select: – project: – union: – set difference: – – Cartesian product: x

– rename: • The operators take one or two relations as

inputs and produce a new relation as a result.

Page 21: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Select Operation – Example Relation r A B C D

1

5

12

23

7

7

3

10

A=B ^ D > 5 (r) A B C D

1

23

7

10

Page 22: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Select Operation• Notation: p(r)• p is called the selection predicate• Defined as:

p(r) = {t | t r and p(t)}

Where p is a formula in propositional calculus consisting of terms connected by : (and), (or), (not)Each term is one of:

<attribute> op <attribute> or <constant> where op is one of: =, , >, . <.

• Example of selection: branch_name=“Perryridge”(account)

Page 23: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Project Operation – Example• Relation r: A B C

10

20

30

40

1

1

1

2

A C

1

1

1

2

=

A C

1

1

2

A,C (r)

Page 24: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Project Operation• Notation:

where A1, A2 are attribute names and r is a relation

name.• The result is defined as the relation of k columns

obtained by erasing the columns that are not listed• Duplicate rows removed from result, since relations

are sets• Example: To eliminate the branch_name attribute of

account account_number, balance (account)

)( ,,, 21r

kAAA

Page 25: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Union Operation – Example• Relations r, s:

r s:

A B

1

2

1

A B

2

3

rs

A B

1

2

1

3

Page 26: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Union Operation• Notation: r s• Defined as: r s = {t | t r or t s}• For r s to be valid.

1. r, s must have the same arity (same number of attributes)2. The attribute domains must be compatible (example: 2nd column of r deals with the same type of values as does the 2nd

column of s)• Example: to find all customers with either an account

or a loancustomer_name (depositor) customer_name (borrower)

Page 27: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Set Difference Operation – Example

• Relations r, s:

r – s:

A B

1

2

1

A B

2

3

r

s

A B

1

1

Page 28: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Set Difference Operation• Notation r – s

• Defined as:

r – s = {t | t r and t s}

• Set differences must be taken between compatible relations.– r and s must have the same arity– attribute domains of r and s must

be compatible

Page 29: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Cartesian-Product Operation – Example

Relations r, s:

r x s:

A B

1

2

A B

11112222

C D

1010201010102010

E

aabbaabb

C D

10102010

E

aabbr

s

Page 30: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Cartesian-Product Operation• Notation r x s

• Defined as:

r x s = {t q | t r and q s}

• Assume that attributes of r(R) and s(S) are disjoint. (That is, R S = ).

• If attributes of r(R) and s(S) are not disjoint, then renaming must be used.

Page 31: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Composition of Operations• Can build expressions using multiple

operations

• Example: A=C(r x s)

• r x sA=C(r x s)

A B

11112222

C D

1010201010102010

E

aabbaabbA B C D E

122

101020

aab

Page 32: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Rename Operation• Allows us to refer to results of RA expressions & to

refer to a relation by more than one name.

• Example: x (E)returns the expression E under the name X

• expression E under name X, with attributes renamed to A1 , A2 , …., An .

)(),...,,( 21E

nAAAx

Page 33: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

• Revise basic operators!

Page 34: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Relational Algebra Operators thus …

• Procedural language with six basic operators

– select: – project: – union: – set difference: – – Cartesian product: x

– rename: • The operators take one or two relations as

inputs and produce a new relation as a result.

Page 35: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Banking Example

branch (branch_name, branch_city, assets)

customer (customer_name, customer_street, customer_city)

account (account_number, branch_name, balance)

loan (loan_number, branch_name, amount)

depositor (customer_name, account_number)

borrower (customer_name, loan_number)

Page 36: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4
Page 37: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Example QueriesFind all loans of over $1200

Find the loan number for each loan of an amount greater than $1200

amount > 1200 (loan)

loan_number (amount > 1200 (loan))

Find the names of all customers who have a loan, an account, or both, from the bank

customer_name (borrower) customer_name (depositor)

Page 38: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Example QueriesFind the names of all customers who have a loan at the

Perryridge branch.

Find the names of all customers who have a loan at the Perryridge branch but do not have an account at any branch of the bank.customer_name (branch_name = “Perryridge”

(borrower.loan_number = loan.loan_number(borrower x loan))) –

customer_name(depositor)

customer_name (branch_name=“Perryridge”

(borrower.loan_number = loan.loan_number(borrower x loan)))

Page 39: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Example QueriesFind the names of all customers who have a loan at the Perryridge branch.

Query 2

customer_name(loan.loan_number = borrower.loan_number (

(branch_name = “Perryridge” (loan)) x borrower))

Query 1

customer_name (branch_name = “Perryridge”

(borrower.loan_number = loan.loan_number (borrower x loan)))

Page 40: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Example Queries• Find the largest account balance

– Strategy:• Find those balances that are not the largest

– Rename account relation as d so that we can compare each account balance with all others

• Use set difference to find those account balances that were not found in the earlier step.

– The query is:

balance(account) - account.balance

(account.balance < d.balance (account x d (account)))

Page 41: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Formal Definition• A basic expression in the relational algebra consists of either

one of the following:– A relation in the database– A constant relation

• Let E1 and E2 be relational-algebra expressions; the following are all relational-algebra expressions:

– E1 E2

– E1 – E2

– E1 x E2

p (E1), P is a predicate on attributes in E1

s(E1), S is a list consisting of some of the attributes in E1

x (E1), x is the new name for the result of E1

Page 42: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Additional OperationsWe define additional operations that do not add any power

to the

relational algebra, but that simplify common queries.

• Set intersection• Natural join• Division• Assignment

Page 43: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Set-Intersection Operation• Notation: r s

• Defined as:

• r s = { t | t r and t s }

• Assume: – r, s have the same arity – attributes of r and s are compatible

• Note: r s = r – (r – s)

Page 44: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Set-Intersection Operation – Example

• Relation r, s:

• r s

A B

121

A B

23

r s

A B

2

Page 45: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Notation: r sNatural-Join Operation

• Let r and s be relations on schemas R and S respectively. Then, r s is a relation on schema R S obtained as follows:– Consider each pair of tuples tr from r and ts from s.

– If tr and ts have the same value on each of the attributes in R S, add a tuple t to the result, where• t has the same value as tr on r

• t has the same value as ts on s

Page 46: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Natural joint example

• Example:R = (A, B, C, D)

S = (E, B, D)– Result schema = (A, B, C, D, E)– r s is defined as:

r.A, r.B, r.C, r.D, s.E (r.B = s.B r.D = s.D (r x s))

Page 47: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Natural Join Operation – Example

• Relations r, s:

A B

12412

C D

aabab

B

13123

D

aaabb

E

r

A B

11112

C D

aaaab

E

s

r s

Page 48: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Division Operation• Notation: • Suited to queries that include the phrase “for all”*.• Let r and s be relations on schemas R and S

respectively where– R = (A1, …, Am , B1, …, Bn )– S = (B1, …, Bn)

The result of r s is a relation on schema

R – S = (A1, …, Am)

r s = { t | t R-S (r) u s ( tu r ) } Where tu means the concatenation of tuples t and u to

produce a single tuple

r s

Page 49: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Division Operation – Example

Relations r, s:

r s: A

B

1

2

A B

12311134612

r

s

Page 50: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Another Division ExampleA B

aaaaaaaa

C D

aabababb

E

11113111

Relations r, s:

r s:

D

ab

E

11

A B

aa

C

r

s

Page 51: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Division Operation (Cont.)• Property

– Let q = r s– Then q is the largest relation satisfying q x s r

• Definition in terms of the basic algebra operationLet r(R) and s(S) be relations, and let S R

r s = R-S (r ) – R-S ( ( R-S (r ) x s ) – R-S,S(r ))

To see why R-S,S (r) simply reorders attributes of r

R-S (R-S (r ) x s ) – R-S,S(r) ) gives those tuples t in

R-S (r ) such that for some tuple u s, tu r.

Page 52: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Assignment Operation• The assignment operation () provides a convenient way to

express complex queries. – Write query as a sequential program consisting of

• a series of assignments • followed by an expression whose value is displayed as a result of the

query.

– Assignment must always be made to a temporary relation variable.

• Example: Write r s as

temp1 R-S (r ) temp2 R-S ((temp1 x s ) – R-S,S (r ))result = temp1 – temp2

– The result to the right of the is assigned to the relation variable on the left of the .

– May use variable in subsequent expressions.

Page 53: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Bank Example Queries Find the names of all customers who have a loan

and an account at the bank.

customer_name (borrower) customer_name (depositor)

• Find the name of all customers who have a loan at the

bank and the loan amount

customer_name, loan_number, amount (borrower loan)

Page 54: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Query 1

customer_name (branch_name = “Downtown” (depositor account ))

customer_name (branch_name = “Uptown” (depositor account))

Query 2

customer_name, branch_name (depositor account)

temp(branch_name) ({(“Downtown” ), (“Uptown” )})

Note that Query 2 uses a constant relation.

Bank Example Queries• Find all customers who have an account from at least the

“Downtown” and the “Uptown” branches.

Page 55: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

• Find all customers who have an account at all

branches located in Brooklyn city.

Bank Example Queries

customer_name, branch_name (depositor account)

branch_name (branch_city = “Brooklyn” (branch))

Page 56: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Library Case

author bookreservation

copy borrow

title

publisheryear

date nameInitials

name

department

cancelled

departmentdepartment

name

from

topresent cpYear

Page 57: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Library database

book ( ISBN, title, publisher, year )

author (ISBN, initials, name )

copy (barcode, ISBN, department, cpYear, present )

reservation (name, department, ISBN, date, cancelled )

borrow (name, department, barcode, from, to )

Page 58: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Library Questions (RA)

1 List all the authors of books of which the library has a copy that has never been borrowed.

2 List all the authors of books that have never been borrowed.

3 List all the authors of which no book has ever been borrowed.

Page 59: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

(simple) Employee database

• employee(person_name, street, city)

• works(person_name, company_name, salary)

• company(company_name, city)

• manages(person_name, manager_name)

Page 60: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Exercise 2.1.c• Find the names of all employees who earn

more than every employee of “SBC”.– The “more than every...” clause cannot be

expressed directly in the relational algebra.– For all other employees there is an employee of

“SBC” earning more. This can be described using a selection on a cartesian product (of works with works).

– We then use the difference to find the correct result.

Page 61: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Solution 2.1.c

person-name (W) –

- person-name( (w.salary<=w2.salary ^ w2.company-name = ‘SBC’ (W x W2(W) ))

Page 62: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Exercise 2.5.e

• Find all companies located in every city in which “SBC” is located.

Page 63: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Case 1: 1 city per company

C.company-name (

(C.city=SBC.city

(C (company ) x (SBC.company-name=‘SBC’ (SBC (company ) ) )

Trivial!

Page 64: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Case 2: multiple cities per company• Find all companies located in every city in which

“SBC” is located.– The “every city...” clause cannot be expressed directly

in the relational algebra (except for division).– Let’s see …

Page 65: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Case 2a: multiple cities: division• All cities where SBC is located:

• SBCCity = city (company-name=‘SBC’ (company ) )

• Is SBCCity constant?• Yes!• So we can use it on the right hand side of the

division.• companies located in every city in which “SBC”

is located:• company SBCCity• Still quite neat!!

Page 66: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Case 2b: multiple cities: no division• Find all companies located in every city in which

“SBC” is located.– The “every city...” clause cannot be expressed directly

in the relational algebra (except for division).– For the other companies there is a city in which “SBC”

is located and the other company is not.– The cities where a company is not located are all the

cities except the ones where the company is located.– We thus need 2 times a difference in this query.– Can also be formulated using a difference operator

Page 67: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Case 2b: multiple cities: no division

• For the other companies there is a city in which “SBC” is located and the other company is not = IntRes.

• E = company-name (company ) x SBCCity

• IntRes = E – company

• We want not (IntRes):company-name (company ) - company-name (IntRes)

Page 68: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

What is the meaning of:

SBCCity

)(_

companynamecompany

))()((,_

companySBCCitycompanycnamecitycnamenamecompany

))((_

companySBCnamecompanycity

Page 69: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Recognizing Types of Queries

• Identify the type of the following queries, and afterwards also translate them to the algebra (PSJ, union, intersection, difference, division):

1. Give the name of customers that have a loan with a branch where they also have an account.

2. Give the name of customers who have a loan at a branch where they do not have an account.

3. Give the name of customers who have a loan at every branch where they have an account.

4. Give the name of customers who have loans only at branches where they have an account.

Page 70: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Reading Queries

customer-name(

balance>amount(

account depositor borrower loan))

branch-name

(branch)

branch-name

(branch-city customer-city

(

branch account depositor customer))

X.customer-name

(X.account-number = Y.account-number X.customer-name Y.customer-name

(X(depositor)

Y(depositor)))

Page 71: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Beer Database

• visits(drinker, bar)

• serves(bar, beer)

• likes(drinker, beer).

Page 72: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Beer questions with a difference

1. Give all drinkers that visit bars that don’t serve any beer they like

2. Give all drinkers that only visit bars that serve a beer they like

3. Give all drinkers that only visit bars that serve no beer they like

4. Give all drinkers that only visit bars that serve all beers they like (and maybe other beers as well)

5. Give all drinkers that only visit bars that only serve beers they like (and thus serve nothing else)

Page 73: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

Summary

• We have learned RA

• We have learned to perform simple and more complex queries in RA

Page 74: Dr. Alexandra I. Cristea acristea/ CS 319: Theory of Databases: C4

… to follow

Query optimisation