Relational Calculus
Relational Calculus
Module 3, Lecture 2
I, N,T, A | I, N,T, A ∈ Sailors ∧ T > 7 ∧
∃ Ir, Br, D Ir, Br, D ∈ Re serves ∧ Ir = I ∧ Br = 103
I, N,T, A | I, N,T, A ∈ Sailors ∧ T > 7 ∧
∃ Ir, Br, D Ir, Br, D ∈ Re serves ∧ Ir = I ∧
∃ Ir, Br, D Ir, Br, D ∈ Re serves ∧ I = Ir ∧ Br = B
I, N,T, A | I, N,T, A ∈ Sailors ∧
∀ B, BN, C ∈ Boats
∃ Ir, Br, D ∈ Re serves I = Ir ∧ Br = B
.....
C ≠ ' red ' ∨ ∃ Ir, Br, D ∈ Re serves I = Ir ∧ Br = B