You are viewing a single comment's thread. Return to all comments →
a) x| -> give me x
b) Vy -> for all possible values of y //missing a comma or something to separate from the rest, i got lost reading that
c) S(x) -> x is part of the set S (x values come from S)
d) ^ -> and
e) S(y) -> y is part of the set S (y values come from S)
f) -> -> such as, just another condition
g) y <= x -> y is <= x
so you grab a value of x from S (c), and check (f,g) against every y value from S (b,d,e), if it passes, then success (a)
Seems like cookies are disabled on this browser, please enable them to open this website
Databases - Relational Calculus
You are viewing a single comment's thread. Return to all comments →
a) x| -> give me x
b) Vy -> for all possible values of y //missing a comma or something to separate from the rest, i got lost reading that
c) S(x) -> x is part of the set S (x values come from S)
d) ^ -> and
e) S(y) -> y is part of the set S (y values come from S)
f) -> -> such as, just another condition
g) y <= x -> y is <= x
so you grab a value of x from S (c), and check (f,g) against every y value from S (b,d,e), if it passes, then success (a)