sql

c °2003, sangjin@kut.ac.kr

Tuple Relational Calculus: ∀(P ⇒ Q)˜ +˜ +i

„ Âť ™ ÂĄ. ç > U ÂœĂŽ [ ÂłU ĂŁ ĂŠu o ‰Õ ĂŚ7 k ÂŒ ›u É ‰, Ă´ Ă“' c QÂŁ FY E W # QĂŽ ÂşÂŒ ĂĄ ›’ É ÂŚ

Tuple Relational Calculus • Ăˆ Ă’e Œ› a> ' K $ \ 3  " f 9_ | _ + Ad Ăž “ ” r É 6 §þ ÂŁ °  ú . {t|P (t)} ¤, › ÂŁ 7 ¸| Ă• t# Ăź Q P\ ÂŚĂŤ –7 Ă&#x; ¤ ĂĄ Â? HĂˆ Ă’e ÂŚ_ | ½ 9 Ă‹` + Ϋ Â˜Ă´ Ăş Ç . • \ V) @ /Ă˜ ÂŚĂ— ĂŚ@ /Ă˜ ÂŚĂ“ os Â? 1200˜ Ă? H — ¸ÂŽ H@ /Ă˜ ÂŚ` Œš Ă” 1 . @Ă˜ / ÂŚÂ Â Ăą L-102 L-212 L-108 L-401 L-402

t& " h

ĂŽ a Â’ >& Ă‹ h ¨Â– ½ Ă?& h { Âœ& Š h

1 ĂŽ " x& l h

1 ĂŽ " x& l h

ĂŻĂ“ – Ă&#x; o Â? 2000 1200 1000 600 1100

loan › a ' > {t | t ∈ loan ∧ t[@ /Ă˜ ÂŚĂ“ o] > 1200} Â?

\ ĂŽ ¨ V) @Ă˜ / ÂŚÂ Â Ăą L-102 L-212 L-108 L-401 L-402

t& " h

ĂŽ a Â’ >& Ă‹ h ¨Â– ½ Ă?& h { Âœ& Š h

1 ĂŽ " x& l h

1 ĂŽ " x& l h

ĂŻĂ“ – Ă&#x; o Â? 2000 1200 450 1100 400

‚ Ă?/ Ăƒ f Âą Ă? Ăƒ ‚ f Âą f Âą f Âą f Âą

∃ Quantifier • ∃: Æ Ă’Ă˜ ÂŚ(projection)` ÂŚ l 0 AK 6 xÂ?  a ) . • ∃t ∈ r(Q(t)): › a> ' r\  Q(t) ‚ Ă?s Ăƒ á &Â? HĂˆ Ă’e ÂŚ t ” rF > € ‚ Ă?s Ăƒ . • \ V) @ /Ă˜ ÂŚĂ— ĂŚ@ /Ă˜ ÂŚĂ“ os Â? 1200˜ Ă? H — ¸ÂŽ H@ /Ă˜ ÂŚ_ @ /Ă˜ ÂŚÂ Â Ăą\ Œš Ă” 1 . {t | ∃s ∈ loan(t[@ /Ă˜ ÂŚÂ Â Ăą] = s[@ /Ă˜ ÂŚÂ Â Ăą] ∧ s[@ /Ă˜ ÂŚĂ“ o] > 1200)} Â? ÂŒl # " f tÂ? H Ă„  Ăƒ Âşs Ă™ Ÿ– Ă? t\  Ăˆ Ă’e ÂŚ` ÂŚ m ½ ” É{ + Âœ Š € " fK $ d 3 s ” ‚ Ă?s Ăƒ á &Â? Ht ¨

K ĂŽ Ă´ Ç . ∃s ∈ loan(s[@ /Ă˜ ÂŚĂ“ o] > 1200)“ Â? r loan › É a> ' \  @ /Ă˜ ÂŚĂ“ os Â? 1200˜ Ă? H s ‍כ‏ • ¸e Ăœ ” Ÿ€ ‚ Ă?s Ăƒ Â? a ) .

\ ĂŽ ¨ V) @ /Ă˜ ÂŚÂ Â Ăą L-102 L-102 L-102 L-102 L-102

t t& " h

ĂŽ a Â’ >& Ă‹ h a Â’ >& Ă‹ h a Â’ >& Ă‹ h a Â’ >& Ă‹ h a Â’ >& Ă‹ h

ĂŻĂ“ – Ă&#x; o Â? 2000 2000 2000 2000 2000

@Ă˜ / ÂŚÂ Â Ăą L-102 L-212 L-108 L-401 L-402

s t & " h

ĂŽ Â’ a >& Ă‹ h ½ ¨Â– Ă?& h { Âœ& Š h

1 ĂŽ " x& l h

1 ĂŽ " x& l h 1

ĂŻĂ“ – Ă&#x; o Â? 2000 1200 450 1100 400

‚ Ă?/ Ăƒ f Âą Ă? Ăƒ ‚ f Âą f Âą f Âą f Âą

s Ă„ Âť t[1] = s[1] ∧ s[3] > 1200 t[1] 6= s[1] t[1] 6= s[1] t[1] 6= s[1] t[1] 6= s[1]