CS 319: Theory of Databases: C4

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

description

CS 319: Theory of Databases: C4. Dr. Alexandra I. Cristea http://www.dcs.warwick.ac.uk/~acristea/. (provisionary) Content. Generalities DB Temporal Data Integrity constraints (FD revisited) Relational Algebra (revisited) Query optimisation Tuple calculus Domain calculus - PowerPoint PPT Presentation

Transcript of CS 319: Theory of Databases: C4

Page 1: 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: 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: CS 319: Theory of Databases: C4

… previous

FD

Page 5: 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: CS 319: Theory of Databases: C4

Example of a Relation Instance

Page 7: 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: 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: 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: 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: 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: 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: 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: CS 319: Theory of Databases: C4

The customer Relation

Page 15: CS 319: Theory of Databases: C4

The depositor Relation

Page 16: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: CS 319: Theory of Databases: C4

• Revise basic operators!

Page 34: 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: 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: CS 319: Theory of Databases: C4
Page 37: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: CS 319: Theory of Databases: C4

Exercise 2.5.e

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

Page 63: 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: 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: 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: 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: 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: CS 319: Theory of Databases: C4

What is the meaning of:

SBCCity

)(_

companynamecompany

))()((,_

companySBCCitycompanycnamecitycnamenamecompany

))((_

companySBCnamecompanycity

Page 69: 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: 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: CS 319: Theory of Databases: C4

Beer Database

• visits(drinker, bar)

• serves(bar, beer)

• likes(drinker, beer).

Page 72: 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: 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: CS 319: Theory of Databases: C4

… to follow

Query optimisation