Professional Documents
Culture Documents
Chapter 4, Part B
Relational Calculus
Comes in two flavors: Tuple relational calculus (TRC)
and Domain relational calculus (DRC).
Calculus has variables, constants, comparison ops,
logical connectives and quantifiers.
said to bind X.
" # $
% (
'
' *
'
' *
' *
'
& )
&
.
+ .
0 3
- 0
0
- 0
,
, /
∀ B, BN, C ∈ Boats
∃ Ir, Br, D ∈ Re serves I = Ir ∧ Br = B
.....
" # $ #
'
# #
Summary