13
Basis D Pertemu Pertemu (Kalkulus R Noor I [email protected] Data I uan Ke-9 1 uan Ke-9 Relasional) Ifada trunojoyo.ac.id 1

Basis Data I - Ifa's · Pertemuan Ke (Kalkulus Relasional) Noor Ifada [email protected] 1. Sub Pokok Bahasan Relational Calculus: Tuple Relational Calculus (TRC) Domain

Embed Size (px)

Citation preview

Page 1: Basis Data I - Ifa's · Pertemuan Ke (Kalkulus Relasional) Noor Ifada noor.ifada@if.trunojoyo.ac.id-9 1. Sub Pokok Bahasan Relational Calculus: Tuple Relational Calculus (TRC) Domain

Basis Data I

Pertemuan KePertemuan Ke

(Kalkulus Relasional)

Noor Ifada

[email protected]

Basis Data I

Pertemuan Ke-9

1

Pertemuan Ke-9

(Kalkulus Relasional)

Noor Ifada

[email protected]

1

Page 2: Basis Data I - Ifa's · Pertemuan Ke (Kalkulus Relasional) Noor Ifada noor.ifada@if.trunojoyo.ac.id-9 1. Sub Pokok Bahasan Relational Calculus: Tuple Relational Calculus (TRC) Domain

Sub Pokok Bahasan

Relational Calculus:

Tuple Relational Calculus (TRC)

Domain Relational Calculus (DRC)

Sub Pokok Bahasan

Tuple Relational Calculus (TRC)

Domain Relational Calculus (DRC)

22

Page 3: Basis Data I - Ifa's · Pertemuan Ke (Kalkulus Relasional) Noor Ifada noor.ifada@if.trunojoyo.ac.id-9 1. Sub Pokok Bahasan Relational Calculus: Tuple Relational Calculus (TRC) Domain

Relational Calculus

Mendefinisikan query language dalam

relasional

Bersifat non-operasional, user menentukan

diinginkan (Relational Algebra: user menentukan

BAGIMANA melakukannya).BAGIMANA melakukannya).

Terdiri dari:

1. Tuple Relational Calculus (TRC)

2. Domain Relational Calculus (DRC)

Relational Calculus

dalam bentuk deklaratif untuk basisdata

menentukan query berdasarkan APA yang

menentukan query berdasarkan

3

Domain Relational Calculus (DRC)

3

Page 4: Basis Data I - Ifa's · Pertemuan Ke (Kalkulus Relasional) Noor Ifada noor.ifada@if.trunojoyo.ac.id-9 1. Sub Pokok Bahasan Relational Calculus: Tuple Relational Calculus (TRC) Domain

Tuple Relational Calculus (TRC)

Variabel: tuple/baris

Sintaks:

{T | p(T) }

Semua tuple T sedemikian sehinggaSemua tuple T sedemikian sehingga

T : tuple variables

p(T) : formula

Tuple Relational Calculus (TRC)

sehingga predikat P adalah benar untuk T

4

sehingga predikat P adalah benar untuk T

4

Page 5: Basis Data I - Ifa's · Pertemuan Ke (Kalkulus Relasional) Noor Ifada noor.ifada@if.trunojoyo.ac.id-9 1. Sub Pokok Bahasan Relational Calculus: Tuple Relational Calculus (TRC) Domain

Tuple Relational Calculus (TRC)

Sailors Reserves

Soal: Buatlah daftar pelaut yang memiliki rating di atas 7!

TRC: {S | S ∈ Sailors Λ S. Rating > 7}

Tuple Relational Calculus (TRC) (contd-2)

Reserves Boats

5

Soal: Buatlah daftar pelaut yang memiliki rating di atas 7!

S. Rating > 7}

5

Page 6: Basis Data I - Ifa's · Pertemuan Ke (Kalkulus Relasional) Noor Ifada noor.ifada@if.trunojoyo.ac.id-9 1. Sub Pokok Bahasan Relational Calculus: Tuple Relational Calculus (TRC) Domain

Tuple Relational Calculus (TRC)

Sailors Reserves

Soal: Buatlah daftar nama dan umur pelaut yang memiliki rating di atas 7!

TRC: {P | ∃S ∈ Sailors (S. Rating > 7

Tuple Relational Calculus (TRC) (contd-3)

Reserves Boats

6

Soal: Buatlah daftar nama dan umur pelaut yang memiliki rating di atas 7!

S. Rating > 7 Λ P.name = S.name Λ P.age = S.age)}

6

Page 7: Basis Data I - Ifa's · Pertemuan Ke (Kalkulus Relasional) Noor Ifada noor.ifada@if.trunojoyo.ac.id-9 1. Sub Pokok Bahasan Relational Calculus: Tuple Relational Calculus (TRC) Domain

Tuple Relational Calculus (TRC)Sailors Reserves

Soal: Buatlah daftar nama pelaut, nomor perahu, dan tanggal reservasi

untuk masing-masing reservasi yang pernah terjadi!

TRC: {P | ∃R ∈ Reserves ∃S ∈ Sailors

P.day = R.day Λ P.sname = S.sname)}

Tuple Relational Calculus (TRC) (contd-4)

Reserves Boats

7

Soal: Buatlah daftar nama pelaut, nomor perahu, dan tanggal reservasi

masing reservasi yang pernah terjadi!

Sailors (R.sid = S.sid Λ P.bid = R.bid Λ

P.sname = S.sname)}

7

Page 8: Basis Data I - Ifa's · Pertemuan Ke (Kalkulus Relasional) Noor Ifada noor.ifada@if.trunojoyo.ac.id-9 1. Sub Pokok Bahasan Relational Calculus: Tuple Relational Calculus (TRC) Domain

Tuple Relational Calculus (TRC)Sailors Reserves

Soal: Buatlah daftar nama pelaut yang telah melakukan reservasi terhadap

perahu nomor 103!

TRC: {P | ∃S ∈ Sailors ∃R ∈ Reserves

P.sname = S.sname)}

Tuple Relational Calculus (TRC) (contd-5)

Reserves Boats

8

Soal: Buatlah daftar nama pelaut yang telah melakukan reservasi terhadap

Reserves (R.sid = S.sid Λ R.bid = 103 Λ

8

Page 9: Basis Data I - Ifa's · Pertemuan Ke (Kalkulus Relasional) Noor Ifada noor.ifada@if.trunojoyo.ac.id-9 1. Sub Pokok Bahasan Relational Calculus: Tuple Relational Calculus (TRC) Domain

Tuple Relational Calculus (TRC)Sailors Reserves

Soal: Buatlah daftar nama pelaut yang telah melakukan reservasi terhadap perahu berwarna merah!TRC: {P | ∃S ∈ Sailors ∃R ∈ Reserves (R.sid = S.sid Boats(B.bid = R.bid Λ B.color = ‘red’)}TRC: {P | ∃S ∈ Sailors ∃R ∈ Reserves ∃BB.color = ‘red’ Λ P.sname = S.sname )}

Tuple Relational Calculus (TRC) (contd-6)

Reserves Boats

9

Soal: Buatlah daftar nama pelaut yang telah melakukan reservasi terhadap perahu

(R.sid = S.sid Λ P.sname = S.sname Λ ∃B ∈

B ∈ Boats (R.sid = S.sid Λ B.bid = R.bid Λ

9

Page 10: Basis Data I - Ifa's · Pertemuan Ke (Kalkulus Relasional) Noor Ifada noor.ifada@if.trunojoyo.ac.id-9 1. Sub Pokok Bahasan Relational Calculus: Tuple Relational Calculus (TRC) Domain

Domain Relational Calculus (DRC)

Variabel: domain attribute/kolom

Sintaks:

{⟨⟨⟨⟨x1,x2, … ,xn ⟩⟩⟩⟩ | p(⟨⟨⟨⟨x1,x

x ,x , … ,x : domainx1,x2, … ,xn : domain

p(⟨x1,x2, … ,xn ⟩) : formula

Domain Relational Calculus (DRC)

kolom

,x2, … ,xn ⟩⟩⟩⟩)}

domain variables

10

domain variables

: formula

10

Page 11: Basis Data I - Ifa's · Pertemuan Ke (Kalkulus Relasional) Noor Ifada noor.ifada@if.trunojoyo.ac.id-9 1. Sub Pokok Bahasan Relational Calculus: Tuple Relational Calculus (TRC) Domain

Domain Relational Calculus (DRC)

Sailors Reserves

Soal: Buatlah daftar pelaut yang memiliki rating di atas 7!

DRC: {⟨I,N,T,A⟩ | ⟨I,N,T,A⟩ ∈ Sailors Λ

Domain Relational Calculus (DRC) (contd-2)

Reserves Boats

11

Soal: Buatlah daftar pelaut yang memiliki rating di atas 7!

Λ T > 7}

11

Page 12: Basis Data I - Ifa's · Pertemuan Ke (Kalkulus Relasional) Noor Ifada noor.ifada@if.trunojoyo.ac.id-9 1. Sub Pokok Bahasan Relational Calculus: Tuple Relational Calculus (TRC) Domain

Domain Relational Calculus (DRC)

Sailors Reserves

Soal: Buatlah daftar nama pelaut yang telah melakukan reservasi terhadap perahu nomor 103!DRC: {⟨N⟩ | ∃I,T,A(⟨I,N,T,A⟩ ∈ Sailors Λ ∃103))}DRC: {⟨N⟩ | ∃I,T,A(⟨I,N,T,A⟩ ∈ Sailors Λ ∃DRC: {⟨N⟩ | ∃I,T,A(⟨I,N,T,A⟩ ∈ Sailors Λ ∃

Domain Relational Calculus (DRC) (contd-3)

Reserves Boats

12

Soal: Buatlah daftar nama pelaut yang telah melakukan reservasi terhadap perahu

∃Ir,Br,D(⟨Ir,Br,D⟩ ∈ Reserves Λ Ir = I Λ Br =

∃(⟨Ir,Br,D⟩ ∈ Reserves (Ir = I Λ Br = 103))}∃D(⟨I,103,D⟩ ∈ Reserves))}

12

Page 13: Basis Data I - Ifa's · Pertemuan Ke (Kalkulus Relasional) Noor Ifada noor.ifada@if.trunojoyo.ac.id-9 1. Sub Pokok Bahasan Relational Calculus: Tuple Relational Calculus (TRC) Domain

Domain Relational Calculus (DRC)Sailors Reserves

Soal: Buatlah daftar nama pelaut yang telah melakukan reservasi terhadap

perahu berwarna merah!

DRC: {⟨N⟩ | ∃I,T,A(⟨I,N,T,A⟩ ∈ Sailors

∈ Boats)}

Domain Relational Calculus (DRC) (contd-4)

Reserves Boats

13

Soal: Buatlah daftar nama pelaut yang telah melakukan reservasi terhadap

Sailors Λ ∃⟨I,Br,D⟩ ∈ Reserves Λ ∃ ⟨Dr, BN, ‘red’⟩

13