The presentation discusses about the following topics:
DBMS Architecture
Relational Algebra Review
Relational calculus
Relational calculus building blocks
Tuple relational calculus
Tuple relational calculus Formulas
1. Department of Information Technology 1Data base Technologies (ITB4201)
Introduction to Relational Calculus
Dr. C.V. Suresh Babu
Professor
Department of IT
Hindustan Institute of Science & Technology
2. Department of Information Technology 2Data base Technologies (ITB4201)
Discussion Topics
• DBMS Architecture
• Relational Algebra Review
• Relational calculus
• Relational calculus building blocks
• Tuple relational calculus
• Tuple relational calculus Formulas
• Quiz
3. Department of Information Technology 3Data base Technologies (ITB4201)
DBMS Architecture
How does a SQL engine work ?
• SQL query relational
algebra plan
• Relational algebra plan
Optimized plan
• Execute each operator of the
plan
Query Optimization
and Execution
Relational Operators
Files and Access Methods
Buffer Management
Disk Space Management
DB
PracticeTheory
Relational Algebra
Relational Model
Relational Calculus
4. Department of Information Technology 4Data base Technologies (ITB4201)
Where are we going next?
Query Optimization
and Execution
Relational Operators
Files and Access Methods
Buffer Management
Disk Space Management
DB
Practice
SQL
On Deck:
Practical
ways of
evaluating
SQL
5. Department of Information Technology 5Data base Technologies (ITB4201)
Review – Why do we need Query Languages anyway?
• Two key advantages
– Less work for user asking query
– More opportunities for optimization
• Relational Algebra
– Theoretical foundation for SQL
– Higher level than programming language
• but still must specify steps to get desired result
• Relational Calculus
– Formal foundation for Query-by-Example
– A first-order logic description of desired result
– Only specify desired result, not how to get it
6. Department of Information Technology 6Data base Technologies (ITB4201)
Additional operations:
•Intersection ()
•Join ( )
•Division ( / )
Relational Algebra Review
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
Basic operations:
•Selection ( σ )
•Projection ( π )
•Cross-product ( )
•Set-difference ( — )
•Union ( )
:tuples in both relations.
:like but only keep tuples where common fields are equal.
:tuples from relation 1 with matches in relation 2
: gives a subset of rows.
: deletes unwanted columns.
: combine two relations.
: tuples in relation 1, but not 2
: tuples in relation 1 and 2.
Query Optimization
and Execution
Relational Operators
Files and Access Methods
Buffer Management
Disk Space Management
DB
Prediction: These
relational operators are
going to look hauntingly
familiar when we get to
them…!
7. Department of Information Technology 7Data base Technologies (ITB4201)
Additional operations:
•Intersection ()
•Join ( )
•Division ( / )
Relational Algebra Review
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
Basic operations:
•Selection ( σ )
•Projection ( π )
•Cross-product ( )
•Set-difference ( — )
•Union ( )
Find names of sailors who’ve reserved a green boat
σ( color=‘Green’Boats)( Sailors)π( sname )( Reserves)
8. Department of Information Technology 8Data base Technologies (ITB4201)
Relational Algebra Review
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
Find names of sailors who’ve reserved a green boat
Given the previous algebra, a query optimizer would replace it with this!
σ( color=‘Green’Boats)
( Sailors)
π( sname )
( Reserves)
π( bid )
π( sid )
Or better yet:
9. Department of Information Technology 9Data base Technologies (ITB4201)
Relational Calculus
• High-level, first-order logic description
– A formal definition of what you want from the database
• e.g. English:
“Find all sailors with a rating above 7”
In Calculus:
{S |S Sailors S.rating > 7}
“From all that is, find me the set of things that are tuples in the Sailors relation and whose rating field is
greater than 7.”
• Two flavors:
– Tuple relational calculus (TRC) (Like SQL)
– Domain relational calculus (DRC) (Like QBE)
10. Department of Information Technology 10Data base Technologies (ITB4201)
Relational Calculus Building Blocks
• Variables
TRC: Variables are bound to tuples.
DRC: Variables are bound to domain elements (= column values)
• Constants
7, “Foo”, 3.14159, etc.
• Comparison operators
=, <>, <, >, etc.
• Logical connectives
- not
– and
- or
- implies
- is a member of
• Quantifiers
X(p(X)): For every X, p(X) must be true
X(p(X)): There exists at least one X such that p(X) is true
11. Department of Information Technology 11Data base Technologies (ITB4201)
Relational Calculus
• English example: Find all sailors with a rating
above 7
– Tuple R.C.:
{S |S Sailors S.rating > 7}
“From all that is, find me the set of things that are tuples in the Sailors relation
and whose rating field is greater than 7.”
– Domain R.C.:
{<S,N,R,A>| <S,N,R,A> Sailors R > 7}
“From all that is, find me column values S, N, R, and A, where S is an integer,
N is a string, R is an integer, A is a floating point number, such that <S, N, R,
A> is a tuple in the Sailors relation and R is greater than 7.”
sid sname rating age
28 yuppy 9 35.0
31 lubber 8 55.5
44 guppy 5 35.0
58 rusty 10 35.0
12. Department of Information Technology 12Data base Technologies (ITB4201)
Tuple Relational Calculus
• Query form: {T | p(T)}
– T is a tuple and p(T) denotes a formula in which tuple variable T
appears.
• Answer:
– set of all tuples T for which the formula p(T) evaluates to true.
• Formula is recursively defined:
– Atomic formulas get tuples from relations or compare values
– Formulas built from other formulas using logical operators.
13. Department of Information Technology 13Data base Technologies (ITB4201)
• An atomic formula is one of the following:
R Rel
R.a op S.b
R.a op constant, where
op is one of
• A formula can be:
– an atomic formula
– where p and q are formulas
– where variable R is a tuple variable
– where variable R is a tuple variable
TRC Formulas
, , , , ,
p p q p q, ,
))(( RpR
))(( RpR
14. Department of Information Technology 14Data base Technologies (ITB4201)
Free and Bound Variables
• The use of quantifiers X and X in a formula
is said to bind X in the formula.
– A variable that is not bound is free.
• Important restriction
{T | p(T)}
– The variable T that appears to the left of `|’ must be
the only free variable in the formula p(T).
– In other words, all other tuple variables must be
bound using a quantifier.
15. Department of Information Technology 15Data base Technologies (ITB4201)
Use of (For every)
• x (P(x)):
only true if P(x) is true for every x in the universe:
e.g. x ((x.color = “Red”)
means everything that exists is red
• Usually we are less grandiose in our assertions:
x ( (x Boats) (x.color = “Red”)
• is a logical implication
a b means that if a is true, b must be true
a b is the same as a b
16. Department of Information Technology 16Data base Technologies (ITB4201)
a b is the same as a b
• If a is true, b must
be true!
– If a is true and b is
false, the
expression
evaluates to false.
• If a is not true, we
don’t care about b
– The expression is
always true.
a
T
F
T F
b
T
T T
F
17. Department of Information Technology 17Data base Technologies (ITB4201)
Quantifier Shortcuts
• x ((x Boats) (x.color = “Red”))
“For every x in the Boats relation, the color must be Red.”
Can also be written as:
x Boats(x.color = “Red”)
• x ( (x Boats) (x.color = “Red”))
“There exists a tuple x in the Boats relation whose
color is Red.”
Can also be written as:
x Boats (x.color = “Red”)
18. Department of Information Technology 18Data base Technologies (ITB4201)
Selection and Projection
• Selection
Find all sailors with rating above 8
{S |S Sailors S.rating > 8}
{S | S1 Sailors(S1.rating > 8
S.sname = S1.sname
S.age = S1.age)}
S is a tuple variable of 2 fields (i.e. {S} is a projection of Sailors)
sid sname rating age
28 yuppy 9 35.0
31 lubber 8 55.5
44 guppy 5 35.0
58 rusty 10 35.0
sname age
• Projection
Find names and ages of sailors with rating above 8.
S
S1
yuppy 35.0
S1
S1
S1
S rusty 35.0
19. Department of Information Technology 19Data base Technologies (ITB4201)
Note the use of to find a tuple in Reserves that
`joins with’ the Sailors tuple under consideration.
{S | SSailors S.rating > 7
R(RReserves R.sid = S.sid
R.bid = 103)}
Joins
Find sailors rated > 7 who’ve reserved
boat #103
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
S
S
S
R
R
What if there was another tuple {58, 103, 12/13/96} in the
Reserves relation?
20. Department of Information Technology 20Data base Technologies (ITB4201)
Joins (continued)
Notice how the parentheses control the scope of each quantifier’s binding.
{S | SSailors S.rating > 7
R(RReserves R.sid = S.sid
B(BBoats B.bid = R.bid
B.color = ‘red’))}
Find sailors rated > 7 who’ve reserved a red boat
What does this expression compute?
21. Department of Information Technology 21Data base Technologies (ITB4201)
Division
Find all sailors S such that…
A value x in A is disqualified if by attaching a y value from B, we obtain an xy tuple
that is not in A. (e.g: only give me A tuples that have a match in B.
{S | SSailors
BBoats (RReserves
(S.sid = R.sid
B.bid = R.bid))}
e.g. Find sailors who’ve reserved all boats:
•Recall the algebra expression A/B…
In calculus, use the operator:
For all tuples B in Boats…
There is at least one tuple in Reserves…
showing that sailor S has reserved B.
22. Department of Information Technology 22Data base Technologies (ITB4201)
Unsafe Queries, Expressive Power
• syntactically correct calculus queries that have an
infinite number of answers! These are unsafe queries.
– e.g.,
– Solution???? Don’t do that!
• Expressive Power (Theorem due to Codd):
– Every query that can be expressed in relational algebra can be
expressed as a safe query in DRC / TRC; the converse is also
true.
• Relational Completeness: Query languages (e.g., SQL) can
express every query that is expressible in relational
algebra/calculus. (actually, SQL is more powerful, as we
will see…)
S|SSailors
23. Department of Information Technology 23Data base Technologies (ITB4201)
Relational Completeness means…
Query Optimization
and Execution
Relational Operators
Files and Access Methods
Buffer Management
Disk Space Management
DB
PracticeTheory
Relational Algebra
Relational Model
Relational Calculus
24. Department of Information Technology 24Data base Technologies (ITB4201)
Now we can study SQL!
Query Optimization
and Execution
Relational Operators
Files and Access Methods
Buffer Management
Disk Space Management
DB
Practice
SQL
25. Department of Information Technology 25Data base Technologies (ITB4201)
Summary
• The relational model has rigorously defined query languages
that are simple and powerful.
– Algebra and safe calculus have same expressive power
• Relational algebra is more operational
– useful as internal representation for query evaluation plans.
• Relational calculus is more declarative
– users define queries in terms of what they want, not in terms of how to
compute it.
• Almost every query can be expressed several ways
– and that’s what makes query optimization fun!
26. Department of Information Technology 26Data base Technologies (ITB4201)
Test Yourself
1. Because of the calculus expression, the relational calculus in considered as
a) procedural language
b) non procedural language
c) structural language
d) functional language
2. Relational calculus is:
i. equivalent to relational algebra in its capabilities.
Ii. It is stronger than relational algebra
Iii. It is weaker than relational algebra.
Iv. It is based on predicate calculus of formal logic
a) (i) and (iv) are true
b) (ii) and (iv) are true
c) only (iii) is true
d) (iii) and (iv) are true
3. Which of the following symbol is used in the place of except?
a) ^ b) V c) ¬ d) ~
4. Which of the following is the comparison operator in tuple relational calculus
1.⇒ b) = c) ε d) All of the mentioned
5. In tuple relational calculus P1 → P2 is equivalent to
a)¬P1 ∨ P2
b)¬P1 ∨ P2
c)P1 ∧ P2
d)P1 ∧ ¬P2
27. Department of Information Technology 27Data base Technologies (ITB4201)
Answers
1. Because of the calculus expression, the relational calculus in considered as
a) procedural language
b) non procedural language
c) structural language
d) functional language
2. Relational calculus is:
i. equivalent to relational algebra in its capabilities.
Ii. It is stronger than relational algebra
Iii. It is weaker than relational algebra.
Iv. It is based on predicate calculus of formal logic
a) (i) and (iv) are true
b) (ii) and (iv) are true
c) only (iii) is true
d) (iii) and (iv) are true
3. Which of the following symbol is used in the place of except?
a) ^ b) V c) ¬ d) ~
4. Which of the following is the comparison operator in tuple relational calculus
1.⇒ b) = c) ε d) All of the mentioned
5. In tuple relational calculus P1 → P2 is equivalent to
a)¬P1 ∨ P2
b)¬P1 ∨ P2
c)P1 ∧ P2
d)P1 ∧ ¬P2