Σύνοψη Λογικός Σχεδιασµός Σχεσιακών Βάσεων εδοµένων και Κανονικοποίηση Σχεσιακός Σχεδιασµός - Στόχοι Κριτήρια / Οδηγίες για ένα καλό Σχεδιασµό Συναρτη
|
|
- Δελφίνια Ζέρβας
- 7 χρόνια πριν
- Προβολές:
Transcript
1 Κεφάλαιο 7 ΣΧΕ ΙΑΣΜΟΣ ΒΑΣΕΩΝ Ε ΟΜΕΝΩΝ ΚΑΙ ΚΑΝΟΝΙΚΟΠΟΙΗΣΗ (Normalization) Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.1
2 Σύνοψη Λογικός Σχεδιασµός Σχεσιακών Βάσεων εδοµένων και Κανονικοποίηση Σχεσιακός Σχεδιασµός - Στόχοι Κριτήρια / Οδηγίες για ένα καλό Σχεδιασµό Συναρτησιακές Εξαρτήσεις - Οι Κανονικές Μορφές Β Αποσυνθέσεις Σχέσεων (Decompositions) Συνθήκη ιατήρησηςεξαρτήσεων (dependency preservation) και Συνενώσεις άνευ απωλειών (lossless-joins) Άλλες Συναρτησιακές Εξαρτήσεις (Multivalued, Join) Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.2
3 Σχεσιακές Βάσεις Λογικός Σχεδιασµός Σχεδιασµός Σχέσεων: Οµαδοποίηση Γνωρισµάτων έτσι ώστε να επιτευχθούν καλά σχήµατα Σχέσεων (Σχέσεις Βάσης) ΑΤΥΠΑ ΚΡΙΤΗΡΙΑ: Προσπάθεια για εννοιολογική καθαρότητα Προσπάθεια για αποδοτικότητα χώρου (αποφυγή πλεονασµού) Προσπάθεια για ακεραιότητα (αποφυγή ανωµαλιών ενηµέρωσης) Προσπάθεια για πληρότητα (αποφυγή NULL τιµών σε πλειάδες) Προσπάθεια για γλωσσολογική αποδοτικότητα Προσπάθεια για καλές Επιδόσεις (performance) Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.3
4 Κριτήρια Σχεδιασµού (1) Προσπάθεια για Εννοιολογική Καθαρότητα Ανεπίσηµα (και στην ιδανική περίπτωση), κάθε πλειάδα πρέπει να παριστά ακριβώς µια οντότητα ή ένα στιγµιότυπο συσχέτισης Με άλλα λόγια, οι πλειάδες δεν πρέπει να είναι υπερφορτωµένες µε εννοιολογική πληροφορία (δηλαδή, δεν πρέπει να παριστούν περισσότερα του ενός γεγονότα) ιακριτές οντότητες δεν πρέπει να αναµιγνύονται ο µόνος τρόπος για ένδο-αναφορές µεταξύ Σχέσεων πρέπει να είναι το εξωτερικό κλειδί Προσπάθεια για αποδοτικότητα χώρου (αποφυγή πλεονασµού) Πλεόνασµα χώρου (redundancy) σηµαίνει Χάσιµο χώρου Το Πλεόνασµα επιφέρει ανωµαλίες (ονοµάζονται, ανωµαλίες ενηµέρωσης - update anomalies) Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.4
5 Κριτήρια Σχεδιασµού (2) Προσπάθεια για ακεραιότητα (αποφυγή ανωµαλιών ενηµέρωσης) Η ακεραιότητα της Βάσης φθείρεται όταν συµβαίνουν ανωµαλίες εισαγωγής, διαγραφής και τροποποίησης Έχουµε ανωµαλία όταν µια ενηµέρωση σε ένα σηµείο επιφέρει έναν µη-προσδιορίσιµο αριθµό ενηµερώσεων σε άλλα σηµεία της Βάσης. Προσπάθεια για πληρότητα (αποφυγή NULL τιµών σε πλειάδες) Οι τιµές Null σηµαίνουν έλλειψη γνώσης ή µη-εφαρµοσιµότητα και συχνά προκαλούν λάθη σε ερωτήσεις για να γίνει σωστή η εκτέλεση των ερωτήσεων απαιτείται διαφορετικήλογικήαπόαυτήπουχρησιµοποιούµε σεπρακτικά / εµπορικά συστήµατα λογική δύο τιµών αληθείας true / false) Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.5
6 Κριτήρια Σχεδιασµού (3) Προσπάθειαγιαγλωσσολογικήαποδοτικότητα (Linguistic Efficiency) Όσο πιο απλά µπορούν να εκφραστούν οι ερωτήσεις στην εφαρµογή τόσο το καλύτερο για τον προγραµµατιστή / χρήστη και (συνήθως) και για τον Βελτιστοποιητή Ερωτήσεων του συστήµατος Οι Ερωτήσεις γίνονται πιο εύκολα σε Σχέσεις που έχουν πολλές πληροφορίες / γνωρίσµατα (π.χ., δεν χρειάζονται πολλές συνενώσεις) Προσπάθεια για καλές Επιδόσεις (performance) Όπως και στην προηγούµενη περίπτωση, Σχέσεις µε λίγα Γνωρίσµατα (π.χ., δυαδικές), επιφέρουν ένα µεγάλο αριθµό συνενώσεων για την εκτέλεση ερωτήσεων. ΠΟΛΛΑ ΑΠΌ ΤΑ ΚΡΙΤΗΡΙΑ ΕΊΝΑΙ ΑΝΤΙΦΑΤΙΚΑ! Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.6
7 Παράδειγµα «Κακού»Σχεδιασµού ΈστωηΒάσηµεέναΣχήµαΣχέσης: ED(SSN, EName, Salary, DNumber, DName, Location, MgrSSN) Q1: ΒρεςόλουςτουςΥπαλλήλουςπουβγάζουνπιοπολλάαπότον Προϊστάµενό τους select e.ename from ED e, ED m where e.mgrssn = m.ssn and e.salary > m.salary Q2: Για κάθε Τµήµα, Βρες τον µέγιστο µισθό select from group by DName, max(salary) ED DNumber Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.7
8 Παράδειγµα «Κακού» Σχεδιασµού (2) ED(SSN, EName, Salary, DNumber, DName, Location, MgrSSN) ΣΧΟΛΙΑ Οιπαραπάνωερωτήσειςγίνονταιµεαπλότρόπο (linguistic efficiency) ΑΛΛΑ, έχουµε ΑΝΩΜΑΛΙΕΣ ΕΝΗΜΕΡΩΣΗΣ: (α)πλεονασµοί: Οι πληροφορίες ενός Τµήµατος επαναλαµβάνονται για κάθε υπάλληλο του Τµήµατος (β)ανωµαλίεςτροποποιήσεων: Σεµιααπλήτροποποίηση (π.χ., αλλάζοντας τον Προϊστάµενο ενός Τµήµατος,) ένας ανεξέλεγκτος αριθµός πλειάδων πρέπει να τροποποιηθεί (γ) Ανωµαλίες Εισαγωγής : Πληροφορίες για ένα νέο Τµήµα δεν είναι δυνατό να εισαχθούν στη Βάση αν δεν υπάρχει κάποιος Υπάλληλος που (ήδη) εργάζεται στο Τµήµα. (δ) Ανωµαλίες ιαγραφής : Όταν διαγράφεται και ο τελευταίος υπάλληλος πουεργάζεταισεένατµήµα, χάνουµετιςπληροφορίεςγιατοίδιοτο Τµήµα Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.8
9 Παράδειγµα «Καλύτερου»Σχεδιασµού Μπορούµε να επιλέξουµε έναν ισοδύναµο (του προηγουµένου) Σχεδιασµό µε δύο Σχέσεις: EMPLOYEE(SSN, EName, Salary, DNumber) DEPARTMENT(DNumber, DName, Location, MgrSSN) Q1: Βρες όλους τους Υπαλλήλους που βγάζουν πιο πολλά από τον Προϊστάµενό τους select from where e.ename EMPLOYEE e, EMPLOYEE m, DEPARTMENT d e.dnumber = d.dnumber and e.mgrssn = m.ssn and e.salary > m.salary Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.9
10 Παράδειγµα «Καλύτερου» Σχεδιασµού (2) Q2: Για κάθε Τµήµα, Βρες τον µέγιστο µισθό select d.dname, max(e.salary) from EMPLOYEE e, DEPARTMENT d where d.dnumber = e.dnumber group by d.dnumber Αυτέςοιερωτήσειςείναισύνθετες (linguistic inefficiency) καιαπαιτούνπερισσότερεςσυνενώσεις (performance), ΑΛΛΑ ΑΠΟΦΕΥΓΟΥΝ ΟΛΕΣ ΤΙΣ ανωµαλίες τροποποίησης (update anomalies) ΟΣτόχοςµαςστησυνέχειαείναιναδούµεΠΩΣηκατάληξη σε καλούς Σχεδιασµούς µπορεί να γίνει ΤΥΠΙΚΑ και ΣΥΣΤΗΜΑΤΙΚΑ Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.10
11 ΣΥΝΑΡΤΗΣΙΑΚΕΣ ΕΞΑΡΤΗΣΕΙΣ ΟιΣυναρτησιακέςΕξαρτήσεις (Functional Dependencies FD) είναι το πιο κοινό τυπικό µέτρο του καλού για Σχεσιακούς Σχεδιασµούς Χρησιµοποιούνται για τον ορισµό των Κανονικών Μορφών για Σχέσεις Μια FD αποτελεί έναν περιορισµό για όλα τα στιγµιότυπα της Σχέσης r(r), αλλά είναι µια ιδιότητα των γνωρισµάτων στο Σχήµα R ΤΥΠΙΚΟΣ ΟΡΙΣΜΟΣ: Έστω X, Y σύνολα Γνωρισµάτων στο Σχήµα Σχέσης R. Λέµε ότι η Συναρτησιακή Εξάρτηση (FD): X Y ισχύει αν η X-τιµή καθορίζει µοναδικά την Y-τιµή. Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.11
12 FD Ορισµοί ΕΝΑΛΛΑΚΤΙΚΟΣ ΟΡΙΣΜΟΣ: Έστω X, Y σύνολα Γνωρισµάτων στο Σχήµα Σχέσης R. Λέµε ότι η Συναρτησιακή Εξάρτηση (FD): X Y ισχύει αν, όποτε δύο πλειάδες σε ένα στιγµιότυπο r(r) έχουν τηνίδιατιµήγιατο X, τότεπρέπειναέχουντηνίδιατιµήγιατο Y ηλαδή: γιαοποιεσδήποτεδύοπλειάδες t 1, t 2 σεκάθεσχέση r(r): Αν t 1 [X] = t 2 [X] τότε t 1 [Y] = t 2 [Y] ΑντοΚείναιΚλειδίστην R, τότετο K εξαρτάσυναρτησιακά ΟΛΑταΓνωρίσµαταστην R (µιακαιδενµπορούµεποτένα έχουµεδιακριτέςπλειάδες t1, t2 µε t1 [K] = t2 [K] ) Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.12
13 Ιδιότητες των FD Τετριµµένη Συναρτησιακή Εξάρτηση: Όποτε Y X, τότε X Y Παράδειγµα: SSN, Salary Salary Πλήρης Συναρτησιακή Εξάρτηση: Λέµε ότι ένα σύνολο γνωρισµάτων Y είναι πλήρως εξαρτώµενο συναρτησιακά από ένα σύνολο X, αν είναι συναρτησιακά εξαρτώµενο από το X και δεν είναι συναρτησιακά εξαρτώµενο από κάποιο υποσύνολο του X, ηλαδή, το Y είναιπλήρωςεξαρτώµενοσυναρτησιακάαπό το X, αν X Y καιδενυπάρχει W έτσιώστε W X and W Y Παράδειγµα: SSN, PNumber HoursPW Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.13
14 Ιδιότητες των FD (2) Μερική Εξάρτηση: Σαν συνέπεια του παραπάνω ορισµού, λέµε ότι το Y είναιµερικόεξαρτώµενο απότο X, αν X Y καιδεν υπάρχεικάποιο W έτσιώστε W X και W Y Παράδειγµα: SSN,Salary Address (αλλάκαι, SSN Address) ΜεταβατικήΕξάρτηση: Μιασυναρτησιακήεξάρτηση X Z είναι µεταβατική αν µπορεί να προέλθει / απορρέει από δύο άλλες FD µεµεταβατικότητα (X Y και Y Z ) Παράδειγµα: SSN DNumber και DNumber MgrSSN, συνεπάγονται: SSN MgrSSN Πρωτεύον Γνώρισµα: υποψήφιου κλειδιού Ένα Γνώρισµα που είναι µέλος κάποιου Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.14
15 ΚΑΝΟΝΙΚΟΠΟΙΗΣΗ Η διαδικασία της Κανονικοποίησης ενσωµατώνει την εννοιολογική έννοια της FD στα Σχήµατα Σχέσεων. Υπάρχουν Κανονικές Μορφές Σχηµάτων, όπου τα παρακάτω αποδεικνύονται: ΟΛΕΣ οι ΣΧΕΣΕΙΣ 1NF 2NF 3NF BCNF 4NF 5NF Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.15
16 Κανονικές Μορφές (1) Πρώτη Κανονική Μορφή (1NF): Η R είναι σε 1NF αν κάθε Γνώρισµα παίρνει ατοµικές / αδιαίρετες τιµές. Θεωρούµε ότι οι Σχέσεις που δουλεύουµε είναι τουλάχιστον σε 1NF (αυτό σε σύγχρονα DBMS δενισχύει π.χ., πολυµέσα, γεωγραφικές πληροφορίες, κλπ). Παράδειγµα: R(ENumber, ChildrenNames) ΕΝ ΕΙΝΑΙ σε 1NF εύτερη Κανονική Μορφή (2NF): Η R είναι σε 2NF αν είναι σε 1NF και κανένα µη-πρωτεύον Γνώρισµα δεν είναι µερικώς εξαρτώµενο από ένα υποψήφιο κλειδί. Παράδειγµα : SUPPLIER(SNumber, SName, ItemNumber, Price) ΕΝ ΕΙΝΑΙ σε 2NF, γιατί ο συνδυασµός SNumber, ItemNumber είναι υποψήφιο κλειδί, αλλά επίσης SNumber SName ισχύει Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.16
17 Κανονικές Μορφές (2) Τρίτη Κανονική Μορφή (3NF): Η R είναι σε 3NF αν είναι σε 2NF και κανένα µη-πρωτεύον Γνώρισµα δεν είναι µεταβατικά εξαρτώµενο από ένα υποψήφιο κλειδί Παράδειγµα: Η Σχέση: ED(SSN, EName, Salary, DNumber, DName, Location, MgrSSN) είναι σε 2NF ΑΛΛΑ ΕΝ ΕΙΝΑΙ σε 3NF, διότι Το SSN είναι (τοµόνο) υποψήφιοκλειδίκαιέχουµε: SSN Dnumber και DNumber MgrSSN (δηλαδή, το MgrSSN είναι µεταβατικά εξαρτώµενο από το SSN) Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.17
18 Κανονικές Μορφές (3) Ισοδύναµος Ορισµός της ΤΡΙΤΗΣ ΚΑΝΟΝΙΚΗΣ ΜΟΡΦΗΣ (3NF): Η R είναι σε 3NF αν και µόνο εάν για κάθε FD X A, όπου X είναι ένα σύνολο γνωρισµάτων της R και A είναι απλό Γνώρισµα, τουλάχιστο ένα από τα παρακάτω τρία ισχύει 1.- A X (η FD είναιτετριµµένη) 2.- K X (µε το K υποψήφιο κλειδί του R) 3.- A K (µε το K υποψήφιο κλειδί του R) Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.18
19 Κανονικές Μορφές (4) Κανονική Μορφή BOYCE-CODD (BCNF): Η R είναι σε BCNFανκαιµόνοεάνόποτεµια FD X Y ισχύειτότετο X είναι υποψήφιο κλειδί (όπου X, Y είναι σύνολα Γνωρισµάτων του R) ΙσοδύναµοςΟρισµόςτου BOYCE-CODD NORMAL FORM (BCNF): Η R είναισε BCNFανκαιµόνοεάνγιακάθε FD X A, όπουτο X είναιείναισύνολογνωρισµάτωντου R και A είναι απλό γνώρισµα, τουλάχιστον ένα από τα παρακάτω ισχύει: 1.- A X (η FD είναιτετριµµένη) 2.- K X (µε το K υποψήφιο κλειδί του R) Σηµείωση: Ακριβώς όπως η 3NF χωρίς την επιλογή 3., που άµεσα δείχνει ότι η BCNF συνεπάγεται την 3NF Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.19
20 Κανονικές Μορφές (5) Παράδειγµα: Η Σχέση: RESTAURANT(Client, Food, ReceiptNumber) είναι σε 3NF ΑΛΛΑ ΕΝ ΕΙΝΑΙ σε BCNF, διότι ισχύουν: Client, Food ReceiptNumber, και ReceiptNumber Food (αυτή δεν είναι εξάρτηση από κλειδί) Κάθε Σχέση είναι δυνατόν να µετασχηµατιστεί σε ισοδύναµες σχέσεις σε 3NF (χρησιµοποιώντας καλά ορισµένους αλγορίθµους). Η διαδικασία αυτή ονοµάζεται Αποσύνθεση ή 3NF Κανονικοποίηση. υστυχώς, υπάρχουν κάποιες 3NF σχέσεις που δεν είναι δυνατόν να µετασχηµατιστούν σε BCNF (όπως το χαρακτηριστικό παράδειγµα παραπάνω) Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.20
21 Θεωρία Κανονικοποίησης - Κανόνες οθέντος ενός συνόλου από FD F µπορούµε να προσδιορίσουµε άλλες FD πουισχύουνόποτεοι FD στην F ισχύουν - γιανα προσδιορίσουµε τέτοιες FD χρειαζόµαστε κανόνες συµπερασµού. A1. Αν Y X τότε X Y (Ανακλαστικός -Reflexivity) A2. Αν X Y τότε XZ YZ (Επαυξητικός -Augmentation) A3. Αν X Y και Y Z τότε X Z (Μεταβατικός - Transitivity) Ο Armstrong απέδειξεότι: {A1, A2, A3) είναιένα βάσιµοκαι πλήρες σύνολο κανόνων συµπερασµού δηλαδή, οικανόνεςδηµιουργούνµόνοβάσιµες FD καιεπίσης, όλες οι FD που µπορούµε να συµπεράνουµε, δηµιουργούνται µε αυτούς τους κανόνες. Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.21
22 Κανόνες Συµπερασµού Επιπλέον Κανόνες Συµπερασµού ισχύουν : A4. Αν X YZ τότε X Y και X Z ( ιασπαστικός - Decomposition) A5. Αν X Y και X Z τότε X YZ (Ενωτικός - Union) A6. Αν X Y και WY Z τότε WX Z (Ψευδοµεταβατικός -Pseudotransitivity) Το κλείσιµο - closure F+ ενός συνόλου FD F είναι το σύνολο όλων των FD που συµπεραίνονται από το F (µε την εφαρµογή των κανόνων Armstrong) Το κλείσιµο - closure X+ ενός συνόλου γνωρισµάτων X σε σχέσηµεένασύνολο FD F είναιτοσύνολοόλωντων γνωρισµάτωνπουεξαρτώνταισυναρτησιακάαπότο X (µε την εφαρµογή των κανόνων Armstrong) Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.22
23 Παραδείγµατα R = (A, B, C, G, H, I) F = { A B A C CG H CG I B H} Συναρτησιακέςεξαρτήσειςστην F + A H» Μεµεταβατικότητα A B και B H AG I» Επαυξητικάαπότο A C µετο G, παίρνουµετο AG CG καιµετάµε µεταβατικότηταµετο CG I CG HI» Απότο CG H καιτο CG I : κανόναςένωσης Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.23
24 Υπολογισµόςτου F + Αλγόριθµος: F + = F repeat for each functional dependency f in F + apply reflexivity and augmentation rules on f add the resulting functional dependencies to F + for each pair of functional dependencies f 1 and f 2 in F + if f 1 and f 2 can be combined using transitivity then add the resulting functional dependency to F + until F + does not change any further «ΑΡΓΟΣ»Αλγόριθµος Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.24
25 ΥπολογισµόςΚλεισίµατοςΣυνόλουΓνωρισµάτων (α + ) Αλγόριθµοςυπολογισµού α +, µετηνύπαρξητης F result := α; while (changes to result) do for each β γ in F do begin if β result then result := result γ end «ΓΡΗΓΟΡΟΣ»Αλγόριθµος Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.25
26 Παραδείγµατα του Κλεισίµατος Συνόλου Γνωρισµάτων (α + ) R = (A, B, C, G, H, I) F = {A B A C CG H CG I B H} (AG) + 1. result = AG 2. result = ABCG (A C and A B) 3. result = ABCGH (CG H and CG AGBC) 4. result = ABCGHI (CG I and CG AGBCH) Είναιτο AGυποψήφιοκλειδί? 1. Είναιτο AG κλειδί? 1. ΗΕρώτηση AG R? Είναιισοδύναµηµετην «είναιτο (AG) + R»? 2. Είναι κάποιο υποσύνολο του AG κλειδί? 1. Είναιτο A R? == Είναιτο (A) + R 2. Είναιτο G R? == Είναιτο (G) + R Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.26
27 ΧρήσειςτουΚλεισίµατοςΣυνόλουΓνωρισµάτων (α + ) ΕΛΕΓΧΟΣ ΚΛΕΙ ΙΟΥ: Γιατονέλεγχοαντο αείναικλειδί, υπολογίζουµετο α +, και ελέγχουµεαντο α + περιέχειόλαταγνωρίσµατατου R. ΕΛΕΓΧΟΣ ΣΥΝΑΡΤΗΣΙΑΚΩΝ ΕΞΑΡΤΗΣΕΩΝ Γιατονέλεγχοανησυναρτησιακήεξάρτηση α βισχύει (µεάλλαλόγια, ανείναιστο F + ), έλεγξεαν β α +. ηλαδή, υπολογίζουµετο α + µετογνωστόαλγόριθµο, και ελέγχουµεανπεριέχειτο β. Είναι ένα εύκολος και γρήγορος έλεγχος ΥΠΟΛΟΓΙΣΜΟΣ ΤΟΥ ΚΛΕΙΣΙΜΑΤΟΣ ΤΟΥ F Γιακάθε γ R, υπολογίζουµετο γ +, καιγιακάθε S γ +, παίρνουµε µια συναρτησιακή εξάρτηση γ S. Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.27
28 Ισοδυναµία Συνόλων από FD ύο σύνολα από FD F και G είναι ισοδύναµα αν κάθε FD στο F είναι δυνατόν ναπαραχθείαπότο G καικάθε FD στο G είναιδυνατόννα παραχθείαπότο F (δηλαδή, F και G είναι ισοδύναµα αν ισχύει: F+ = G+ ) Το F καλύπτειτο G ανκάθε FD στο G είναιδυνατόνναπαραχθείαπότο F (δηλαδήισχύει: G+ F+ ) Ένα σύνολο F από FD είναι ελάχιστη κάλυψη αν ικανοποιεί τα παρακάτω: (1)Κάθεεξάρτησηστο F είναιτηςµορφής: X A, όπου A είναιένααπλό γνώρισµα (2) ενµπορούµενααποσύρουµεµια FDαπότο F καιναεξακολουθούµενα έχουµε ένα σύνολο ισοδύναµο του F (3) ενµπορούµενααντικαταστήσουµεµια FD X Aαπότο F µεµια FD Y A,όπου Y Xκαιναεξακολουθούµεναέχουµεένασύνολοισοδύναµοτου F Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.28
29 Αλγόριθµος: Υπολογισµός Ελάχιστης Κάλυψης του F repeat Use the union rule to replace any dependencies in F α 1 β 1 and α 1 β 2 with α 1 β 1 β 2 Find a functional dependency α β with an extraneous attribute either in α or in β If an extraneous attribute is found, delete it from α β until F does not change Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.29
30 R = (A, B, C) F = {A BC B C A B AB C} Παράδειγµα Combine A BC and A B into A BC Set is now {A BC, B C, AB C} A is extraneous in AB C Check if the result of deleting A from AB C is implied by the other dependencies» Yes: in fact, B C is already present! Set is now {A BC, B C} C is extraneous in A BC Check if A C is logically implied by A B and the other dependencies» Yes: using transitivity on A B and B C. Can use attribute closure of A in more complex cases Η ελάχιστη κάλυψη είναι: A B B C Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.30
31 Αποτελέσµατα Θεωρίας Συναρτησιακών Εξαρτήσεων Υπάρχει απλός αλγόριθµος για να ελέγχει την ισοδυναµία µεταξύ συνόλων από FD Κάθε σύνολο από FD έχει ένα ελάχιστο ισοδύναµο σύνολο εν υπάρχει απλός (efficient) αλγόριθµος για να υπολογίζει το ελάχιστο ισοδύναµο σύνολο από FD που είναι ισοδύναµο µε ένα σύνολο F από FD Η ύπαρξη (και υπολογισµός) ενός ελάχιστου ισοδύναµου συνόλου είναι σηµαντική για κάθε αλγόριθµο σχεδιασµού Επιπλέον κριτήρια απαιτούνται για να επιτύχουµε έναν «καλό» λογικό σχεδιασµό σχέσεων (ιδιότητα συνενώσεων άνευ απωλειών - lossless join property, ιδιότηταδιατήρησης εξαρτήσεων - dependency preserving property). Οι αλγόριθµοι σχεδιασµού πληρούν τέτοιες ιδιότητες Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.31
32 Σχεσιακή Αποσύνθεση ΤΟΑΡΧΙΚΟΣΗΜΕΙΟόλωντωναλγορίθµωνείναιένασχήµα καθολικής σχέσης R που περιέχει όλα τα γνωρίσµατα της Βάσης ΣΤΟΧΟΣτουσχεδιασµούείναιµιααποσύνθεση (decomposition) Dτου Rσε mσχήµατασχέσεων R 1, R 2, R 3,... R m όπουκάθε R i περιέχει ένα υποσύνολο γνωρισµάτων του R και κάθε γνώρισµα του RπρέπειναπαρουσιάζεταισετουλάχιστονέναΣχήµαΣχέσης R i (ιδιότητα διατήρησης Γνωρισµάτων) Στην ουσία, όταν κάνουµε αποσύνθεση του R, σκοπεύουµε να αποθηκεύσουµε στιγµιότυπα των Σχέσεων που προκύπτουν από την αποσύνθεση, αντί για στιγµιότυπα του R. Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.32
33 Προβλήµατα µε Αποσυνθέσεις Αν η αποσύνθεση γίνει µε τυχαίο τρόπο, παρουσιάζονται προβλήµατα: Μερικέςερωτήσειςκαθίστανταιπιοακριβές (µη-αποδοτικές).» Π.χ., Οι ερωτήσεις πιθανόν να απαιτούν πολλές Συνενώσεις οθέντων στιγµιότυπων των αποσυνθεµένων Σχέσεων, είναι πιθανόν να µη µπορούµε να ανακατασκευάσουµε το στιγµιότυπο της αρχικής Σχέσης!» Η περίπτωση των πλασµατικών πλειάδων Για τον έλεγχο κάποιων εξαρτήσεων, πιθανόν να χρειάζεται η Συνένωση των αποσυνθεµένων στιγµιότυπων.» Τα γνωρίσµατα στις FD είναι τώρα σε περισσότερες της µιας Σχέσεις Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.33
34 ιατήρηση Εξαρτήσεων (1) Ι ΙΟΤΗΤΑ ΙΑΤΗΡΗΣΗΣ ΕΞΑΡΤΗΣΕΩΝ: Η αποσύνθεση D πρέπειναδιατηρείτιςσυναρτησιακέςεξαρτήσεις; δηλαδή, η συλλογή όλων των εξαρτήσεων που ισχύουν για τις σχέσεις R i πρέπειναείναιισοδύναµηµετην F (οι FD πουισχύουν στην R) ΤΥΠΙΚΑ: Ορισµός: Η ΠΡΟΒΟΛΗτου F στο R i, η Π F (R i ),είναιτο σύνολοτων FD X Y στο F + έτσιώστε: (X Y) R i Μια αποσύνθεση D ικανοποιεί την ιδιότητα διατήρησης εξαρτήσεων αν: (Π F (R 1 ) Π F (R 2 )... Π F (R m ) ) + = F + Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.34
35 ιατήρηση Εξαρτήσεων (2) Υπάρχει αλγόριθµος, ο οποίος ονοµάζεται αλγόριθµος σχεσιακής σύνθεσης, που αποσυνθέτει την καθολική σχέση R σεένασύνολοσχέσεων D = {R 1, R 2, R 3,... R m } διατηρώντας τις εξαρτήσεις σε σχέση µε το F, έτσι ώστε κάθε R i είναισε 3NF ΟΑλγόριθµοςβασίζεταισε ΕλάχιστεςΚαλύψειςκαι, όπως έχει ειπωθεί και νωρίτερα, ΕΝ υπάρχουν αποδοτικοί τρόποι για να βρεθούν ελάχιστες καλύψεις. Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.35
36 Συνενώσεις Άνευ Απωλειών Ι ΙΟΤΗΤΑ ΣΥΝΕΝΩΣΕΩΝ ΑΝΕΥ ΑΠΩΛΕΙΩΝ: Η ιδιότητα αυτή φροντίζει ώστε να µη παρουσιάζονται µηυπαρκτές (πλασµατικές) πλειάδες σε Σχέσεις, όταν συνενώνονται αποσυνθεµένες Σχέσεις Τυπικά, Μιααποσύνθεση D = {R 1, R 2, R 3,... R m } του R έχει την ιδιότητα συνενώσεων άνευ απωλειών σε σχέση µε ένα σύνολο από FD F, αν για κάθε στιγµιότυπο r(r) του οποίου οι πλειάδες ικανοποιούν όλες τις FD στο F, έχουµε: (Π R1 (r(r)) Π R2 (r(r))... Π Rm (r(r)) ) = r(r) >< >< >< ΑυτήείναιπολύσηµαντικήιδιότηταγιαΑποσυνθέσεις, διότι επηρεάζει τον τρόπο που Ερωτήσεις µε ΝΟΗΜΑ γίνονται στα Σχεσιακά Σχήµατα Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.36
37 Παράδειγµα Πλασµατικών Πλειάδων Έστω η Βάση εδοµένων COMPANY και µια Σχέση E_P(SSN, PNumber, HoursPW, EName, PName, Location) πουδηµιουργείταιµετηνσυνένωσητων EMPLOYEE, PROJECT και WORKS_ON (σε στιγµιότυπα) και στην συνέχεια µε την Προβολή στα παραπάνω Γνωρίσµατα Πεισθείτε ότι η αποσύνθεση της E_P στις: R1 (EName, Location) R2 (SSN, PNumber, HoursPW, PName, Location) ΕΝ ΙΚΑΝΟΠΟΙΕΙ την ιδιότητα συνένωσης άνευ απωλειών ΠΩΣ?: Κάντεπροβολέςσεστιγµιότυπατου E_P (για R 1, R 2 ) και συνενώστε τις Προβολές. ΕΝ θα πάρετε πίσω το E_P! Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.37
38 Περισσότερα για Lossless Joins Ηαποσύνθεσητου R στα X και Y είναι lossless-join σεσχέσηµετο F ανκαιµόνοεάντοκλείσιµοτου F περιέχει την: X Y X, ήτην X Y Y Συγκεκριµένα, ηαποσύνθεσητης R σε UV και R - V είναι lossless-join ανη U V ισχύειστην R. A B C A B C A B B C Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.38
39 Θεωρητικά Αποτελέσµατα Υπάρχει απλόςαλγόριθµος γιαναελέγχειανµιααποσύνθεση D ικανοποιείτηνιδιότητα lossless joinσεσχέσηµεένασύνολο F από FD. Υπάρχει απλόςαλγόριθµος γιααποσύνθεσητου R σε BCNF Σχέσεις έτσι ώστε η αποσύνθεση D να ικανοποιεί την ιδιότητα lossless join σε σχέση µε ένα σύνολο F από FD στο R ΕΝ ΥΠΑΡΧΕΙ αλγόριθµος για Αποσύνθεση σε BCNF Σχέσεις που ικανοποιούν την ιδιότητα διατήρησης εξαρτήσεων Υπάρχει απλός αλγόριθµος (τροποποίηση του αλγορίθµου σχεσιακήςσύνθεσης) γιααποσυνθέσειςσε 3NF (όχι BCNF) Σχέσεις που ικανοποιούν και τις δύο ιδιότητες (διατήρηση εξαρτήσεων και lossless join) Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.39
40 Αποσύνθεσησε 3NF ΑΛΓΟΡΙΘΜΟΣ: 1.- Βρεςένα ελάχιστοσύνολο G από FD ισοδύναµοτου F 2.- Γιακάθε X µιας FD X Y στο G ηµιούργησεένασχήµασχέσης R i στο D µεταγνωρίσµατα { X A 1 A 2..., A k }, όπουκάθε A j είναιένα γνώρισµαπουυπάρχεισεµια FD του G µετο X στααριστερά 3.- Ανγνωρίσµατατου R δενέχουνµπεισεκάποιο R i τότε δηµιούργησε µιανέασχέσηστο D γιααυτάταγνωρίσµατα 4.- Ανκαµίασχέσηστο D δενπεριέχειένακλειδίτου R, δηµιούργησε µια σχέση που περιέχει ένα κλειδί του R και πρόσθεσέτηνστο D Ο Αλγόριθµος δηµιουργεί Σχέσεις σε 3NF που ικανοποιούν και τις δύο ιδιότητες. Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.40
41 Επιπρόσθετες Εξαρτήσεις Μετηχρήσητων FD µπορούµεναφτάσουµεµέχρι 3NF και BCNF Άλλεςεξαρτήσεις: πλειότιµεςεξαρτήσεις (Multivalued) (MVD),εξαρτήσειςσυνένωσης (Join Dependencies), εξαρτήσειςεγκλεισµού (Inclusion Dependencies),... Αυτές οι εξαρτήσεις µας πάνε σε κανονικές µορφές πέραν των 3NF και BCNF (δηλαδή, 4NF και 5NF) Πλειότιµες Συναρτήσεις: (άτυπος ορισµός) Ένα σύνολο γνωρισµάτων X καθορίζει πολλαπλά ένα σύνολο Y αν η τιµή του X καθορίζειένασύνολοτιµώνγιατο Y (ανεξάρτητα από τα άλλα γνωρίσµατα στη Σχέση) Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.41
42 Πλειότιµες Εξαρτήσεις Μια MVD παρουσιάζεταιως X Y Υπάρχουν βάσιµα και πλήρη σύνολα κανόνων συµπερασµού για MVDs Μια FD είναι ειδική περίπτωση των MVD Ένα Σχεσιακό Σχήµα R είναι στηn τέταρτη κανονική µορφή (4NF) σε σχέση µε ένα σύνολο συναρτησιακών και πλειότιµων εξαρτήσεων F αν για κάθε µη τετριµµένη πλειότιµη εξάρτηση X Y στην F +, το X είναιυποψήφιοκλειδίτου R εν υπάρχει αποδοτικός αλγόριθµος για την αποσύνθεση του R σε 4NF Σχέσεις, έτσι ώστε η αποσύνθεση να έχει την ιδιότητα lossless join σε σχέση µε ένα σύνολο F από FD και MVD στο R Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.42
43 Εξαρτήσεις Συνένωσης Μια εξάρτησησυνένωσης JD(R 1, R 2, R 3,... R m ) είναιένας δοµικός περιορισµός στην R που προσδιορίζει ότι κάθε νόµιµο στιγµιότυπο r(r) πρέπει να έχει µια lossless join αποσύνθεση στα R 1, R 2, R 3,... R m Μια MVD είναι ειδική περίπτωση των JD (όπου m=2) Ένα Σχεσιακό Σχήµα R είναι στην πέµπτη κανονική µορφή (5NF) σε σχέση µε ένα σύνολο συναρτησιακών, πλειότιµων και εξαρτήσεων συνένωσης F αν για κάθε µη τετριµµένη JD(R 1, R 2,... R m ) στην F +, κάθε R i είναιυπέρ-κλειδίτου R Η 5NF ονοµάζεται επίσης PJNF (Project-Join Normal Form) Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.43
44 Εξαρτήσεις Εγκλεισµού FD, MVD και JD ορίζονται εντός του ιδίου Σχεσιακού Σχήµατος R (δεν συσχετίζουν γνωρίσµατα που βρίσκονται σε διαφορετικές σχέσεις) Υπάρχουν και άλλες εξαρτήσεις, όπως οι εξαρτήσεις εγκλεισµού που χρησιµοποιούνται για την παράσταση της αναφορικής ακεραιότητας και των ιεραρχιών class / subclass µεταξύ δύο σχέσεων R καιs Μια εξάρτηση εγκλεισµού R.X < S.Y προσδιορίζει ότι σε κάθε χρονικό σηµείο, αν τα r(r) και s(s) είναι στιγµιότυπα σχέσεωντων R και S, τότε Π X (r(r)) Π Y (s(s)) Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.44
45 Πρακτικά Θέµατα για την Κανονικοποίηση Ένας µεγάλος αριθµός από εµπορικά εργαλεία, δοθέντων ενός συνόλου Σχηµάτων Σχέσεων / Γνωρισµάτων και ενός συνόλου συναρτησιακών εξαρτήσεων δηµιουργούν αυτόµατα Σχήµατα Σχέσεων σε µορφή 3NF (σπάνια πάνε σε BCNF, 4NF και 5NF) Μια άλλη χρήση τέτοιων εργαλείων είναι να ελέγχουν το επίπεδο Κανονικοποίησης µιας Σχέσης - γενικά, η χρήση ως ευρεστικό εργαλείο επιλογής ενός Σχεδιασµού έναντι κάποιου άλλου Υπάρχουν πρακτικά αποτελέσµατα της Θεωρίας που επιτρέπουν σε έναν Σχεδιαστή να κάνει ανάλυση της µορφής: Αν µια σχέση είναι σε 3NF και κάθε υποψήφιο κλειδί αποτελείται ακριβώς από ένα γνώρισµα, τότε είναι και σε 5NF (Fagin, 1991) Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.45
46 ΣΧΟΛΙΑ Η διαδικασία Κανονικοποίησης έχει και µειονεκτήµατα: εν είναι δηµιουργική -- µε στόχο τα κριτήρια που αναφέρθηκαν προηγουµένως, δεν υπάρχει τρόπος να δηµιουργηθεί µια «καλή» βάση δεδοµένων Συνήθως η Κανονικοποίηση γίνεται αφού έχουµε κάποιο Σχήµα (µαςλέειανείναι «καλό»ή«κακό») εν προσφέρει ένα εννοιολογικό σχήµα (ασχολείται µόνο µε Σχέσεις και Γνωρίσµατα) Όµως, είναι µια αξιέπαινη και πρακτικά χρήσιµη προσπάθεια να γίνουν µε τυπικό και συστηµατικό τρόπο πράγµατα που τα κάνουµε συνήθως διαισθητικά. Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 7.46
Κεφάλαιο 8. ΣΧΕ ΙΑΣΜΟΣ ΒΑΣΕΩΝ Ε ΟΜΕΝΩΝ ΚΑΙ ΚΑΝΟΝΙΚΟΠΟΙΗΣΗ (Normalization) Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 4.1
Κεφάλαιο 8 ΣΧΕ ΙΑΣΜΟΣ ΒΑΣΕΩΝ Ε ΟΜΕΝΩΝ ΚΑΙ ΚΑΝΟΝΙΚΟΠΟΙΗΣΗ (Normalization) Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 4.1 Σύνοψη Λογικός Σχεδιασµός Σχεσιακών Βάσεων εδοµένων και Κανονικοποίηση
Διαβάστε περισσότεραΣΧΕΔΙΑΣΜΟΣ ΒΑΣΕΩΝ ΔΕΔΟΜΕΝΩΝ ΚΑΙ ΚΑΝΟΝΙΚΟΠΟΙΗΣΗ. Σχεδιασμός Σχεσιακών ΒΔ και Κανονικοποίηση 1
ΣΧΕΔΙΑΣΜΟΣ ΒΑΣΕΩΝ ΔΕΔΟΜΕΝΩΝ ΚΑΙ ΚΑΝΟΝΙΚΟΠΟΙΗΣΗ Σχεδιασμός Σχεσιακών ΒΔ και Κανονικοποίηση 1 Σύνοψη Σχεσιακός Σχεδιασμός - Στόχοι Κριτήρια / Οδηγίες για ένα καλό Σχεδιασμό Συναρτησιακές Εξαρτήσεις - Οι
Διαβάστε περισσότεραΣΧΕ ΙΑΣΜΟΣ ΒΑΣΕΩΝ Ε ΟΜΕΝΩΝ ΚΑΙ ΚΑΝΟΝΙΚΟΠΟΙΗΣΗ
ΣΧΕ ΙΑΣΜΟΣ ΒΑΣΕΩΝ Ε ΟΜΕΝΩΝ ΚΑΙ ΚΑΝΟΝΙΚΟΠΟΙΗΣΗ Α µέρος Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση 1 Σύνοψη Σχεσιακός Σχεδιασµός - Στόχοι Κριτήρια / Οδηγίες για ένα καλό Σχεδιασµό Συναρτησιακές Εξαρτήσεις
Διαβάστε περισσότεραCopyright 2007 Pearson Education, Inc. Publishing as Pearson Addison-Wesley, ΕλληνικήΈκδοση, ίαυλος
ιαφάνεια 10-1 Κεφάλαιο 10 Συναρτησιακές Εξαρτήσεις και Κανονικοποίηση για Σχεσιακές Βάσεις εδοµένων Copyright 2007 Pearson Education, Inc. Publishing as Pearson Addison-Wesley, ΕλληνικήΈκδοση ίαυλος ΠεριεχόµεναΚεφαλαίου
Διαβάστε περισσότεραΚανονικές Μορφές Σχεδιασµός Σχεσιακών Σχηµάτων
Κανονικές Μορφές 1 Σχεδιασµός Σχεσιακών Σχηµάτων Γενικές Οδηγίες Η Μέθοδος της Αποσύνθεσης Επιθυµητές Ιδιότητες της Αποσύνθεσης Συνένωση Άνευ Απωλειών ιατήρηση Εξαρτήσεων Αποφυγή Επανάληψης Πληροφορίας
Διαβάστε περισσότεραΣΧΕ ΙΑΣΜΟΣ ΒΑΣΕΩΝ Ε ΟΜΕΝΩΝ ΚΑΙ ΚΑΝΟΝΙΚΟΠΟΙΗΣΗ
ΣΧΕ ΙΑΣΜΟΣ ΒΑΣΕΩΝ Ε ΟΜΕΝΩΝ ΚΑΙ ΚΑΝΟΝΙΚΟΠΟΙΗΣΗ Β µέρος Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση 1 Σκοπός: Να βρούµε θεωρία ώστε Να αποφασίζουµε αν µια σχέση R είναι σε «καλή» µορφή Σε περίπτωση που η R
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ - ΤΜΗΥΠ ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ Ι
ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ - ΤΜΗΥΠ ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ Ι Β. Μεγαλοοικονόμου, Δ. Χριστοδουλάκης Συναρτησιακές Εξαρτήσεις (Functional Dependencies) Ακ.Έτος 2008-09 (μεβάσητιςσημειώσειςτωνsilberchatz, Korth και Sudarshan
Διαβάστε περισσότεραΛογικός Σχεδιασµός Σχεσιακών Σχηµάτων
Εισαγωγή Θα εξετάσουµε πότε ένα σχεσιακό σχήµα για µια βάση δεδοµένων είναι «καλό» Λογικός Σχεδιασµός Σχεσιακών Σχηµάτων Γενικές Οδηγίες Η Μέθοδος της Αποσύνθεσης Επιθυµητές Ιδιότητες της Αποσύνθεσης Συνένωση
Διαβάστε περισσότερακαλών σχεσιακών σχημάτων
Εισαγωγή Θα εξετάσουμε πότε ένα σχεσιακό σχήμα για μια βάση δεδομένων είναι «καλό» Λογικός Γενικές Οδηγίες Η Μέθοδος της Αποσύνθεσης (γενική μεθοδολογία) Επιθυμητές Ιδιότητες της Αποσύνθεσης Συνένωση Άνευ
Διαβάστε περισσότεραΚανονικοποίηση. Άτυπες Οδηγίες. Παράδειγµα. Αξιολόγηση Σχεσιακών Σχηµάτων Β. Περιττές Τιµές και Ανωµαλίες Ενηµέρωσης
Αξιολόγηση Σχεσιακών Σχηµάτων Β Κανονικοποίηση Παύλος Εφραιµίδης Βάσεις εδοµένων Κανονικοποίηση 1 Πως µπορούµε να κρίνουµε εάν ένα Σχεσιακό Σχήµα είναι καλό ή αποδοτικό ή αν έχει λάθη; Σε γενικές γραµµές
Διαβάστε περισσότεραΣχεδιασµός Σχεσιακών Σχηµάτων
Σχεδιασµός Σχεσιακών Σχηµάτων 1 Σχεδιασµός Σχεσιακών Σχηµάτων Σχεδιασµός καλών σχεσιακών σχηµάτων Μη τυπικές - γενικές κατευθύνσεις Θεωρία κανονικών µορφών που θα βασίζεται στις συναρτησιακές εξαρτήσεις
Διαβάστε περισσότεραΚανονικές Μορφές. Βάσεις Δεδομένων : Κανονικές Μορφές. ηλαδή, i = 1,.., n R i R. Σύντομη επανάληψη αποσύνθεσης.
Κανονικές Μορφές Σύντομη επανάληψη αποσύνθεσης Βάσεις Δεδομένων 2008-2009 Ευαγγελία Πιτουρά 1 Βάσεις Δεδομένων 2008-2009 Ευαγγελία Πιτουρά 2 Αλγόριθμος Σχεδιασμού Αλγόριθμος Σχεδιασμού Ένας γενικός (θεωρητικός)
Διαβάστε περισσότεραΚανονικές Μορφές. Αποσύνθεση (decomposition)
Σχεδιασµός Σχεσιακών Σχηµάτων Κανονικές Μορφές Γενικές Οδηγίες Η Μέθοδος της Αποσύνθεσης Επιθυµητές Ιδιότητες της Αποσύνθεσης Συνένωση Άνευ Απωλειών ιατήρηση Εξαρτήσεων Αποφυγή Επανάληψης Πληροφορίας 1
Διαβάστε περισσότεραΣχεδίαση Β.Δ. (Database Design)
Σχεδίαση Β.Δ. (Database Design) Η σχεδίαση ενός σχήματος μιας Β.Δ. βασίζεται σε μεγάλο βαθμό στη διαίσθηση του σχεδιαστή σχετικά με τον κόσμο που θέλει να αναπαραστήσει. Η εννοιολογική σχεδίαση υπαρκτών
Διαβάστε περισσότεραΣχεδιασµός Σχεσιακών Σχηµάτων
Βάσεις εδοµένων 2003-2004 Ευαγγελία Πιτουρά 1 Σχεδιασµός Σχεσιακών Σχηµάτων Σχεδιασµός καλών σχεσιακών σχηµάτων Μη τυπικές - γενικές κατευθύνσεις Θεωρία κανονικών µορφών που θα βασίζεται στις συναρτησιακές
Διαβάστε περισσότεραΚανονικοποίηση. Σημασιολογία Γνωρισμάτων. Άτυπες Οδηγίες. Παράδειγμα. Αξιολόγηση Σχεσιακών Σχημάτων ΒΔ. Περιττές Τιμές και Ανωμαλίες Ενημέρωσης
Αξιολόγηση Σχεσιακών Σχημάτων ΒΔ Κανονικοποίηση Παύλος Εφραιμίδης Βάσεις Δεδομένων Κανονικοποίηση 1 Πως μπορούμε να κρίνουμε εάν ένα Σχεσιακό Σχήμα είναι καλό ή αποδοτικό ή αν έχει λάθη; Σε γενικές γραμμές
Διαβάστε περισσότεραΘεωρία Κανονικοποίησης
Θεωρία Κανονικοποίησης Πρώτη Κανονική Μορφή (1NF) Αποσύνθεση Συναρτησιακές Εξαρτήσεις Δεύτερη (2NF) και Τρίτη Κανονική Μορφή (3NF) Boyce Codd Κανονική Μορφή (BCNF) Καθολική Διαδικασία Σχεδίασης ΒΔ Βασική
Διαβάστε περισσότεραΚανονικοποίηση Σχήµατος. Βάσεις εδοµένων Ευαγγελία Πιτουρά 1
Κανονικοποίηση Σχήµατος Ευαγγελία Πιτουρά 1 Λογικός Σχεδιασµός Σχεσιακών Σχηµάτων - Αποσύνθεση (διάσπαση) καθολικού σχήµατος Επιθυµητές ιδιότητες - διατήρηση εξαρτήσεων (F + = F + ) - όχι απώλειες στη
Διαβάστε περισσότεραΛογικός Σχεδιασµός Σχεσιακών Σχηµάτων: Αποσύνθεση. Βάσεις εδοµένων Ευαγγελία Πιτουρά 1
Λογικός Σχεδιασµός Σχεσιακών Σχηµάτων: Αποσύνθεση Βάσεις εδοµένων 2011-2012 Ευαγγελία Πιτουρά 1 Εισαγωγή Θα εξετάσουµε πότε ένα σχεσιακό σχήµα για µια βάση δεδοµένων είναι «καλό» Γενικές Οδηγίες Η Μέθοδος
Διαβάστε περισσότεραΣυναρτησιακές Εξαρτήσεις 7ο Φροντιστήριο. Βάρσος Κωνσταντίνος
ΗΥ-360 Αρχεια και Βασεις εδοµενων, Τµηµα Επιστηµης Υπολογιστων, Πανεπιστηµιο Κρητης Συναρτησιακές Εξαρτήσεις Βάρσος Κωνσταντίνος 24 Νοεµβρίου 2017 Ορισµός 1. Μια συναρτησιακή εξάρτηση µεταξύ X και Y συµβολίζεται
Διαβάστε περισσότεραΣυναρτησιακές Εξαρτήσεις. Βάσεις εδοµένων Ευαγγελία Πιτουρά 1
Συναρτησιακές Εξαρτήσεις Βάσεις εδοµένων 2011-2012 Ευαγγελία Πιτουρά 1 Εισαγωγή Θεωρία για το πότε ένας σχεδιασµός είναι «καλός» Η θεωρία βασίζεται στις Συναρτησιακές Εξαρτήσεις (Functional Dependencies)
Διαβάστε περισσότερακαλών σχεσιακών σχημάτων
Εισαγωγή Θα εξετάσουμε πότε ένα σχεσιακό σχήμα για μια βάση δεδομένων είναι «καλό» Λογικός Σχεδιασμός Σχεσιακών Σχημάτων Γενικές Οδηγίες Η Μέθοδος της Αποσύνθεσης (γενική μεθοδολογία) Επιθυμητές Ιδιότητες
Διαβάστε περισσότεραLecture 23: Functional Dependencies and Normalization
Department of Computer Science University of Cyprus EPL342 Databases Lecture 23: Functional Dependencies and Normalization Normalization and Normal Forms (Chapter 10.3-10.4, Elmasri-Navathe 5ED) ιδάσκων:
Διαβάστε περισσότεραΛογικός Σχεδιασμός. Βάσεις Δεδομένων Ευαγγελία Πιτουρά 1
Λογικός Σχεδιασμός Βάσεις Δεδομένων 2017-2018 1 Εισαγωγή Θα εξετάσουμε πότε ένα σχεσιακό σχήμα για μια βάση δεδομένων είναι «καλό» Μη τυπικές γενικές κατευθύνσεις Θεωρία κανονικών μορφών η οποία βασίζεται
Διαβάστε περισσότεραΛογικός Σχεδιασμός. Βάσεις Δεδομένων Ευαγγελία Πιτουρά 1
Λογικός Σχεδιασμός Βάσεις Δεδομένων 2018-2019 1 Εισαγωγή Θα εξετάσουμε πότε ένα σχεσιακό σχήμα για μια βάση δεδομένων είναι «καλό» Μη τυπικές γενικές κατευθύνσεις Θεωρία κανονικών μορφών η οποία βασίζεται
Διαβάστε περισσότεραΛογικός Σχεδιασμός. Βάσεις Δεδομένων Ευαγγελία Πιτουρά 1
Λογικός Σχεδιασμός 1 Ανακοινώθηκε το 2 ο Σύνολο Ασκήσεων στη σελίδα του μαθήματος Ημερομηνία Παράδοσης 6/12/2016 2 Εισαγωγή Θα εξετάσουμε πότε ένα σχεσιακό σχήμα για μια βάση δεδομένων είναι «καλό» Μη
Διαβάστε περισσότεραΛογικός Σχεδιασμός. Βάσεις Δεδομένων Ευαγγελία Πιτουρά 1
Λογικός Σχεδιασμός Ευαγγελία Πιτουρά 1 Εισαγωγή Θα εξετάσουμε πότε ένα σχεσιακό σχήμα για μια βάση δεδομένων είναι «καλό» Μη τυπικές γενικές κατευθύνσεις Θεωρία κανονικών μορφών η οποία βασίζεται στην
Διαβάστε περισσότεραΣυναρτησιακές Εξαρτήσεις 7ο Φροντιστήριο. Βάρσος Κωνσταντίνος
ΗΥ-360 Αρχεια και Βασεις εδοµενων, Τµηµα Επιστηµης Υπολογιστων, Πανεπιστηµιο Κρητης Συναρτησιακές Εξαρτήσεις Βάρσος Κωνσταντίνος 16 Νοεµβρίου 2018 Ορισµός 1. Μια συναρτησιακή εξάρτηση µεταξύ X και Y συµβολίζεται
Διαβάστε περισσότεραΒάσεις δεδομένων. (9 ο μάθημα) Ηρακλής Βαρλάμης
Βάσεις δεδομένων (9 ο μάθημα) Ηρακλής Βαρλάμης varlamis@hua.gr Περιεχόμενα Βελτίωση σχεδιασμού Αποσύνθεση σχέσης Συναρτησιακές εξαρτήσεις Θεωρία κανονικών μορφών 1 η NF 2 η NF 3 η NF 2 Βελτίωση σχεδιασμού
Διαβάστε περισσότεραΚανονικοποίηση. Παύλος Εφραιμίδης. Βάσεις Δεδομένων Κανονικοποίηση 1
Κανονικοποίηση Παύλος Εφραιμίδης Βάσεις Δεδομένων Κανονικοποίηση 1 Αξιολόγηση Σχεσιακών Σχημάτων ΒΔ Πως μπορούμε να κρίνουμε εάν ένα Σχεσιακό Σχήμα είναι καλό ή αποδοτικό ή αν έχει λάθη; Σε γενικές γραμμές
Διαβάστε περισσότεραLecture 24: Functional Dependencies and Normalization IV
Department of Computer Science University of Cyprus EPL342 Databases Lecture 24: Functional Dependencies and Normalization IV (Chapter 10.5, Elmasri-Navathe 5ED) ιδάσκων: Παναγιώτης Ανδρέου http://www.cs.ucy.ac.cy/courses/epl342
Διαβάστε περισσότεραΛογικός Σχεδιασμός Σχεσιακών Σχημάτων: Αποσύνθεση
Λογικός Σχεδιασμός Σχεσιακών Σχημάτων: Αποσύνθεση Βάσεις Δεδομένων 2010-2011 Ευαγγελία Πιτουρά 1 Εισαγωγή Θα εξετάσουμε πότε ένα σχεσιακό σχήμα για μια βάση δεδομένων είναι «καλό» Γενικές Οδηγίες Η Μέθοδος
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ - ΤΜΗΥΠ ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ Ι
ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ - ΤΜΗΥΠ ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ Ι Β. Μεγαλοοικονόμου, Δ. Χριστοδουλάκης Σχεδιασμός Βάσεων Δεδομένων και Κανονικοποίηση Ακ.Έτος 2008-09 (μεβάσητιςσημειώσειςτωνsilberchatz, Korth και Sudarshan
Διαβάστε περισσότεραPrinciples of Database Systems
Principles of Database Systems V. Megalooikonomou Συναρτησιακές Εξαρτήσεις (Functional Dependencies) (based on notes by Silberchatz,Korth, and Sudarshan and notes by C. Faloutsos) General Overview Formal
Διαβάστε περισσότεραΑσκήσεις -Επανάληψη. Βάσεις Δεδομένων
Ασκήσεις -Επανάληψη Βάσεις Δεδομένων 2016-2017 Ε-R μοντέλα -Flashback. ENTITY SET WEAK ENTITY SET is_a GENERALIZATION RELATIONSHIP SET ATTRIBUTE DERIVED Attribute E2 Total PARTICIPATION of E1 in R1 E2
Διαβάστε περισσότεραΚανονικές Μορφές. Συνενώσεις Άνευ Απωλειών. Προσοχή με τις τιμές null στην αποσύνθεση
Κανονικές Μορφές Βάσεις Δεδομένων 2009-2010 Ευαγγελία Πιτουρά 1 Συνενώσεις Άνευ Απωλειών Προσοχή με τις τιμές null στην αποσύνθεση Αιωρούμενες πλειάδες (dangling tuples) Παράδειγμα: Εργαζόμενος - Τμήμα
Διαβάστε περισσότεραΒάσεις Δεδομένων : Λογικός Σχεδιασμός 1. καλών σχεσιακών σχημάτων. Λογικός Σχεδιασμός Σχεσιακών Σχημάτων. Γενικές Κατευθύνσεις.
Εισαγωγή Θα εξετάσουμε πότε ένα σχεσιακό σχήμα για μια βάση δεδομένων είναι «καλό» Λογικός Σχεδιασμός Σχεσιακών Σχημάτων Γενικές Οδηγίες Η Μέθοδος της Αποσύνθεσης (γενική μεθοδολογία) Επιθυμητές Ιδιότητες
Διαβάστε περισσότερακαι Κανονικοποίηση για Σχεσιακές Βάσεις Δεδομένων Αντζουλάτος Γεράσιμος antzoulatos@upatras.gr Τμήμα Εφαρμογών Πληροφορικής στην Διοίκηση και Οικονομία ΤΕΙ Πατρών - Παράρτημα Αμαλιάδας 29 Νοεμβρίου 2012
Διαβάστε περισσότεραLecture 21: Functional Dependencies and Normalization
Department of Computer Science University of Cyprus EPL342 Databases Lecture 21: Functional Dependencies and Normalization Informal Design Guidelines (Chapter 14.1, Elmasri-Navathe 7ED) Demetris Zeinalipour
Διαβάστε περισσότεραΔιδάσκων: Παναγιώτης Ανδρέου
Διάλεξη 23: Κανονικοποίηση και Συναρτησιακές Εξαρτήσεις ΙV Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Εισαγωγή στις έννοιες: Κανονικές Μορφές (BCNF, Τέταρτη/4NF, Πέμπτη/5NF) Διδάσκων: Παναγιώτης
Διαβάστε περισσότεραΔιδάσκων: Παναγιώτης Ανδρέου
Διάλεξη 21: Κανονικοποίηση και Συναρτησιακές Εξαρτήσεις ΙI Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Εισαγωγή στις έννοιες: Συναρτησιακές Εξαρτήσεις Κανόνες Συμπερασμού για Συναρτησιακές
Διαβάστε περισσότερα-----------------------------------------------------------------------------------------------------
ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΤΜΗΜΑ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΤΟΜΕΑΣ ΠΛΗΡΟΦΟΡΙΚΗΣ BΑΣΕΙΣ Ε ΟΜΕΝΩΝ ΕΞΕΤΑΣΗ ΜΑΡΤΙΟΥ 2006 - ΛΥΣΕΙΣ Ι. Βασιλείου -----------------------------------------------------------------------------------------------------
Διαβάστε περισσότεραΚανονικοποίηση για Σχεσιακές Βάσεις Δεδομένων Αντζουλάτος Γεράσιμος antzoulatos@upatras.gr Τμήμα Εφαρμογών Πληροφορικής στην Διοίκηση και Οικονομία ΤΕΙ Πατρών - Παράρτημα Αμαλιάδας 06 Δεκεμβρίου 2012 Περιεχομενα
Διαβάστε περισσότεραLecture 22: Functional Dependencies and Normalization
Department of Computer Science University of Cyprus EPL342 Databases Lecture 22: Functional Dependencies and Normalization Functional Dependencies (Chapter 10.2, Elmasri-Navathe 5ED) ιδάσκων: Παναγιώτης
Διαβάστε περισσότεραΔιδάσκων: Παναγιώτης Ανδρέου
Διάλεξη 20: Κανονικοποίηση και Συναρτησιακές Εξαρτήσεις Ι Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Εισαγωγή στις έννοιες: Εισαγωγή στην Κανονικοποιήση Άτυπες κατευθύνσεις για Σχεδιασμό
Διαβάστε περισσότεραΔιδάσκων: Παναγιώτης Ανδρέου
Διάλεξη 22: Κανονικοποίηση και Συναρτησιακές Εξαρτήσεις ΙII Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Εισαγωγή στις έννοιες: Κανονικοποιήση (Normalization) και Κανονικές Μορφές (Normal
Διαβάστε περισσότεραΗΥ360 Αρχεία και Βάσεις Δεδομένων
ΗΥ360 Αρχεία και Βάσεις Δεδομένων Φροντιστήριο Συναρτησιακές Εξαρτήσεις Αξιώματα Armstrong Ελάχιστη Κάλυψη Συναρτησιακές Εξαρτήσεις Τι είναι : Οι Συναρτησιακές εξαρτήσεις είναι περιορισμοί ακεραιότητας
Διαβάστε περισσότεραLecture 21: Functional Dependencies and Normalization
Department of Computer Science University of Cyprus EPL342 Databases Lecture 21: Functional Dependencies and Normalization Informal Design Guidelines (Chapter 10.1, Elmasri-Navathe 5ED) ιδάσκων: Παναγιώτης
Διαβάστε περισσότεραΣυναρτησιακές και Πλειότιµες Εξαρτήσεις
Συναρτησιακές και Πλειότιµες Εξαρτήσεις 1 Συναρτησιακές Εξαρτήσεις 2 Συναρτησιακές Εξαρτήσεις Έστω ένα σχήµα σχέσης R(Α 1, Α 2,, Α n ). Aς συµβολίσουµε µε R = {Α 1, Α 2,, Α n } το σύνολο των γνωρισµάτων
Διαβάστε περισσότεραΗΥ360 Αρχεία και Βάσεις εδοµένων ιδάσκων:. Πλεξουσάκης
ΗΥ360 Αρχεία και Βάσεις εδοµένων ιδάσκων:. Πλεξουσάκης Συναρτησιακές Εξαρτήσεις Αξιώµατα Armstrong Ελάχιστη κάλυψη Φροντιστήριο 1 Συναρτησιακές Εξαρτήσεις Οι Συναρτησιακές εξαρτήσεις είναι περιορισµοί
Διαβάστε περισσότεραΣυναρτησιακές Εξαρτήσεις
Εισαγωγή Θεωρία για το πότε ένας σχεδιασµός είναι «καλός» Η θεωρία βασίζεται στις Τι είναι; Εξαρτήσεις ανάµεσα σε σύνολα από γνωρίσµατα S1 S2 (όπου S1, S2 σύνολα γνωρισµάτων): αν ίδιες τιµές στα γνωρίσµατα
Διαβάστε περισσότεραΣυναρτησιακές Εξαρτήσεις Σχεδιασμός Βάσεων Δεδομένων
Συναρτησιακές Εξαρτήσεις Σχεδιασμός Βάσεων Δεδομένων Μαρία Χαλκίδη 1 Εισαγωγή Θεωρία για το πότε ένας σχεδιασμός είναι «καλός» Η θεωρία βασίζεται στις Λειτουργικές (Συναρτησιακές) Εξαρτήσεις (Functional
Διαβάστε περισσότεραΣχεσιακό Μοντέλο Τα πρώτα συστήµατα Βάσεων δεδοµένων ήταν βασισµένα στο ιεραρχικό ή στο δικτυακό µοντέλο δεδοµένων. Το σχεσιακό µοντέλο πρωτοπαρουσιάσ
ΤΕΙ ΑΘΗΝΩΝ ΣΧΟΛΗ Σ Ο ΤΜΗΜΑ ΙΟΙΚΗΣΗΣ ΕΠΙΧΕΙΡΗΣΕΩΝ ΧΕΙΜΕΡΙΝΟ ΕΞΑΜΗΝΟ 2009-2010 Η/Υ ΙΙΙ ΒΑΣΕΙΣ Ε ΟΜΕΝΩΝ (Θεωρία) ΜΑΘΗΜΑ 3ο Σχεσιακό µοντέλο, Σχεσιακές βάσεις δεδοµένων, Σχεσιακό σχήµα βάσης δεδοµένων (Relational
Διαβάστε περισσότεραΒάσεις Δεδομένων Συναρτησιακές Εξαρτήσεις (Functional Dependencies) Σχεδιασμός Βάσεων Δεδομένων και Κανονικοποίηση
Βάσεις Δεδομένων Συναρτησιακές Εξαρτήσεις (Functional Dependencies) Σχεδιασμός Βάσεων Δεδομένων και Κανονικοποίηση Φροντιστήριο 6ο 26-1-2009 ΘΕΩΡΙΑ Συναρτησιακές-Λειτουργικές εξαρτήσεις Κανόνες συμπερασμού
Διαβάστε περισσότεραBΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ ΕΞΕΤΑΣΗ ΦΕΒΡΟΥΑΡΙΟΥ 2005
ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΤΜΗΜΑ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΤΟΜΕΑΣ ΠΛΗΡΟΦΟΡΙΚΗΣ BΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ ΕΞΕΤΑΣΗ ΦΕΒΡΟΥΑΡΙΟΥ 2005 ΛΥΣΕΙΣ Ι. Βασιλείου -----------------------------------------------------------------------------------------------------
Διαβάστε περισσότεραΛογικός Σχεδιασμός. Βάσεις Δεδομένων Ευαγγελία Πιτουρά 1
Λογικός Σχεδιασμός Βάσεις Δεδομένων 2013-2014 Ευαγγελία Πιτουρά 1 Εισαγωγή Θα εξετάσουμε πότε ένα σχεσιακό σχήμα για μια βάση δεδομένων είναι «καλό» Μη τυπικές γενικές κατευθύνσεις Θεωρία κανονικών μορφών
Διαβάστε περισσότεραΣυναρτησιακές Εξαρτήσεις
Βάσεις εδοµένων 2003-2004 Ευαγγελία Πιτουρά 1 Έστω ένα σχήµα σχέσης R(Α 1, Α 2,, Α n ). Aς συµβολίσουµε µε R = {Α 1, Α 2,, Α n } το σύνολο των γνωρισµάτων της R. Με απλά λόγια, µια συναρτησιακή εξάρτηση
Διαβάστε περισσότεραΚανονικές Μορφές. Τι συμβαίνει με το (πρωτεύον) κλειδί και τις συναρτησιακές εξαρτήσεις; Παράδειγμα 1. Παράδειγμα 2
Κανονικές Μορφές: Εισαγωγή Κανονικές Μορφές Στόχος: οσμένου ενός σχήματος, αν είναι «καλό» ή χρειάζεται περαιτέρω διάσπαση. Πως; Κανονικές μορφές. Ξέρουμε ότι αν ένα σχήμα είναι σε κάποια Κανονική Μορφή
Διαβάστε περισσότεραΚανονικές Μορφές 8ο Φροντιστήριο. Βάρσος Κωνσταντίνος
ΗΥ-360 Αρχεια και Βασεις εδοµενων, Τµηµα Επιστηµης Υπολογιστων, Πανεπιστηµιο Κρητης Κανονικές Μορφές Βάρσος Κωνσταντίνος 30 Νοεµβρίου 2017 Κανονικοποίηση Ορισµός 1. Κανονικοποίηση είναι µια διαδικασία
Διαβάστε περισσότεραΣυναρτησιακές Εξαρτήσεις
Συναρτησιακές Εξαρτήσεις Βάσεις Δεδομένων 2010-2011 Ευαγγελία Πιτουρά 1 Εισαγωγή Θεωρία για το πότε ένας σχεδιασμός είναι «καλός» Η θεωρία βασίζεται στις Συναρτησιακές Εξαρτήσεις (Functional Dependencies)
Διαβάστε περισσότεραΣυναρτησιακές Εξαρτήσεις
Εισαγωγή Θεωρία για το πότε ένας σχεδιασμός είναι «καλός» Η θεωρία βασίζεται στις (Functional Dependencies) Τι είναι; Εξαρτήσεις ανάμεσα σε σύνολα από γνωρίσματα Συμβολισμός S1 S2 (όπου S1, S2 σύνολα γνωρισμάτων)
Διαβάστε περισσότεραΠανεπιστήμιο Πειραιώς Σχολή Τεχνολογιών Πληροφορικής και Επικοινωνιών Τμήμα Ψηφιακών Συστημάτων
Πανεπιστήμιο Πειραιώς Σχολή Τεχνολογιών Πληροφορικής και Επικοινωνιών Τμήμα Ψηφιακών Συστημάτων 8. Κανονικοποίηση Σχεδιασμός Βάσεων Δεδομένων Χρήστος Δουλκερίδης 2017-18 Θεµατολογία Διάλεξης Σχεδιασμός
Διαβάστε περισσότεραΣυναρτησιακές Εξαρτήσεις
Συναρτησιακές Εξαρτήσεις Βάσεις Δεδομένων 2009-2010 Ευαγγελία Πιτουρά 1 Εισαγωγή Θεωρία για το πότε ένας σχεδιασμός είναι «καλός» Η θεωρία βασίζεται στις Συναρτησιακές Εξαρτήσεις (Functional Dependencies)
Διαβάστε περισσότεραΒάσεις εδοµένων. Συναρτησιακές Εξαρτήσεις (Functional Dependencies) Σχεδιασµός Βάσεων εδοµένων και. Κανονικοποίηση.
Βάσεις εδοµένων Συναρτησιακές Εξαρτήσεις (Functional Dependencies) Σχεδιασµός Βάσεων εδοµένων και Κανονικοποίηση Φροντιστήριο 9ο 17-12-2009 ΘΕΩΡΙΑ Συναρτησιακές-Λειτουργικές εξαρτήσεις Κανόνες συµπερασµού
Διαβάστε περισσότεραΣυναρτησιακές Εξαρτήσεις
Συναρτησιακές Εξαρτήσεις Βάσεις εδοµένων 2012-2013 Ευαγγελία Πιτουρά 1 Θεωρία για το πότε ένας σχεδιασμός είναι«καλός» Εισαγωγή Η θεωρία βασίζεται στις Συναρτησιακές Εξαρτήσεις (Functional Dependencies)
Διαβάστε περισσότεραΣΧΕΣΙΑΚΟ ΜΟΝΤΕΛΟ (Relational Model) Μαθ. #10
ΣΧΕΣΙΑΚΟ ΜΟΝΤΕΛΟ (Relational Model) Μαθ. #10 Πράξεις Αλλαγής εδοµένων INSERT (εισαγωγή) Αυτός ο τελεστής παρέχει µια λίστα από πεδία τιµών για µια καινούργια πλειάδα η οποία θα εισαχθεί σε µια σχέση R
Διαβάστε περισσότεραΑρχεία και Βάσεις Δεδομένων
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Αρχεία και Βάσεις Δεδομένων Διάλεξη 12η: Συναρτησιακές Εξαρτήσεις - Αξιώματα Armstrong Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών Συναρτησιακές Εξαρτήσεις
Διαβάστε περισσότεραΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΤΜΗΜΑ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΤΟΜΕΑΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΟΝΟΜΑΤΕΠΩΝΥΜΟ ΑΡΙΘΜΟΣ ΜΗΤΡΩΟΥ
ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΤΜΗΜΑ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΤΟΜΕΑΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 1.-/30 2.-/20 3.-/20 4.-/30 ΣΥΝΟΛΟ/100 ΟΝΟΜΑΤΕΠΩΝΥΜΟ ΑΡΙΘΜΟΣ ΜΗΤΡΩΟΥ BΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ ΕΞΕΤΑΣΗ ΣΕΠΤΕΜΒΡΙΟΥ
Διαβάστε περισσότεραΣΧΕΣΙΑΚΟ ΜΟΝΤΕΛΟ. Relational Model Μαθ. #9
ΣΧΕΣΙΑΚΟ ΜΟΝΤΕΛΟ Relational Model Μαθ. #9 Σχεσιακό Μοντέλο Μεταφορά E-R ιαγράµµατος σε Σχέσεις Μια οντότητα «Ε» Μεταφράζεται σε µια σχέση της οποίας το σχήµα αποτελείται από όλα τα γνωρίσµατα του «Ε» Εάν
Διαβάστε περισσότεραΛογικός Σχεδιασµός Σχεσιακών Σχηµάτων: Αποσύνθεση
Λογικός Σχεδιασµός Σχεσιακών Σχηµάτων: Αποσύνθεση Βάσεις εδοµένων 2012-2013 Ευαγγελία Πιτουρά 1 Εισαγωγή Θα εξετάσουμε πότε ένα σχεσιακό σχήμα για μια βάση δεδομένων είναι «καλό» Γενικές Οδηγίες Η Μέθοδος
Διαβάστε περισσότεραΚεφάλαιο 4 Λογικός Σχεδιασµός Κανονικοποίηση
Κεφάλαιο 4 Λογικός Σχεδιασµός Κανονικοποίηση Στο κεφάλαιο αυτό παρουσιάζονται οι βασικοί κανόνες σχεδίασης της δοµής των πινάκων στο σχεσιακό µοντέλο, και αναλύεται η τεχνική της κανονικοποίησης που είναι
Διαβάστε περισσότεραΒάσεις δεδομένων. (8 ο μάθημα) Ηρακλής Βαρλάμης
Βάσεις δεδομένων (8 ο μάθημα) Ηρακλής Βαρλάμης varlamis@hua.gr Περιεχόμενα SQL (συνέχεια) Φωλιασμένες υπο-ερωτήσεις Δημιουργία όψεων Πράξεις ενημέρωσης και περιορισμοί 1/5/2014 Βάσεις Δεδομένων 2 Από το
Διαβάστε περισσότεραΣΧΕΣΙΑΚΟ ΜΟΝΤΕΛΟ Relational Model. SQL Μαθ. #11
ΣΧΕΣΙΑΚΟ ΜΟΝΤΕΛΟ Relational Model SQL Μαθ. #11 Ε-R Model for a COMPANY database The COMPANY relational database schema A relational database instance of the COMPANY schema SQL Μια γλώσσα σχεσιακής βάσης
Διαβάστε περισσότεραΣυναρτησιακές Εξαρτήσεις
Εισαγωγή Θεωρία για το πότε ένας σχεδιασμός είναι «καλός» Η θεωρία βασίζεται στις Τι είναι; Εξαρτήσεις ανάμεσα σε σύνολα από γνωρίσματα Συμβολισμός S1 S2 (όπου S1, S2 σύνολα γνωρισμάτων) Τι σημαίνει: Αν
Διαβάστε περισσότεραΕισαγωγή στις Βάσεις Δεδομζνων II
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΣΙΑ ΠΑΝΕΠΙΣΗΜΙΟ ΚΡΗΣΗ Εισαγωγή στις Βάσεις Δεδομζνων II Ενότητα: Κανονικοποίηση Διδάσκων: Πηγουνάκης Κωστής ΤΜΗΜΑ ΟΙΚΟΝΟΜΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΣΧΟΛΗ ΚΟΙΝΩΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ Άδειες Χρήσης Το παρόν
Διαβάστε περισσότεραΣυναρτησιακές Εξαρτήσεις
Εισαγωγή Θεωρία για το πότε ένας σχεδιασμός είναι «καλός» Η θεωρία βασίζεται στις Τι είναι; Εξαρτήσεις ανάμεσα σε σύνολα από γνωρίσματα Συμβολισμός S1 S2 (όπου S1, S2 σύνολα γνωρισμάτων) Τι σημαίνει: Αν
Διαβάστε περισσότεραΚανονικές Μορφές 8ο Φροντιστήριο. Βάρσος Κωνσταντίνος
ΗΥ-360 Αρχεια και Βασεις εδοµενων Τµηµα Επιστηµης Υπολογιστων Πανεπιστηµιο Κρητης Κανονικές Μορφές Βάρσος Κωνσταντίνος 23 Νοεµβρίου 2018 ιατήρηση Εξαρτήσεων Εστω F ένα σύνολο από συναρτησιακές εξαρτήσεις
Διαβάστε περισσότεραS Q Q L L -- SQL (Structured Query Language) select insert update delete 2.47
Κεφάλαιο 4 Η Γλώσσα SQL και Σχεσιακός Λογισµός Ι.Β. Σχεσιακός Λογισµός και η Γλώσσα SQL Σελίδα 2.46 SQL -ΕΙΣΑΓΩΓΗ SQL (Structured Query Language) είναι η τυποποιηµένη standard γλώσσα στις Σχεσιακές Βάσεις.
Διαβάστε περισσότεραΚανονικοποίηση Σχήµατος
Κανονικοποίηση Σχήµατος Ευαγγελία Πιτουρά 1 Λογικός Σχεδιασµός Σχεσιακών Σχηµάτων - Αποσύνθεση(διάσπαση) καθολικού σχήματος Επιθυμητές ιδιότητες -διατήρηση εξαρτήσεων (F + = F + ) - όχι απώλειες στη συνένωση(τομή
Διαβάστε περισσότεραΒάσεις Δεδομένων Ενότητα 7
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Ενότητα 7: Συναρτησιακές Εξαρτήσεις και Κανονικοποίηση Ιωάννης Μανωλόπουλος, Καθηγητής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται
Διαβάστε περισσότεραΣχεδιασµός µιας Β. Ένας απλός τρόπος αναπαράστασης δεδοµένων: ένας διδιάστατος πίνακας που λέγεται σχέση Γνωρίσµατα
Εισαγωγή Σχεσιακό Μοντέλο Σχεδιασµός µιας Β : Βήµατα Ανάλυση Απαιτήσεων Τι δεδοµένα θα αποθηκευτούν, ποιες εφαρµογές θα κτιστούν πάνω στα δεδοµένα, ποιες λειτουργίες είναι συχνές Εννοιολογικός Σχεδιασµός
Διαβάστε περισσότεραΣχεσιακές Βάσεις Δεδομένων
Σχεσιακές Βάσεις Δεδομένων Μέρος 3ο Κανονικοποίηση Αρχείων Σχεσιακής Βάσης Δεδομένων Ιανουάριος 2006 Καραδήμας Ν. 1 Καλή& Κακή Σχεδίαση Βάσης Δεδομένων Η «κακή» σχεδίαση µπορεί να οδηγήσει σε τουλάχιστον
Διαβάστε περισσότερα(Bottom-up Design): 11-4
ιαφάνεια 11-1 Κεφάλαιο 11 Σχεδιασµός Σχεσιακών Βάσεων Αλγόριθµοι και Περαιτέρω Εξαρτήσεις Copyright 2007 Ramez Elmasri and Shamkant B. Navathe, ΕλληνικήΈκδοση ίαυλος ΠεριεχόµεναΚεφαλαίου 0. Σχεδιασµός
Διαβάστε περισσότεραΣχεδιασµός µιας Β. Εισαγωγή. Μετατροπή σε σχεσιακό -> είσοδο σε ένα Σ Β. Εισαγωγή. Ιδέες Ο/Σ Σχέσεις Σχεσιακό Σ Β
Εισαγωγή Σχεδιασµός µιας Β ανάλυση ποιας πληροφορίας και της σχέσης ανάµεσα στα στοιχεία της περιγραφή της δοµής - σχήµα σε διάφορους συµβολισµούς ή µοντέλα Μοντέλο Οντοτήτων - Συσχετίσεων γραφικό µοντέλο
Διαβάστε περισσότεραΟρισµοί Σχεσιακού Μοντέλου και Τροποποιήσεις Σχέσεων σε SQL
Ορισµοί Σχεσιακού Μοντέλου και Τροποποιήσεις Σχέσεων σε SQL Βάσεις εδοµένων 2011-2012 Ευαγγελία Πιτουρά 1 Εισαγωγή Μοντελοποίηση Στα προηγούµενα µαθήµατα: Εννοιολογικός Σχεδιασµός Βάσεων Δεδοµένων (µε
Διαβάστε περισσότεραΚανονικοποίηση(Normalization) ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ 9 ο Εξάμηνο2013. Κανονικές Μορφές. Πρώτη Κανονική Μορφή (1NF) Βάσεις Δεδομένων. Περικλής Α.
Περικλής Α. Μήτκας 5-1 ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ 9 ο Εξάμηνο2013 Ενότητα 5 Κανονικοποίηση Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Τομέας Ηλεκτρονικής και Υπολογιστών Α.Π.Θ. Κανονικοποίηση(Normalization)
Διαβάστε περισσότεραΚλείσιμο Συνόλου Γνωρισμάτων
Κλείσιμο Συνόλου Γνωρισμάτων Ο υπολογισμός του κλεισίματος ενός συνόλου από ΣΕ μας δίνει τα σύνολα όλων των γνωρισμάτων τα οποία προσδιορίζονται συναρτησιακά από άλλα σύνολα γνωρισμάτων Ο υπολογισμός αυτός
Διαβάστε περισσότεραΣχεσιακό Μοντέλο. Εισαγωγή. Βάσεις εδοµένων : Σχεσιακό Μοντέλο 1
Σχεσιακό Μοντέλο Βάσεις εδοµένων 2011-2012 Ευαγγελία Πιτουρά 1 Εισαγωγή O σχεδιασμός μιας βάση δεδομένων κωδικοποιεί κάποιο μέρος του φυσικού κόσμου Ένα μοντέλο δεδομένων είναι ένα σύνολο από έννοιες για
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 342 Βάσεις εδοµένων ιδάσκων: Γ. Σαµάρας 5η σειρά ασκήσεων: Συναρτησιακές Εξαρτήσεις και Κανονικοποίηση. Λύσεις Μέρος Α. Συναρτησιακές Εξαρτήσεις 1. Αποδείξτε
Διαβάστε περισσότεραΘέματα ανακεφαλαίωσης
Θέματα ανακεφαλαίωσης 13 Ιουνίου 2013 1. Ορίστε την έννοια σχήμα σχέσης και αναλύστε τα στοιχεία του ορισμού σας. Υποθέστε ότι θέλουμε να αποθηκεύσουμε πληροφορίες για τα μέλη ενός πεζοπορικού συλλόγου
Διαβάστε περισσότεραΈνας απλός τρόπος αναπαράστασης δεδομένων: ένας διδιάστατος πίνακας που λέγεται σχέση Γνωρίσματα
Εισαγωγή Σχεσιακό Μοντέλο Σχεδιασμός μιας Β : Βήματα Ανάλυση Απαιτήσεων Τι δεδομένα θα αποθηκευτούν, ποιες εφαρμογές θα κτιστούν πάνω στα δεδομένα, ποιες λειτουργίες είναι συχνές Εννοιολογικός Σχεδιασμός
Διαβάστε περισσότεραΜοντέλο Οντοτήτων-Συσχετίσεων
Εισαγωγή Σχεδιασµός µιας Β : Βήµατα Ανάλυση Απαιτήσεων Τι δεδοµένα θα αποθηκευτούν, ποιες εφαρµογές θα κτιστούν πάνω στα δεδοµένα, ποιες λειτουργίες είναι συχνές Εννοιολογικός Σχεδιασµός Υψηλού-επιπέδου
Διαβάστε περισσότεραΈνας απλός τρόπος αναπαράστασης δεδομένων: ένας διδιάστατος πίνακας που λέγεται σχέση Γνωρίσματα
Εισαγωγή Σχεσιακό Μοντέλο Σχεδιασμός μιας Β : Βήματα Ανάλυση Απαιτήσεων Τι δεδομένα θα αποθηκευτούν, ποιες εφαρμογές θα κτιστούν πάνω στα δεδομένα, ποιες λειτουργίες είναι συχνές Εννοιολογικός Σχεδιασμός
Διαβάστε περισσότεραΜοντέλο Οντοτήτων-Συσχετίσεων
Εισαγωγή Εισαγωγή Σχεδιασµός µιας Β ανάλυση ποιας πληροφορίας και της σχέσης ανάµεσα στα στοιχεία της περιγραφή της δοµής - σχήµα σε διάφορους συµβολισµούς ή µοντέλα Μοντέλο Οντοτήτων - Συσχετίσεων γραφικό
Διαβάστε περισσότεραΒάσεις Δεδομένων Προχωρημένα Ερωτήματα SQL
Βάσεις Δεδομένων Προχωρημένα Ερωτήματα SQL Παύλος Εφραιμίδης Βάσεις Δεδομένων SQL - Μέρος Τρίτο 1 Περιεχόμενα Προχωρημένα Ερωτήματα SQL Συνένωση Συναθροιστικές Συναρτήσεις Ομαδοποίηση Βάσεις Δεδομένων
Διαβάστε περισσότεραΒάσεις δεδομένων. Ηρακλής Βαρλάμης
Βάσεις δεδομένων (12 ο μάθημα Επανάληψη) Ηρακλής Βαρλάμης varlamis@hua.gr Ύλη Οι διαφάνειες του μαθήματος Οι ενδεικτικές λύσεις των εργασιών Οι ασκήσεις των εργαστηρίων Από το βιβλίο τα κεφάλαια: 1,2,3,5
Διαβάστε περισσότεραΕπισκόπηση Σχεδίασης Σχεσιακών Βάσεων Δεδομένων
Επισκόπηση Σχεδίασης Σχεσιακών Βάσεων Δεδομένων Γιάννης Θεοδωρίδης InfoLab, Τμήμα Πληροφορικής, Πανεπιστήμιο Πειραιά http://infolab.cs.unipi.gr version: Oct.2009 Περιεχόμενα Εισαγωγή Μοντελοποίηση, Σχεδιασμός
Διαβάστε περισσότεραΒάσεις Δεδομένων : Σχεσιακό Μοντέλο 1. Ένας απλός τρόπος αναπαράστασης δεδομένων: ένας διδιάστατος πίνακας που λέγεται σχέση.
Εισαγωγή Σχεσιακό Μοντέλο Ανάλυση Απαιτήσεων Σχεδιασμός μιας Β : Βήματα Τι δεδομένα θα αποθηκευτούν, ποιες εφαρμογές θα κτιστούν πάνω στα δεδομένα, ποιες λειτουργίες είναι συχνές Εννοιολογικός Σχεδιασμός
Διαβάστε περισσότερα2 ο Σύνολο Ασκήσεων. Βάσεις Δεδομένων 2013-2014 Ευαγγελία Πιτουρά 1
2 ο Σύνολο Ασκήσεων Οι βαθμοί θα ανακοινωθούν αύριο μαζί με τους βαθμούς της προγραμματιστικής άσκησης Τα αστεράκια δείχνουν τον εκτιμώμενο βαθμό δυσκολίας (*) εύκολο (**) μέτριο (***) δύσκολο Βάσεις Δεδομένων
Διαβάστε περισσότεραΠεριεχόμενα. Βάσεις Δεδομένων Προχωρημένα Ερωτήματα SQL. Συνένωση Σχέσεων στην SQL2 (3) Συνένωση Σχέσεων στην SQL2. (Join Relations Feature in SQL)
Περιεχόμενα Βάσεις Δεδομένων Προχωρημένα Ερωτήματα SQL Παύλος Εφραιμίδης Προχωρημένα Ερωτήματα SQL Συνένωση Συναθροιστικές Συναρτήσεις Ομαδοποίηση Βάσεις Δεδομένων SQL - Μέρος Τρίτο 1 Βάσεις Δεδομένων
Διαβάστε περισσότερα