32
-
Menspesifikasikan
variabel
tuple S sebagai
relasi
Staff:
Staff(S)
-
Menemukan himpunan dari seluruh
tuple S
sehingga F(S)
adalah benar:
{S | F(S)}
-
Menemukan
detil
dari
seluruh
staff
yang
mempunyai
pendapatan lebih dari 10000:
{S | Staff(S) ? S.Salary > 10000}
-
Menemukan atribut tertentu, seperti pendapatan:
{S.Salary | Staff(S) ? S.Salary > 10000}
Ada
2
quantifier
yang dapat digunakan
untuk
mengetahui berapa
banyak instance yang diterapkan predicate :
o
Extensial quantifier ? (‘ada’)
o
Universal quantifier ? (‘untuk semua’)
2.3.2.2 Kalkulus Relasional Domain
Pada
kalkulus
relasional
domain,
juga
digunakan variabel
seperti
halnya pada kalkulus relasional tuple,
namun pada kalkulus relasional
domain menggunakann domain, bukan tuple.
Ekspresi dalam kalkulus
relasional domain memiliki bentuk umum :
{d1, d2, ... , d
n
|
F(d1, d2, ... , d
m
)} m =
n
 |