17
1 1 9/10/2015 CS445 DATABASES: LECTURE 3 CS445 - Introduction to Database Management Systems Fall 2015 LECTURE 3: Relational Algebra TEXTBOOK REFERENCE: CHAPTER 4 R&G 2 Database Application Development Database Design: Requirements Analysis: used to create… ER Diagram: used to create… Database Schema: used to create… Normalized Database Schema: use to create … Physical database design using DDL Application Design: SQL Commands embedded in Webpage, Application front ends, SQL Manager Interface, etc9/10/2015 CS445 DATABASES: LECTURE 3

Database Application Development - Pacific Universityzeus.cs.pacificu.edu/lanec/cs445f15/Lectures/cs445f15... · 2015. 10. 5. · 3 9/10/2015 CS445 DATABASES: LECTURE 3 5 Formal Relational

  • Upload
    others

  • View
    0

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Database Application Development - Pacific Universityzeus.cs.pacificu.edu/lanec/cs445f15/Lectures/cs445f15... · 2015. 10. 5. · 3 9/10/2015 CS445 DATABASES: LECTURE 3 5 Formal Relational

1

1 9/10/2015 CS445 DATABASES: LECTURE 3

CS445 - Introduction to

Database Management Systems

Fall 2015

LECTURE 3:

Relational Algebra

TEXTBOOK REFERENCE: CHAPTER 4 R&G

2

Database Application Development

Database Design:

Requirements Analysis: used to create…

ER Diagram: used to create…

Database Schema: used to create…

Normalized Database Schema: use to create …

Physical database design using DDL

Application Design:

SQL Commands embedded in Webpage, Application front

ends, SQL Manager Interface, etc…

9/10/2015 CS445 DATABASES: LECTURE 3

Page 2: Database Application Development - Pacific Universityzeus.cs.pacificu.edu/lanec/cs445f15/Lectures/cs445f15... · 2015. 10. 5. · 3 9/10/2015 CS445 DATABASES: LECTURE 3 5 Formal Relational

2

3

Details of DBMS (page 20)

9/10/2015 CS445 DATABASES: LECTURE 3

4 9/10/2015 CS445 DATABASES: LECTURE 3

Today: Formal Query Languages

Pretty Theoretical

Foundation of query processing

Formal notation

cleaner, more compact than SQL

Much easier than what came before

more declarative, less procedural

Page 3: Database Application Development - Pacific Universityzeus.cs.pacificu.edu/lanec/cs445f15/Lectures/cs445f15... · 2015. 10. 5. · 3 9/10/2015 CS445 DATABASES: LECTURE 3 5 Formal Relational

3

5 9/10/2015 CS445 DATABASES: LECTURE 3

Formal Relational Query Languages

Two mathematical Query Languages form the basis for

“real” languages (e.g. SQL), and for implementation:

Relational Algebra: More operational, very useful for

representing execution plans.

Relational Calculus: Lets users describe what they

want, rather than how to compute it. (even more

declarative.)

* Understanding Relational Algebra is key to understanding SQL and query processing!

6 9/10/2015 CS445 DATABASES: LECTURE 3

Example: Joining Two Tables

Pre-Relational:

Write a program

Relational SQL:

Select name, cid

From students s, enrolled e

Where s.sid = e.sid

Relational Algebra

sid name login age gpa

53666 Jones jones@cs 18 3.4

53688 Smith smith@phy 18 3.2

53650 Smith smith@math 19 3.8

cid grade sid

Med101 C 53666

Reggae203 B 53666

Math412 A 53650

CS445 B 53666

Enrolled

Students

)(,

EnrolledStudents sidcidname

Page 4: Database Application Development - Pacific Universityzeus.cs.pacificu.edu/lanec/cs445f15/Lectures/cs445f15... · 2015. 10. 5. · 3 9/10/2015 CS445 DATABASES: LECTURE 3 5 Formal Relational

4

7 9/10/2015 CS445 DATABASES: LECTURE 3

Preliminaries (1)

Query applied to relation instances, result of a query is

also a relation instance.

Schemas of input relations for a query are fixed

(but query will run over any legal instance)

Schema for query result also fixed, determined by definitions of

the query language constructs.

Query

Relation Instance 1

Relation Instance 2

Relation Instance 3

Relation Instance N

Relation Instance

...

8 9/10/2015 CS445 DATABASES: LECTURE 3

Preliminaries (2)

Positional vs. named-field notation:

Positional notation easier for formal definitions, named-field

notation more readable.

Both used in SQL

Though positional notation is not encouraged

i.e.., Fields can be referred to by name, or position

e.g., Student’s ‘age’ can be called ‘age’ or 4

Students(sid: string, name: string, login: string, age: integer, gpa:real)

Page 5: Database Application Development - Pacific Universityzeus.cs.pacificu.edu/lanec/cs445f15/Lectures/cs445f15... · 2015. 10. 5. · 3 9/10/2015 CS445 DATABASES: LECTURE 3 5 Formal Relational

5

9 9/10/2015 CS445 DATABASES: LECTURE 3

Relational Algebra: 5 Basic Operations

Selection ( s ) Selects a subset of rows from relation

(horizontal).

Projection ( ) Retains only wanted columns from

relation (vertical).

Cross-product ( ) Allows us to combine two relations.

Set-difference ( — ) Tuples in r1, but not in r2.

Union ( ) Tuples in r1 and/or in r2.

Since each operation returns a relation, operations can be composed!

(Algebra is “closed” with respect to composition)

10 9/10/2015 CS445 DATABASES: LECTURE 3

Example Instances

R1 S1

S2

bid bname color

101 Interlake blue

102 Interlake red

103 Clipper green

104 Marine red

Boats

sid bid day

22 101 10/10/96

58 103 11/12/96

sid sname rating age

28 yuppy 9 35.0

31 lubber 8 55.5

44 guppy 5 35.0

58 rusty 10 35.0

sid sname rating age

22 dustin 7 45.0

31 lubber 8 55.5

58 rusty 10 35.0

Page 6: Database Application Development - Pacific Universityzeus.cs.pacificu.edu/lanec/cs445f15/Lectures/cs445f15... · 2015. 10. 5. · 3 9/10/2015 CS445 DATABASES: LECTURE 3 5 Formal Relational

6

11 9/10/2015 CS445 DATABASES: LECTURE 3

Projection ()

age S( )2 Examples: ;

Retains only attributes that are in the “projection

list”.

Schema of result:

exactly the fields in the projection list, with the same names that

they had in the input relation.

Projection operator has to eliminate duplicates

(How do they arise? Why remove them?)

Note: real systems typically don’t do duplicate elimination unless

the user explicitly asks for it.

sname rating

S,

( )2

12 9/10/2015 CS445 DATABASES: LECTURE 3

Projection

sname rating

yuppy 9

lubber 8 guppy 5 rusty 10

)2(, Sratingsname

age

35.055.5

sid sname rating age

28 yuppy 9 35.0

31 lubber 8 55.5

44 guppy 5 35.0

58 rusty 10 35.0

age S( )2

S2

Page 7: Database Application Development - Pacific Universityzeus.cs.pacificu.edu/lanec/cs445f15/Lectures/cs445f15... · 2015. 10. 5. · 3 9/10/2015 CS445 DATABASES: LECTURE 3 5 Formal Relational

7

13 9/10/2015 CS445 DATABASES: LECTURE 3

Selection (s)

srating

S8

2( )

sname rating

yuppy 9

rusty 10

ssname rating rating

S,

( ( ))8

2

Selects rows that satisfy selection condition.

Result is a relation.

Schema of result is same as that of the input relation.

Do we need to do duplicate elimination?

sid sname rating age

28 yuppy 9 35.0

31 lubber 8 55.5

44 guppy 5 35.0

58 rusty 10 35.0

14 9/10/2015 CS445 DATABASES: LECTURE 3

Union and Set-Difference ( )

All of these operations take two input relations, which

must be union-compatible:

Same number of fields.

`Corresponding’ fields have the same data type.

For which, if any, is duplicate elimination required?

,

Page 8: Database Application Development - Pacific Universityzeus.cs.pacificu.edu/lanec/cs445f15/Lectures/cs445f15... · 2015. 10. 5. · 3 9/10/2015 CS445 DATABASES: LECTURE 3 5 Formal Relational

8

15 9/10/2015 CS445 DATABASES: LECTURE 3

Union

sid sname rating age

22 dustin 7 45.031 lubber 8 55.558 rusty 10 35.044 guppy 5 35.028 yuppy 9 35.0

21 SS

sid sname rating age

22 dustin 7 45.0

31 lubber 8 55.5

58 rusty 10 35.0

sid sname rating age

28 yuppy 9 35.0

31 lubber 8 55.5

44 guppy 5 35.0

58 rusty 10 35.0

S1

S2

16 9/10/2015 CS445 DATABASES: LECTURE 3

Set Difference

sid sname rating age

22 dustin 7 45.0

31 lubber 8 55.5

58 rusty 10 35.0

sid sname rating age

28 yuppy 9 35.0

31 lubber 8 55.5

44 guppy 5 35.0

58 rusty 10 35.0

S1

S2

sid sname rating age

22 dustin 7 45.0

S S1 2

S2 – S1

sid sname rating age

28 yuppy 9 35.0

44 guppy 5 35.0

Page 9: Database Application Development - Pacific Universityzeus.cs.pacificu.edu/lanec/cs445f15/Lectures/cs445f15... · 2015. 10. 5. · 3 9/10/2015 CS445 DATABASES: LECTURE 3 5 Formal Relational

9

17 9/10/2015 CS445 DATABASES: LECTURE 3

Cross-Product

S1 R1: Each row of S1 paired with each row of R1.

Q: How many rows in the result?

Result schema has one field per field of S1 and R1,

with field names `inherited’ if possible.

May have a naming conflict: Both S1 and R1 have a field with

the same name.

In this case, can use the renaming operator:

Returns a relation C with schema

C(sid1:int, sname:string, rating:int, age:real, sid2:int, bid:int,

day:dates)

( ( , ), )C sid sid S R1 1 5 2 1 1

18 9/10/2015 CS445 DATABASES: LECTURE 3

Cross Product Example

(sid) sname rating age (sid) bid day

22 dustin 7 45.0 22 101 10/10/96

22 dustin 7 45.0 58 103 11/12/96

31 lubber 8 55.5 22 101 10/10/96

31 lubber 8 55.5 58 103 11/12/96

58 rusty 10 35.0 22 101 10/10/96

58 rusty 10 35.0 58 103 11/12/96

sid sname rating age

22 dustin 7 45.0

31 lubber 8 55.5

58 rusty 10 35.0

sid bid day

22 101 10/10/96

58 103 11/12/96

R1 S1

S1 X R1 =

Page 10: Database Application Development - Pacific Universityzeus.cs.pacificu.edu/lanec/cs445f15/Lectures/cs445f15... · 2015. 10. 5. · 3 9/10/2015 CS445 DATABASES: LECTURE 3 5 Formal Relational

10

19 9/10/2015 CS445 DATABASES: LECTURE 3

Compound Operator: Intersection

In addition to the 5 basic operators, there are several

additional “Compound Operators”

These add no computational power to the language, but are

useful shorthands.

Can be expressed solely with the basic ops.

Intersection takes two input relations, which must be

union-compatible.

Q: How to express it using basic operators?

R S = R (R S)

20 9/10/2015 CS445 DATABASES: LECTURE 3

Intersection

sid sname rating age

22 dustin 7 45.0

31 lubber 8 55.5

58 rusty 10 35.0

sid sname rating age

28 yuppy 9 35.0

31 lubber 8 55.5

44 guppy 5 35.0

58 rusty 10 35.0

S1

S2

sid sname rating age

31 lubber 8 55.558 rusty 10 35.0

21 SS

Page 11: Database Application Development - Pacific Universityzeus.cs.pacificu.edu/lanec/cs445f15/Lectures/cs445f15... · 2015. 10. 5. · 3 9/10/2015 CS445 DATABASES: LECTURE 3 5 Formal Relational

11

21 9/10/2015 CS445 DATABASES: LECTURE 3

Compound Operator: Join

Joins are compound operators involving cross product, selection, and (sometimes) projection.

Most common type of join is a “natural join” (often just called “join”). R S conceptually is: Compute R S

Select rows where attributes that appear in both relations have equal values

Project all unique attributes and one copy of each of the common ones.

Note: Usually done much more efficiently than this.

22 9/10/2015 CS445 DATABASES: LECTURE 3

Natural Join Example

sid sname rating age

22 dustin 7 45.0

31 lubber 8 55.5

58 rusty 10 35.0

sid bid day

22 101 10/10/96

58 103 11/12/96

R1

S1 S1 R1 =

sid sname rating age bid day

22 dustin 7 45.0 101 10/10/9658 rusty 10 35.0 103 11/12/96

Page 12: Database Application Development - Pacific Universityzeus.cs.pacificu.edu/lanec/cs445f15/Lectures/cs445f15... · 2015. 10. 5. · 3 9/10/2015 CS445 DATABASES: LECTURE 3 5 Formal Relational

12

23 9/10/2015 CS445 DATABASES: LECTURE 3

Other Types of Joins

Condition Join (or “theta-join”):

Result schema same as that of cross-product.

May have fewer tuples than cross-product. Equi-Join: Special case: condition c contains only conjunction

of equalities.

Inner, outer, left, right…more on these later.

R c S c R S s ( )

(sid) sname rating age (sid) bid day

22 dustin 7 45.0 58 103 11/12/9631 lubber 8 55.5 58 103 11/12/96

11.1.1

RSsidRsidS

24 9/10/2015 CS445 DATABASES: LECTURE 3

Compound Operator: Division

Useful for expressing “for all” queries like:

Find sids of sailors who have reserved all boats.

For A/B attributes of B are subset of attrs of A.

May need to “project” to make this happen.

For example: let A have 2 fields, x and y; B have only

field y:

A/B contains all tuples (x) such that for every y tuple in B,

there is an xy tuple in A.

),( AyxByxBA

Page 13: Database Application Development - Pacific Universityzeus.cs.pacificu.edu/lanec/cs445f15/Lectures/cs445f15... · 2015. 10. 5. · 3 9/10/2015 CS445 DATABASES: LECTURE 3 5 Formal Relational

13

25 9/10/2015 CS445 DATABASES: LECTURE 3

Examples of Division A/B

sno pnos1 p1s1 p2s1 p3s1 p4s2 p1s2 p2s3 p2

s4 p2

s4 p4

pnop2

pnop2p4

pnop1p2p4

snos1s2s3s4

snos1s4

snos1

A

B1 B2

B3

A/B1 A/B2 A/B3

26 9/10/2015 CS445 DATABASES: LECTURE 3

Expressing A/B Using Basic Operators

Division is not essential op; just a useful shorthand.

(Also true of joins, but joins are so common that systems implement

joins specially.)

Idea: For A/B, compute all x values that are not `disqualified’

by some y value in B.

x value is disqualified if by attaching y value from B, we obtain an xy

tuple that is not in A.

Disqualified x values: x x A B A(( ( ) ) )

A/B: x A( ) Disqualified x values

Page 14: Database Application Development - Pacific Universityzeus.cs.pacificu.edu/lanec/cs445f15/Lectures/cs445f15... · 2015. 10. 5. · 3 9/10/2015 CS445 DATABASES: LECTURE 3 5 Formal Relational

14

27 9/10/2015 CS445 DATABASES: LECTURE 3

Examples

sid sname rating age

22 dustin 7 45.0

31 lubber 8 55.5

58 rusty 10 35.0

bid bname color

101 Interlake Blue

102 Interlake Red

103 Clipper Green

104 Marine Red

sid bid day

22 101 10/10/96

58 103 11/12/96

Reserves Sailors

Boats

28 9/10/2015 CS445 DATABASES: LECTURE 3

Sailors who’ve reserved boat #103

Solution 1:

Solution 2:

ssname bidserves Sailors(( Re ) )

103

ssname bidserves Sailors( (Re ))

103

Which do you think the query optimizer would choose?

Page 15: Database Application Development - Pacific Universityzeus.cs.pacificu.edu/lanec/cs445f15/Lectures/cs445f15... · 2015. 10. 5. · 3 9/10/2015 CS445 DATABASES: LECTURE 3 5 Formal Relational

15

29 9/10/2015 CS445 DATABASES: LECTURE 3

Sailors that have reserved red boat

Information about boat color only available in Boats; so

need an extra join:

A more efficient solution:

ssname color redBoats serves Sailors((

' ') Re )

ssname sid bid color redBoats s Sailors( ((

' ') Re ) )

* NOTE: A query optimizer can find this given the first solution!

30 9/10/2015 CS445 DATABASES: LECTURE 3

Sailors who’ve reserved red or green boat

Can identify all red or green boats, then find sailors

who’ve reserved one of these boats:

s( , (' ' ' '

))Tempboatscolor red color green

Boats

sname Tempboats serves Sailors( Re )

Page 16: Database Application Development - Pacific Universityzeus.cs.pacificu.edu/lanec/cs445f15/Lectures/cs445f15... · 2015. 10. 5. · 3 9/10/2015 CS445 DATABASES: LECTURE 3 5 Formal Relational

16

31 9/10/2015 CS445 DATABASES: LECTURE 3

Sailors who’ve reserved red and green boat

Previous approach won’t work! Must identify sailors

who’ve reserved red boats, sailors who’ve reserved

green boats, then find the intersection (note that sid is a

key for Sailors):

s( , ((' '

) Re ))Tempredsid color red

Boats serves

sname Tempred Tempgreen Sailors(( ) )

s( , ((' '

) Re ))Tempgreensid color green

Boats serves

32 9/10/2015 CS445 DATABASES: LECTURE 3

Sailors who’ve reserved all boats

Uses division; schemas of the input relations to /

must be carefully chosen:

To find sailors who’ve reserved all ‘Interlake’ boats:

( , (,

Re ) / ( ))Tempsidssid bid

servesbid

Boats

sname Tempsids Sailors( )

/ (' '

) sbid bname Interlake

Boats

.....

Page 17: Database Application Development - Pacific Universityzeus.cs.pacificu.edu/lanec/cs445f15/Lectures/cs445f15... · 2015. 10. 5. · 3 9/10/2015 CS445 DATABASES: LECTURE 3 5 Formal Relational

17

33 9/10/2015 CS445 DATABASES: LECTURE 3

Summary

Relational Algebra: a small set of operators mapping

relations to relations

Operational, in the sense that you specify the explicit order of

operations

A closed set of operators! Can mix and match.

Basic ops include: s, , , , —

Important compound ops: , , /