Σχεσιακή Άλγεβρα. Προγράµµατα που απαντούν σε επερωτήσεις για τον παρόν στιγµιότυπο της βάσης δεδοµένων (querying)

Transcript

1 Εισαγωγή Στα προηγούµενα µαθήµατα: Εννοιολογικός Σχεδιασµός Βάσεων εδοµένων (µε χρήση του Μοντέλου Οντοτήτων/Συσχετίσεων) Λογικός Σχεδιασµός Βάσεων εδοµένων (µε χρήση του Σχεσιακού Μοντέλου) Βάσεις εδοµένων Ευαγγελία Πιτουρά 1 Βάσεις εδοµένων Ευαγγελία Πιτουρά 2 Εισαγωγή Μετά τη φάση του σχεδιασµού, καταλήγουµε σε ένα σχεσιακό σχήµα. υο ερωτήµατα 1. Είναι ο σχεδιασµός µας καλός; Θεωρία Κανονικών Μορφών 2. Πως θα υλοποιήσουµε (προγραµµατίσουµε) την εφαρµογή µας χρησιµοποιώντας ένα Σ Β ; QL Θα αρχίσουµε από το ερώτηµα 2 για να δούµε γρήγορα πως η θεωρία βρήκε εφαρµογή σε πραγµατικά συστήµατα. By relieving the brain of all unnecessary work, a good notation sets it free to concentrate on more advanced problems, and, in effect, increases the mental power of the race. -- Alfred North Whitehead ( ) π Βάσεις εδοµένων Ευαγγελία Πιτουρά 3 Βάσεις εδοµένων Ευαγγελία Πιτουρά 4 Ορισµοί και Τροποποιήσεις Προγράµµατα που απαντούν σε επερωτήσεις για τον παρόν στιγµιότυπο της βάσης δεδοµένων (querying) Το σχεσιακό µοντέλο έχει ένα σύνολο από πράξεις -> ΣΗΜΕΙΩΣΗ: Πέρα από τη σχεσιακή άλγεβρα και τη διατύπωση ερωτήσεων: - ορισµό του σχήµατος - τροποποίηση του στιγµιότυπου (εισαγωγή, διαγραφή και τροποποίηση πλειάδων) Γλώσσες Ερωτήσεων (Query Languages): Επιτρέπουν τον χειρισµό και την εύρεση πληροφορίας από µια βάση δεδοµένων Το σχεσιακό µοντέλο υποστηρίζει απλές και ισχυρές γλώσσες ερωτήσεων (σε αντίθεση µε το µοντέλο Ο/Σ) Βάσεις εδοµένων Ευαγγελία Πιτουρά 5 Βάσεις εδοµένων Ευαγγελία Πιτουρά 6

2 Γλώσσες Ερωτήσεων!= Γλώσσες Προγραµµατισµού! εν αναµένεται να είναι Turing complete. εν αναµένεται να χρησιµοποιηθούν για δύσκολους υπολογισµούς. Υποστηρίζουν εύκολη και αποδοτική προσπέλαση σε µεγάλασύνολαδεδοµένων. ύο µαθηµατικές γλώσσες ερωτήσεων αποτελούν τη βάση για τις πραγµατικές γλώσσες ερωτήσεων (π.χ., QL) και για την υλοποίησή τους : Λειτουργική operational (database byte-code!): αποτελείται από ένα σύνολο τελεστών και περιγράφει τα βήµατα για τον υπολογισµό του αποτελέσµατοσ Σχεσιακός Λογισµός (calculus): Επιτρέπει στους χρήστες να περιγράψουν τι θέλουν αλλά όχι πώς να το υπολογίσουν Αυτές οι τυπικές γλώσσες επηρέασαν τις εµπορικές γλώσσες (QL, QBE) που θα δούµε στα επόµενα µαθήµατα Βάσεις εδοµένων Ευαγγελία Πιτουρά 7 Βάσεις εδοµένων Ευαγγελία Πιτουρά 8 Σχεσιακή άλγεβρα: έναν απλό τρόπο δηµιουργίας νέων σχέσεων από υπάρχουσες. Ένα σύνολο από πράξεις που όταν εφαρµοστούν σε σχέσεις µας δίνουν νέες σχέσεις Μια ερώτηση εφαρµόζεται σε ένα στιγµιότυπο σχέσης και το αποτέλεσµα της ερώτησης είναι πάλι ένα στιγµιότυπο σχέσης Οι πράξεις τις σχεσιακής άλγεβρας: 1. Πράξεις που αφαιρούν κοµµάτια από µια σχέση είτε επιλέγοντας γραµµές είτε προβάλλοντας στήλες 2. Οι συνηθισµένες πράξεις συνόλου - ένωση, τοµή, διαφορά 3. Πράξεις που συνδυάζουν πλειάδες από δύο σχέσεις 4. Μετονοµασία γνωρισµάτων Βάσεις εδοµένων Ευαγγελία Πιτουρά 9 Βάσεις εδοµένων Ευαγγελία Πιτουρά 10 ΗΠράξη της Επιλογής ΗΠράξη της Επιλογής Ηπράξη της επιλογής (select) Επιλογή ενός υποσυνόλου των πλειάδων µιας σχέσης που ικανοποιεί µια συνθήκη επιλογής σ <συνθήκη επιλογής> (<όνοµα σχέσης>) Επιλογή ενός υποσυνόλου των πλειάδων µιας σχέσης που ικανοποιεί µια συνθήκη επιλογής συνθήκη σ <συνθήκη επιλογής> (<όνοµα σχέσης>) προτάσεις της µορφής <όνοµα γνωρίσµατος> <τελεστής σύγκρισης> =, >, <,,, <όνοµα γνωρίσµατος> ή <σταθερή τιµή από το πεδίο ορισµού του γνωρίσµατος> συνδυασµένες µε AND, O, NOT Βάσεις εδοµένων Ευαγγελία Πιτουρά 11 Βάσεις εδοµένων Ευαγγελία Πιτουρά 12

3 ΗΠράξη της Επιλογής Παραδείγµατα Ταινία Τίτλος Έτος ιάρκεια Είδος Παίζει Όνοµα-Ηθοποιού Τίτλος Έτος Ηθοποιός Όνοµα ιεύθυνση Έτος-Γέννησης Σύζυγος-Ηθοποιού Βάσεις εδοµένων Ευαγγελία Πιτουρά 13 τίτλος χρόνος διάρκεια είδος tar Wars έγχρωµη Mighty Ducks έγχρωµη Wayne s World έγχρωµη 1. Ταινίες µε διάρκεια µεγαλύτερη των 100 λεπτών) σ διάρκεια > 100 (Ταινία) τίτλος χρόνος διάρκεια είδος tar Wars έγχρωµη Mighty Ducks έγχρωµη Βάσεις εδοµένων Ευαγγελία Πιτουρά 14 ΗΠράξη της Επιλογής τίτλος χρόνος διάρκεια είδος tar Wars έγχρωµη Mighty Ducks έγχρωµη Wayne s World έγχρωµη 2. Ταινίες µε διάρκεια µεγαλύτερη των 100 λεπτών που γυρίστηκαν µετά το 1995 σ διάρκεια > 100 AND χρόνος > 1995 (Ταινία) τίτλος χρόνος διάρκεια είδος tar Wars έγχρωµη ΗΠράξη της Επιλογής Η συνθήκη επιλογής εφαρµόζεται ανεξάρτητα σε κάθε πλειάδα Ο τελεστής είναι µοναδιαίος Ο βαθµός της σχέσης που προκύπτει ίδιος µε τον βαθµό της αρχικής Πλήθος πλειάδων µικρότερο ή ίσο µε την αρχική σχέση: ποσοστό που επιλέγονται - επιλεκτικότητα (selectivity) Βάσεις εδοµένων Ευαγγελία Πιτουρά 15 Βάσεις εδοµένων Ευαγγελία Πιτουρά 16 ΗΠράξη της Επιλογής ΗΠράξη της Προβολής Ιδιότητες αντιµεταθετική σ <συνθ1> (σ <συνθ2> ()) = σ <συνθ2> (σ <συνθ1> ()) Ηπράξη της προβολής (project) Επιλογή συγκεκριµένων στηλών (γνωρισµάτων) σ <συνθ1> (σ <συνθ2> ( σ <συνθn> ()..)) = π <λίστα γνωρισµάτων> (<όνοµα σχέσης>) σ <συνθ1> AND <συνθ2>... AND <συνθn> () Βάσεις εδοµένων Ευαγγελία Πιτουρά 17 Βάσεις εδοµένων Ευαγγελία Πιτουρά 18

4 ΗΠράξη της Προβολής ΗΠράξη της Προβολής Παραδείγµατα τίτλος χρόνος διάρκεια είδος tar Wars έγχρωµη Mighty Ducks έγχρωµη Wayne s World έγχρωµη 1. Τίτλος, χρόνος, διάρκεια των ταινιών π τίτλος, χρόνος, διάρκεια (Ταινία) τίτλος χρόνος διάρκεια tar Wars Mighty Ducks Wayne s World Βάσεις εδοµένων Ευαγγελία Πιτουρά 19 Βάσεις εδοµένων Ευαγγελία Πιτουρά 20 ΗΠράξη της Προβολής ΗΠράξη της Προβολής 2. Είδος ταινιών π είδος (Ταινία) είδος έγχρωµη Τα γνωρίσµατα έχουν την ίδια διάταξη Ο τελεστής είναι µοναδιαίος Ο βαθµός της σχέσης είναι ίσος µε τον αριθµό γνωρισµάτων στη <λίστα γνωρισµάτων> Προσοχή: απαλοιφή διπλότιµων Πλήθος πλειάδων µικρότερο ή ίσο (πότε;) αρχική σχέση µε την Βάσεις εδοµένων Ευαγγελία Πιτουρά 21 Βάσεις εδοµένων Ευαγγελία Πιτουρά 22 ΗΠράξη της Προβολής Ιδιότητες αντιµεταθετική; π <λίστα1> (π <λίστα2> ()) =? ιάρκειες µεγαλύτερες των 100 λεπτών π διάρκεια (σ διάρκεια > 100 (Ταινία)) διάρκεια Βάσεις εδοµένων Ευαγγελία Πιτουρά 23 Βάσεις εδοµένων Ευαγγελία Πιτουρά 24

5 Πράξεις Συνόλου Πράξεις Συνόλου Πράξεις συνόλου Ένωση ( ) Τοµή ( ) ιαφορά (-) Σύµβαση: η προκύπτουσα σχέση έχει τα ίδια ονόµατα γνωρισµάτων µε την πρώτη σχέση Συµβατότητα ως προς την ένωση ύo σχέσεις (A 1, A 2,, A n ) και (B 1, B 2,, B n ) είναι συµβατές ως προς την ένωση όταν 1. Έχουν τον ίδιο βαθµό n 2. i, dom(a i ) = dom(b i ) Απαλοιφή διπλότιµων Βάσεις εδοµένων Ευαγγελία Πιτουρά 25 Βάσεις εδοµένων Ευαγγελία Πιτουρά 26 Α Β Οι πράξεις τις σχεσιακής άλγεβρας: 1. Πράξεις που αφαιρούν κοµµάτια από µια σχέση είτε επιλέγοντας γραµµές είτε προβάλλοντας στήλες 2. Οι συνηθισµένες πράξεις συνόλου - ένωση, τοµή, διαφορά 3. Πράξεις που συνδυάζουν πλειάδες από δύο σχέσεις B C σ Α > Β () Π Α () Μετονοµασία γνωρισµάτων 1 4 Βάσεις εδοµένων Ευαγγελία Πιτουρά 27 Βάσεις εδοµένων Ευαγγελία Πιτουρά 28 Μετονοµασία Μετονοµασία Μετονοµασία όνοµα στην ενδιάµεση σχέση ΜΕΓΑΛΗΣ_ ΙΑΡΚΕΙΑΣ σ διάρκεια > 100 (Ταινία) µετονοµασία γνωρισµάτων (λίστα-µε-νέα-ονόµατα) ΜΕΓΑΛΗΣ_ ΙΑΡΚΕΙΑΣ (όνοµα ταινίας, έτος παραγωγής, διάρκεια, είδος) σ διάρκεια > 100 (Ταινία) όνοµα ταινίας έτος παραγωγής διάρκεια είδος tar Wars έγχρωµη Mighty Ducks έγχρωµη Βάσεις εδοµένων Ευαγγελία Πιτουρά 29 Βάσεις εδοµένων Ευαγγελία Πιτουρά 30

6 Καρτεσιανό Γινόµενο Καρτεσιανό Γινόµενο Καρτεσιανό Γινόµενο (ή χιαστί γινόµενο (cross product) ή χιαστί συνένωση (cross join)) (A 1, A 2,, A n ) x (B 1, B 2,, B m ) αποτέλεσµα η σχέση Q: Q(A 1, A 2,, A n, B 1, B 2,, B m ) Α Β B C D x A.B.B C D n + m γνωρίσµατα n * n πλειάδες Βάσεις εδοµένων Ευαγγελία Πιτουρά 31 Βάσεις εδοµένων Ευαγγελία Πιτουρά 32 Καρτεσιανό Γινόµενο Ταινία Τίτλος Έτος ιάρκεια Είδος Για κάθε ηθοποιό το όνοµα και τον τίτλο-έτος για όλες τις έγχρωµες ταινίες στις οποίες παίζει Παίζει Όνοµα-Ηθοποιού Τίτλος Έτος π όνοµα, τίτλος, έτος (σ είδος = έγχρωµη AND Παίζει.τίτλος = Ταινία.τίτλος AND Παίζει.έτος = Ταινία.έτος (Παίζει x Ταινία)) Ηθοποιός ή Όνοµα ιεύθυνση Έτος-Γέννησης Σύζυγος-Ηθοποιού π όνοµα, τίτλος, έτος (σ Παίζει.τίτλος = Ταινία.τίτλος =Ταινία.έτος (Παίζει x (σ είδος = έγχρωµη (Ταινία))) AND Παίζει.έτος Βάσεις εδοµένων Ευαγγελία Πιτουρά 33 Βάσεις εδοµένων Ευαγγελία Πιτουρά 34 Καρτεσιανό Γινόµενο Συνένωση Τίτλος Έτος ιάρκεια Είδος Παραµύθι Έγχρωµη Παραµύθι Ασπρόµαυρη Φυγή Ασπρόµαυρη Άνοιξη Έγχρωµη Ταινία Συνένωση (ή θήτα συνένωση) (join) συνδυασµός σχετιζόµενων πλειάδων <συνθήκη συνένωσης> ( σ <συνθήκη συνένωσης> ( x ) ) Όνοµα-Ηθοποιού Τίτλος Έτος Αλίκη Παππά Παραµύθι 1930 Μαρία Γεωργίου Παραµύθι 1990 Κώστας Χρήστου Φυγή 2000 Μαρία Στεργίου Άνοιξη 1998 Παίζει Συνθήκη συνένωσης Προτάσεις της µορφής =, >, <,,, A i <τελεστής σύγκρισης> B j όπου A i γνώρισµα της, B j γνώρισµα της, και dom(a i ) = dom(b j ) συνδυασµένες µε AND Βάσεις εδοµένων Ευαγγελία Πιτουρά 35 Βάσεις εδοµένων Ευαγγελία Πιτουρά 36

7 Συνένωση Συνένωση το αποτέλεσµα είναι οι συνδυασµοί πλειάδων που ικανοποιούν τη συνθήκη η συνθήκη αποτιµάται για κάθε συνδυασµό αποτέλεσµα σχέση Q µε n + m γνωρίσµατα πλειάδες µε τιµή null σε γνώρισµα συνένωσης δεν εµφανίζονται στο αποτέλεσµα U A < D V U V Α Β C B C D A U.B U.C V.B V.C D U A<D AND U.B V.B V Βάσεις εδοµένων Ευαγγελία Πιτουρά 37 Βάσεις εδοµένων Ευαγγελία Πιτουρά 38 Συνένωση Συνένωση Ισότητας Για κάθε ηθοποιό το όνοµα και τον τίτλο-έτος για όλες τις έγχρωµες ταινίες στις οποίες παίζει π όνοµα, τίτλος, έτος (σ Παίζει.τίτλος = Ταινία.τίτλος AND Παίζει.έτος =Ταινία.έτος (Παίζει x (σ είδος = έγχρωµη (Ταινία))) π όνοµα, τίτλος, έτος (Παίζει Παίζει.τίτλος = Ταινία.τίτλος AND Παίζει.έτος =Ταινία.έτος (σ είδος = έγχρωµη (Ταινία)) Συνένωση Ισότητας (equijoin) όταν χρησιµοποιείται µόνο τελεστής ισότητας Συνθήκη συνένωσης Προτάσεις της µορφής A i = B j όπου A i γνώρισµα της, B j γνώρισµα της, και dom(a i ) = dom(b j ) συνδυασµένες µε AND Βάσεις εδοµένων Ευαγγελία Πιτουρά 39 Βάσεις εδοµένων Ευαγγελία Πιτουρά 40 Συνένωση Ισότητας Φυσική Συνένωση Φυσική Συνένωση Α Β B C D A.B.B C D συνένωση ισότητας όπου παραλείπουµε το γνώρισµα της δεύτερης σχέσης από το αποτέλεσµα όταν διαφορετικό όνοµα -µετονοµασία * (λίστα1, λίστα2).b =.B επιλεκτικότητα συνένωσης : µέγεθος αποτελέσµατος / (n r * n s ) Βάσεις εδοµένων Ευαγγελία Πιτουρά 41 Βάσεις εδοµένων Ευαγγελία Πιτουρά 42

8 Φυσική Συνένωση Φυσική Συνένωση * Α Β B C D A B C D U Α Β C V B C D U * V A B C D Βάσεις εδοµένων Ευαγγελία Πιτουρά 43 Βάσεις εδοµένων Ευαγγελία Πιτουρά 44 Φυσική Συνένωση Για κάθε ηθοποιό το όνοµα και τον τίτλο-έτος για όλες τις έγχρωµες ταινίες στις οποίες παίζει Α Β π όνοµα, τίτλος, έτος (σ Παίζει.τίτλος = Ταινία.τίτλος AND Παίζει.έτος =Ταινία.έτος (Παίζει x (σ είδος = έγχρωµη (Ταινία))) π όνοµα, τίτλος, έτος (Παίζει >< Παίζει.τίτλος = Ταινία.τίτλος AND Παίζει.έτος =Ταινία.έτος (σ είδος = έγχρωµη (Ταινία)) π όνοµα, τίτλος, έτος (Παίζει * (σ είδος = έγχρωµη (Ταινία))) B C x.a >=.b.a =.b * είναι η τρίτη έκφραση ισοδύναµη των άλλων δύο; 1 4 Βάσεις εδοµένων Ευαγγελία Πιτουρά 45 Βάσεις εδοµένων Ευαγγελία Πιτουρά 46 Παρατήρηση (ανακεφαλαίωση) ΠΡΟΣΟΧΗ Λύση του Ερωτήµατος 3 των Ασκήσεων του Εργαστηρίου στη web σελίδα του µαθήµατος Γλώσσες Ερωτήσεων (Query Languages): Επιτρέπουν τον χειρισµό και την εύρεση πληροφορίας από µια βάση δεδοµένων Το σχεσιακό µοντέλο υποστηρίζει απλές και ισχυρές γλώσσες ερωτήσεων Σχεσιακή άλγεβρα: έναν απλό τρόπο δηµιουργίας νέων σχέσεων από παλιές (byte code, assemply) Ένα σύνολο από πράξεις που όταν εφαρµοστούν σε σχέσεις µας δίνουν νέες σχέσεις Βάσεις εδοµένων Ευαγγελία Πιτουρά 47 Βάσεις εδοµένων Ευαγγελία Πιτουρά 48

9 Μια ερώτηση εφαρµόζεται σε ένα στιγµιότυπο σχέσης και το αποτέλεσµα της ερώτησης είναι πάλι ένα στιγµιότυπο σχέσης Το σχήµα της σχέσης εισόδου είναι ορισµένο Το σχήµα του αποτελέσµατος είναι επίσης ορισµένο Οι πράξεις τις σχεσιακής άλγεβρας: 1. Πράξεις που αφαιρούν κοµµάτια από µια σχέση είτε επιλέγοντας γραµµές (σ) είτε προβάλλοντας στήλες (π) 2. Οι συνηθισµένες πράξεις συνόλου: ένωση, τοµή, διαφορά 3. Πράξεις που συνδυάζουν πλειάδες από δύο σχέσεις 4. Μετονοµασία γνωρισµάτων Βάσεις εδοµένων Ευαγγελία Πιτουρά 49 Βάσεις εδοµένων Ευαγγελία Πιτουρά 50 Πλήρες σύνολο πράξεων επιλογή (σ) προβολή (π) ένωση ( ) διαφορά (-) καρτεσιανό γινόµενο (x) Επίσης τοµή ( ) συνένωση συνένωση ισότητας φυσική συνένωση (*) Ταινία Τίτλος Έτος ιάρκεια Είδος Παίζει Όνοµα-Ηθοποιού Τίτλος Έτος Ηθοποιός Όνοµα ιεύθυνση Έτος-Γέννησης Σύζυγος-Ηθοποιού Βάσεις εδοµένων Ευαγγελία Πιτουρά 51 Βάσεις εδοµένων Ευαγγελία Πιτουρά 52 Όλες τις ταινίες (τίτλο, έτος) µε ηθοποιό τη Βουγιουκλάκη Όλες τις ταινίες (τίτλο, έτος) µεταξύ 1956 και 1975 µε ηθοποιό τη Βουγιουκλάκη Για κάθε ηθοποιό το όνοµα του και τον τίτλο-έτος για όλες τις (έγχρωµες) ταινίες στις οποίες παίζει µαζί µε τον σύζυγο του/της Ονόµατα ηθοποιών που δεν έπαιξαν σε καµία ταινία µεταξύ 1995 και 2000 Βάσεις εδοµένων Ευαγγελία Πιτουρά 53 Βάσεις εδοµένων Ευαγγελία Πιτουρά 54

10 ιαίρεση ιαίρεση ιαίρεση Χρήσιµη όταν για κάθε, παράδειγµα: βρες τον ηθοποιό που παίζει σε όλες (σε κάθε) ταινία που παίζει και η haron tone. ιαίρεση ; A B C a 1 b 1 c 1 a 1 b 1 c 2 A a 1 (Παίζει): Όλοι η ηθοποιοί και οι ταινίες που παίζουν : Όλες τις ταινίες που παίζει η haron tone Q: Οι ηθοποιοί που (το όνοµα τους) εµφανίζονται στη σχέση Παίζει () µε υπόλοιπα γνωρίσµατα να παίρνουν όλες τις τιµές του a 2 b 2 c 2 a 2 b 1 c 1 a 2 b 2 c 1 a 3 b 1 c 1 a 3 b 1 c 2 a 2 a 3 Βάσεις εδοµένων Ευαγγελία Πιτουρά 55 Βάσεις εδοµένων Ευαγγελία Πιτουρά 56 ιαίρεση ιαίρεση ιαίρεση ; A B C a 1 b 1 c 1 A B a 1 b 1 c 2 a 1 b 1 a 2 b 2 c 2 a 2 b 2 a 2 b 1 c 1 A B a 1 b 1 a 1 b 3 a 1 b 4 a 2 b 2 a 2 b 4 B b 2 b 4 Ζ = {Α, Β} Χ = {B} (Z) (X), X Z Q(Υ)? a 2 b 2 c 1 a 3 b 2 Q Υ = Ζ - Χ Υ = {A} a 3 b 1 c 1 a 3 b 1 c 2 A t Q, t 1, t 1 [Y] = t a 2 t, t, t [X] = t και t [Y] = t Βάσεις εδοµένων Ευαγγελία Πιτουρά 57 Βάσεις εδοµένων Ευαγγελία Πιτουρά 58 ιαίρεση (Z) (X), X Z Το αποτέλεσµα είναι µια καινούργια σχέση Q(Y) όπου Y = Z - X και Ταινία Τίτλος Έτος ιάρκεια Είδος t Q(Y) ανν t 1, t 1 [Y] = t και t, t, t [X] = t, και t [Y] = t Παίζει Όνοµα-Ηθοποιού Τίτλος Έτος αναλογία µε τη διαίρεση ακεραίων διαίρεση ακεραίων: / το αποτέλεσµα Q τέτοιο ώστε: Q * διαίρεση σχέσεων: το αποτέλεσµα Q τέτοιο ώστε... Ηθοποιός Όνοµα ιεύθυνση Έτος-Γέννησης Σύζυγος-Ηθοποιού Βάσεις εδοµένων Ευαγγελία Πιτουρά 59 Βάσεις εδοµένων Ευαγγελία Πιτουρά 60

11 ιαίρεση ιαίρεση παράδειγµα: βρες τον ηθοποιό που παίζει σε όλες (σε κάθε) ταινία που παίζει και η haron tone. : Όλες τις ταινίες που παίζει η haron tone Q: Οι ηθοποιοί που (το όνοµα τους) εµφανίζονται στη σχέση Παίζει () µε υπόλοιπα γνωρίσµατα να παίρνουν όλες τις τιµές του π τίτλος, έτος (σ Όνοµα Ηθοποιού = haron tone (Παίζει)) Q Παίζει Χωρίς να χρησιµοποιήσω την πράξη της διαίρεσης; Iσοδύναµη έκφραση για το Q(Υ) (Ζ) (Χ) Υπολογισµός των πλειάδων που δεν πρέπει να είναι στο αποτέλεσµα. Μια πλειάδα y αποκλείεται από το αποτέλεσµα αν όταν τις συνάψουµε µια τιµή x από το, η πλειάδα <y, x> δεν ανήκει στο Τ 1 ( x π Y ()) - Q π Y () - π Y (T 1 ) Βάσεις εδοµένων Ευαγγελία Πιτουρά 61 Βάσεις εδοµένων Ευαγγελία Πιτουρά 62 ιαίρεση Συναθροιστικές Συναρτήσεις (εφαρµογή ισοδύναµης έκφρασης): βρες τον ηθοποιό που παίζει σε όλες (σε κάθε) ταινία που παίζει και η haron tone. Συναθροιστικές Συναρτήσεις Μια πλειάδα y αποκλείεται από το αποτέλεσµα αν όταν τις συνάψουµε µια τιµή x από το, η πλειάδα <y, x> δεν ανήκει στο Τ 1 ( x π Y ()) - Q π Y () - π Y (T 1 ) π τίτλος, έτος (σ Όνοµα Ηθοποιού = haron tone (Παίζει)) Τ 1 ( x π ηθοποιός (Παίζει)) Παίζει (µένουν µόνο οι ηθοποιοί που δεν παίζουν σε κάποια ταινία που παίζει η tone!) Q π ηθοποιός (Παίζει) π ηθοποιός (Τ 1 ) Χρήσιµη η δυνατότητα της συνάθροισης: συνδυασµός των πλειάδων µιας σχέσης για τον υπολογισµό µιας συναθροιστικής τιµής Παραδείγµατα: πόσοι ηθοποιοί παίζουν σε µια ταινία, ποιος ηθοποιός πήρε το µεγαλύτερο µισθό, κ.λ.π. Βάσεις εδοµένων Ευαγγελία Πιτουρά 63 Βάσεις εδοµένων Ευαγγελία Πιτουρά 64 Συναθροιστικές Συναρτήσεις Συναθροιστικές Συναρτήσεις συναρτήσεις που παίρνουν ως παράµετρο µια συλλογή (όχι σύνολο) από τιµές συνήθεις συναρτήσεις: UM, AVEAGE, MAX, MIN, COUNT (πλήθος πλειάδων) αποτέλεσµα µια σχέση και όχι µια τιµή Ƒ <λίστα συναρτήσεων> (<όνοµα σχέσης>) ζεύγη <συνάρτηση γνώρισµα> : µέση διάρκεια ταινιών AVEAGE_διάρκεια Ƒ AVEAGE διάρκεια (Ταινία) 91 : παλιότερη και πιο πρόσφατη έγχρωµη ταινία Ƒ ΜΙΝ έτος, ΜΑΧ έτος ( σ είδος = έγχρωµη (Ταινία)) ΜΙΝ_έτος MAX_έτος Βάσεις εδοµένων Ευαγγελία Πιτουρά 65 Βάσεις εδοµένων Ευαγγελία Πιτουρά 66

12 Συναθροιστικές Συναρτήσεις Συναθροιστικές Συναρτήσεις Παρατήρηση : σύµβαση για το όνοµα των γνωρισµάτων του αποτελέσµατος (δηλ, concatenation του ονόµατος της συνάρτησης µε το όνοµα του γνωρίσµατος)- δυνατή και η µετονοµασία Οµαδοποίηση <γνωρίσµατα οµαδοποίησης> Ƒ <λίστα συναρτήσεων> (<όνοµα σχέσης>) : πόσοι ηθοποιοί ανά ταινία Βάσεις εδοµένων Ευαγγελία Πιτουρά 67 Βάσεις εδοµένων Ευαγγελία Πιτουρά 68 Συναθροιστικές Συναρτήσεις : αριθµός ηθοποιών ανά ταινία τίτλος, έτος Ƒ COUNT Όνοµα-Ηθοποιού (Παίζει) Τίτλος Έτος COUNT_Όνοµα Ηθοποιού ixth ense un Lola un Eyes Wide hut Ποιο θα ήταν το αποτέλεσµα αν δεν υπήρχαν τα γνωρίσµατα οµαδοποίησης; Αναδροµική Κλειστότητα Αναδροµική Κλειστότητα Αρ_Ταυτ ιεύθυνση Μισθός Προϊστάµενος εν είναι δυνατόν να βρούµε όλους τους υφισταµένους που επιτηρεί σε οποιοδήποτε επίπεδο ένας συγκεκριµένος προϊστάµενος (π.χ., Αρ_Ταυτ = Μ20200) Π 1 (Προϊστ1) π Αρ_Ταυτ (σ Προϊστάµενος = Μ20200 ()) Π 2 (Προϊστ2) π Αρ_Ταυτ ( Π 1 Προϊστ1 = Προϊστάµενος ()) Βάσεις εδοµένων Ευαγγελία Πιτουρά 69 Βάσεις εδοµένων Ευαγγελία Πιτουρά 70 Εξωτερική Συνένωση Εξωτερική Συνένωση Όταν θέλουµε να κρατήσουµε στο αποτέλεσµα όλες τις πλειάδες - και αυτές που δεν ταιριάζουν) είτε της σχέσης στα αριστερά (αριστερή εξωτερική συνένωση) είτε της σχέσης στα δεξιά (δεξιά εξωτερική συνένωση) * Α C Α B Α C B Α C B Α C B null 3 null 9 ΠΡΟΤΙΜΑ(ΠΟΤΗΣ, ΜΠΥΡΑ) ΣΥΧΝΑΖΕΙ(ΠΟΤΗΣ, ΜΑΓΑΖΙ) ΣΕΡΒΙΡΕΙ(ΜΑΓΑΖΙ, ΜΠΥΡΑ) 1. Μαγαζιά που σερβίρουν τουλάχιστον δύο διαφορετικές µπύρες 2. Μαγαζιά που σερβίρουν ακριβώς δύο διαφορετικές µπύρες 3. Τα µαγαζιά που σερβίρουν όλες τις µπύρες που προτιµούν οι πότες. 4. Τα µαγαζιά που δεν σερβίρουν καµία µπύρα που προτιµά ο πότης «Χαράλαµπο» 5. Τα µαγαζιά που δεν σερβίρουν καµία µπύρα που να αρέσει σε κάποιον πότη. Βάσεις εδοµένων Ευαγγελία Πιτουρά 71 Βάσεις εδοµένων Ευαγγελία Πιτουρά 72

13 Ορισµοί και Τροποποιήσεις Ορισµοί Σχεσιακού Μοντέλου και Τροποποιήσεις Σχέσεων γλώσσες ερωτήσεων που απαντούν σε ερωτήσεις για τον παρόν στιγµιότυπο της βάσης δεδοµένων (quering) επεκτάσεις που δεν είναι µέρος του τυπικού σχεσιακού µοντέλου αλλά εµφανίζονται σε πραγµατικές γλώσσες ερωτήσεων (π.χ., QL) συναθροιστικές συναρτήσεις ορισµοί σχήµατος/όψεων τροποποιήσεις στιγµιοτύπων (εισαγωγή, διαγραφή και τροποποίηση πλειάδων) Βάσεις εδοµένων Ευαγγελία Πιτουρά 73 Βάσεις εδοµένων Ευαγγελία Πιτουρά 74 Ορισµός Σχήµατος Για κάθε σχεσιακό σχήµα µια γλώσσα ορισµού δεδοµένων Ορισµός Σχήµατος 1. Ορισµός σχήµατος (όνοµα στη σχεσιακή βάση δεδοµένων) 2. Ορισµός των (σχηµάτων) σχέσεων που αποτελούν τη βάση Όνοµα σχέσης, ονόµατα και πεδία ορισµού των γνωρισµάτων, περιορισµοί ορθότητας Όψεις Μια έκφραση σε σχεσιακή άλγεβρα παράγει µια σχέση ως αποτέλεσµα Όψεις Μπορούµε να την θεωρήσουµε ως µια έκφραση που ορίζει µια σχέση. Η σχέση δεν παράγεται µέχρι η έκφραση να εκτελεστεί. (όψη) Αφού οριστεί µια όψη µπορεί να χρησιµοποιηθεί ως πραγµατική σχέση 3. Ορισµοί πεδίων ορισµού Βάσεις εδοµένων Ευαγγελία Πιτουρά 75 Βάσεις εδοµένων Ευαγγελία Πιτουρά 76 Όψεις Πράξεις Ενηµέρωσης ιαφορά από την σχέση που ορίζεται µε ανάθεση: η ανάθεση υπολογίζεται µόνο µια φορά, το αποτέλεσµα δεν αλλάζει όταν αλλάζουν τα στιγµιότυπα των σχέσεων - η όψη υπολογίζεται εκ νέου Αποθηκεύουµε τον ορισµό Τροποποιήσεις µέσω όψεων Πράξεις Ενηµέρωσης Η σχεσιακή άλγεβρα είναι µια γλώσσα ερωτήσεων υνατότητα τροποποίησης της βάσης δεδοµένων: 1. Εισαγωγή πλειάδων 2. ιαγραφή πλειάδων 3. Τροποποίηση πλειάδων που ήδη υπάρχουν Υλοποιηµένη (materialized) όψη Βάσεις εδοµένων Ευαγγελία Πιτουρά 77 Βάσεις εδοµένων Ευαγγελία Πιτουρά 78

14 Εισαγωγή ιαγραφή Εισαγωγή Παρέχει µια λίστα από τιµές γνωρισµάτων για µια νέα πλειάδα που πρέπει να εισαχθεί στη σχέση Ποιους από τους περιορισµούς (πεδίου ορισµού, κλειδιού, ακεραιότητας οντοτήτων και αναφορικής ακεραιότητας) µπορεί να παραβιάζει µια τέτοια λίστα τιµών; Σε περίπτωση παραβίασης: Απόρριψη εισαγωγής ή προσπάθεια διόρθωσης της αιτίας (διάδοση προς τα πίσω, πότε;) ιαγραφή Προσδιορίζεται µια συνθήκη πάνω στα γνωρίσµατα της σχέσης και διαγράφονται οι πλειάδες που την ικανοποιούν Ποιους από τους περιορισµούς (πεδίου ορισµού, κλειδιού, ακεραιότητας οντοτήτων και αναφορικής ακεραιότητας) µπορεί να παραβιάζει το αποτέλεσµα µια διαγραφής; Σε περίπτωση παραβίασης (αναφορικής ακεραιότητας): απόρριψη της διαγραφής διάδοση της διαγραφής τροποποίηση των τιµών των αναφορικών γνωρισµάτων Βάσεις εδοµένων Ευαγγελία Πιτουρά 79 Βάσεις εδοµένων Ευαγγελία Πιτουρά 80 Τροποποίηση Τροποποίηση Προσδιορίζεται µια συνθήκη πάνω στα γνωρίσµατα της σχέσης και τροποποιούνται οι πλειάδες που την ικανοποιούν Ποιους από τους περιορισµούς (πεδίου ορισµού, κλειδιού, ακεραιότητας οντοτήτων και αναφορικής ακεραιότητας) µπορεί να παραβιάζει το αποτέλεσµα µιας τροποποίησης; Όταν το γνώρισµα που τροποποιείται είναι ξένο κλειδί ή κλειδί; Βάσεις εδοµένων Ευαγγελία Πιτουρά 81