Πανεπιστήμιο Πειραιώς Σχολή Τεχνολογιών Πληροφορικής και Επικοινωνιών Τμήμα Ψηφιακών Συστημάτων

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "Πανεπιστήμιο Πειραιώς Σχολή Τεχνολογιών Πληροφορικής και Επικοινωνιών Τμήμα Ψηφιακών Συστημάτων"

Transcript

1 Πανεπιστήμιο Πειραιώς Σχολή Τεχνολογιών Πληροφορικής και Επικοινωνιών Τμήμα Ψηφιακών Συστημάτων 8. Κανονικοποίηση Σχεδιασμός Βάσεων Δεδομένων Χρήστος Δουλκερίδης

2 Θεµατολογία Διάλεξης Σχεδιασμός ιδεατής βάσης δεδομένων παράγει ένα σύνολο από σχεσιακά σχήματα, και ένα σύνολο περιορισμών ακεραιότητας Μετάβαση από ένα σχεσιακό σχήμα σε ένα βελτιωμένο σχεσιακό σχήμα Κανονικοποίηση (ormalizatio) με χρήση διάσπασης (decompositio) Σχεδίαση σχέσεων Πώς να σχεδιάζουμε «καλές» σχέσεις Το «καλές» αναφέρεται σε στην ορθότητα (correctess) και στην έλλειψη πλεονασμού (redudacy) Δουλκερίδης 2

3 Διάρθρωση Διάλεξης Εισαγωγή στην τελειοποίηση του σχεσιακού σχήματος Προβλήματα πλεονασμού στα δεδομένα Συναρτησιακές εξαρτήσεις Κανονικές μορφές Κανονικοποίηση Διασπάσεις Δουλκερίδης 3

4 Προβλήµατα που Προκαλεί ο Πλεονασµός Πλεονασμός στην αποθήκευση Η ίδια πληροφορία καταχωρείται πολλές φορές Προβληματική ενημέρωση Όταν ενημερώνεται ένα μόνο αντίγραφο (πολλαπλά καταχωρημένων) δεδομένων προκύπτει ασυνέπεια στο πληροφοριακό περιεχόμενο της ΒΔ Προβληματική εισαγωγή Το σχήμα δεν μπορεί να καταχωρήσει μια νέα πληροφορία σε σχέση με άλλη αντίστοιχη πληροφορία της οποίας η καταχώρηση έχει προηγηθεί Προβληματική διαγραφή Το σχήμα δεν μπορεί να διαγράψει κάποια πληροφορία, χωρίς να προκαλείται διαγραφή άλλης σχετικής πληροφορίας Δουλκερίδης 4

5 Παράδειγµα (1/2) Hourly_Emps(ss, ame, lot, ratig, hourly_wages, hours_worked) SNLRWH Έστω ότι ισχύει: R à W Δηλαδή για κάθε τιμή του ratig υπάρχει μία μόνο επιτρεπτή τιμή για το hourly_wages ss ame lot ratig hourly_wages hours_worked 1 Attishoo Smiley Smethurst Guidu Madaya Δουλκερίδης 5

6 Παράδειγµα (2/2) Προβληματική ενημέρωση Δεν μπορούμε να αλλάξουμε το W μόνο στην πρώτη πλειάδα Προβληματική εισαγωγή Δεν μπορούμε να εισάγουμε νέο εργαζόμενο εάν δε γνωρίζουμε το hourly_wages για το συγκεκριμένο ratig Προβληματική διαγραφή Εάν διαγράψουμε όλους τους υπαλλήλους με ratig=8 χάνουμε την πληροφορία ότι συσχετίζεται με hourly_wages=10 ss ame lot ratig hourly_wages hours_worked 1 Attishoo Smiley Smethurst Guidu Madaya Δουλκερίδης 6

7 Χρήση Διασπάσεων Εμπειρικά ο πλεονασμός προκύπτει σε ένα σχεσιακό σχήμα όταν επιβάλλονται μη φυσιολογικού τύπου διασυνδέσεις ανάμεσα στα γνωρίσματα Πολλά προβλήματα που σχετίζονται με πλεονασμό μπορούν να αντιμετωπιστούν με την αντικατάσταση ενός πίνακα από μια συλλογή «μικρότερων» πινάκων (διάσπαση μεγάλου πίνακα σε άλλους μικρότερους) Δουλκερίδης 7

8 Παράδειγµα (συνέχεια) Hourly_Emps2(ss, ame, lot, ratig, hours_worked) Wages(ratig, hourly_wages) ss ame lot ratig hours_worked 1 Attishoo Smiley Smethurst Guidu Madaya ratig hourly_wages Δουλκερίδης 8

9 Προβλήµατα που Σχετίζονται µε τη Διάσπαση Χρειάζεται να γίνει διάσπαση; Κανονικές μορφές πινάκων Ποια προβλήματα μπορεί να προκαλέσει η διάσπαση; Δύο ενδιαφέρουσες ιδιότητες Σύζευξη χωρίς απώλεια πληροφορίας Επαναδημιουργία κάθε στιγμιότυπου του αρχικού πίνακα από τα στιγμιότυπα των μικρότερων πινάκων Διατήρηση συναρτησιακών εξαρτήσεων Δυνατότητα επιβολής κάθε περιορισμού του αρχικού πίνακα, επιβάλλοντας κάποιους περιορισμούς στους μικρότερους πίνακες Μειονέκτημα των διασπάσεων Ανάγκη σύζευξης πινάκων (jois) για την απάντηση επερωτήσεων (ueries) Δουλκερίδης 9

10 Συναρτησιακές Εξαρτήσεις Η συναρτησιακή εξάρτηση (fuctioal depedecy FD) είναι ένα είδος περιορισμού ακεραιότητας (IC) που γενικεύει την έννοια του κλειδιού Έστω R(X,Y, ), τότε θα λέμε ότι ένα στιγμιότυπο r της R ικανοποιεί την FD:XàY, όταν για κάθε ζεύγος πλειάδων t 1 και t 2 του r ισχύουν Αν t 1.X=t 2.X => t 1.Y=t 2.Y Παράδειγμα: ABàC A B C D A1 B1 C1 A1 B1 C1 A1 B2 C2 A2 B1 C3 D1 D2 D1 D1 Δουλκερίδης 10

11 Εγκυρότητα και Περιορισµοί Κλειδιού Έγκυρο ονομάζεται το στιγμιότυπο ενός πίνακα που ικανοποιεί όλους τους περιορισμούς ακεραιότητας (ICs), καθώς και όλες τις συναρτησιακές εξαρτήσεις (FDs) Δεν είναι δυνατός ο έλεγχος ισχύος (=δεν παραβιάζεται καμιά FD) μιας συναρτησιακής εξάρτησης FD επί μιας σχέσης R Είναι δυνατός μόνο σε κάποιο στιγμιότυπο r της R Μια FD δεν αποτελεί περιορισμό κλειδιού (στο προηγούμενο παράδειγμα) παρά το ότι δεν παραβιάζεται η ABàC, το AB δε συνιστά κλειδί του πίνακα Ο περιορισμός κύριου κλειδιού αποτελεί μια ειδική περίπτωση FD Χ à Υ Τα γνωρίσματα που αποτελούν το κλειδί παίζουν το ρόλο του Χ, ενώ το σύνολο όλων των γνωρισμάτων παίζουν το ρόλο του Υ Δουλκερίδης 11

12 Ιδιότητες Συναρτησιακών Εξαρτήσεων (1/3) Μια FD f λέμε ότι συνεπάγεται από ένα σύνολο F από FD όταν η f ισχύει για το κάθε ένα στιγμιότυπο πίνακα όπου ισχύουν όλες οι συναρτησιακές εξαρτήσεις του F Εγκλεισμός F + του F (closure) είναι το σύνολο όλων των FD που συνεπάγονται από το F Αξιώματα του Armstrog Ανακλαστικότητα: Εάν X Ê Y, τότε X à Y Επάυξηση: Εάν Χ à Υ, τότε ΧΖ à ΥΖ για κάθε Ζ Επαγωγή: Εάν Χ à Υ και Υ à Ζ, τότε Χ à Ζ Αυτοί είναι ισχυροί και πλήρεις κανόνες λογισμού για FD Δουλκερίδης 12

13 Ιδιότητες Συναρτησιακών Εξαρτήσεων (2/3) Δύο επιπλέον κανόνες (που προκύπτουν από τα αξιώματα) Ένωση: Εάν Χ à Υ και Χ à Ζ, τότε Χ à ΥΖ Διάσπαση: Εάν Χ à ΥΖ, τότε Χ à Υ και Χ à Ζ Παράδειγμα: Cotracts(cotractid,supplierid,projectid,deptid,partid,uatity,value) C είναι το κλειδί: C à CSJDPQV Η αγορά ενός είδους (P) από ένα πρόγραμμα (J) γίνεται μέσω ενός μόνο συμβολαίου (C): JP à C Κάθε τμήμα (D) αγοράζει το πολύ ένα είδος (P) από έναν προμηθευτή (S): SD à P JPàC και C à CSJDPQV συνεπάγονται: JP à CSJDPQV SD à P συνεπάγεται: SDJ à JP SDJ à JP και JP à CSJDPQV συνεπάγονται: SDJ à CSJDPQV Δουλκερίδης 13

14 Ιδιότητες Συναρτησιακών Εξαρτήσεων (3/3) Ο υπολογισμός του εγκλεισμού ενός συνόλου FD είναι ακριβός (το μέγεθος του εγκλεισμού είναι εκθετικό ως προς το πλήθος των γνωρισμάτων) Αυτό που μας ενδιαφέρει είναι εάν μια δεδομένη FD Χ à Υ ανήκει στον εγκλεισμό ενός συνόλου F από FD Ένας αποδοτικός τρόπος ελέγχου Υπολογίζουμε τον εγκλεισμό των γνωρισμάτων Χ + του Χ ως προς το F Είναι ένα σύνολο γνωρισμάτων Α τέτοιο ώστε: Χ à Α Î F + Υπάρχει γραμμικός αλγόριθμος για τον υπολογισμό του Ελέγχουμε εάν το Υ ανήκει στο Χ + Παράδειγμα Το σύνολο F = {A à B, B à C, CD à E} συνεπάγεται το Α à Ε; Δηλαδή το Α à Ε ανήκει στο F + ή ισοδύναμα το Ε ανήκει στο Α + ; Δουλκερίδης 14

15 Εγκλεισµός Συνόλου Γνωρισµάτων Δίνονται: μια σχέση R, ένα σύνολο γνωρισμάτων {Α 1,Α 2,...,Α } της R, και ένα σύνολο F από FD Να βρεθούν: όλα τα υπόλοιπα γνωρίσματα Β της R έτσι ώστε: {Α 1,Α 2,...,Α } à Β Αλγόριθμος Ξεκινάμε με το σύνολο γνωρισμάτων Κ= {Α 1,Α 2,...,Α } repeat util o chage if (A à B Î F) ad (A Î K) ad (B Ï K) the πρόσθεσε το B στο Κ Δουλκερίδης 15

16 Παράδειγµα ΑΒ à C AD à E B à D AF à B Πώς θα χρησιμοποιήσουμε τον αλγόριθμο για να ελέγξουμε εάν ένα σύνολο γνωρισμάτων είναι κλειδί; Εγκλεισμός του Α,Β: {A,B} + = Εγκλεισμός του Α,F: {A,F} + = Το σύνολο F = {A à B, B à C, CD à E} συνεπάγεται το Α à Ε; Δουλκερίδης 16

17 Άλλο Παράδειγµα Δίνεται σχέση R(A,B,C,D,E,F,G) και οι ακόλουθες συναρτησιακές εξαρτήσεις: (1) AàBC (2) EàCF, (3) BàE, (4) CDàEF, (5) AàG α) Να βρεθεί ο εγκλεισμός του Α. β) Βρείτε ένα υποψήφιο κλειδί για την R. Δουλκερίδης 17

18 Χρήση των FD για Παραγωγή Καλών Σχηµάτων Ξεκινάμε με ένα σύνολο σχέσεων Ορίζουμε τις FD (και τα κλειδιά) για τις σχέσεις με βάση τη σημασιολογία της εφαρμογής Μετασχηματίζουμε τις σχέσεις σε κανονικές μορφές (κανονικοποίηση) Με χρήση διάσπασης Διαισθητικά «καλό» σχήμα σημαίνει ότι Δεν υπάρχουν ανώμαλες καταστάσεις Μπορούμε να ανακατασκευάσουμε όλη την αρχική πληροφορία Δουλκερίδης 18

19 Κανονικές Μορφές Όταν ένα σχεσιακό σχήμα βρίσκεται σε μία κανονική μορφή, γνωρίζουμε ότι συγκεκριμένου τύπου προβλήματα δεν υπάρχουν Πρωτη κανονική μορφή (1NF) Ένας πίνακας είναι σε 1NF όταν κάθε γνώρισμά του καταχωρεί ατομικές τιμές Δεύτερη κανονική μορφή (2NF) Εάν κάθε γνώρισμα εξαρτάται από ολόκληρο το πρωτεύον κλειδί Εάν κάθε υποψήφιο κλειδί αποτελείται από ένα γνώρισμα, τότε ο πίνακας είναι σε 2NF Τρίτη κανονική μορφή (3NF) Boyce-Codd Normal Form (BCNF) 3NF BCNF 1NF 2NF Δουλκερίδης 19

20 Κανονική Μορφή Boyce-Codd (BCNF) Μια απλή συνθήκη για την αποφυγή ανωμαλιών από τις σχέσεις Μια σχέση R βρίσκεται σε BCNF, όσον αφορά στις FD της, αν και μόνο αν οποτεδήποτε ισχύει μια μη τετριμμένη εξάρτηση A à B στην R, το Α περιέχει κάποιο κλειδί της R Γιατί η παραβίαση αυτής της συνθήκης παράγει μη καλά σχήματα; Δουλκερίδης 20

21 Παράδειγµα BCNF Hourly_Emps(ss, ame, lot, ratig, hourly_wages, hours_worked) Ποιες είναι οι συναρτησιακές εξαρτήσεις; Ποια είναι τα κλειδιά; Βρίσκεται η σχέση σε BCNF; ss ame lot ratig hourly_wages hours_worked 1 Attishoo Smiley Smethurst Guidu Madaya Δουλκερίδης 21

22 Τρίτη Κανονική Μορφή Η διάσπαση σε BCNF δε διατηρεί τις εξαρτήσεις Μια σχέση R βρίσκεται σε 3NF αν και μόνο αν Για οποιαδήποτε μη τετριμμένη εξάρτηση Χ à Α στην R, το Χ περιέχει κάποιο κλειδί της R ή Το Α αποτελεί τμήμα κάποιου κλειδιού της R Είναι συμβιβασμός αντί της BCNF Κάθε BCNF πίνακας είναι και 3NF Η 3NF επιτρέπει κάποιο πλεονασμό Δουλκερίδης 22

23 Άσκηση για το Σπίτι Δίνεται σχέση R(A,B,C,D,E) και οι συναρτησιακές εξαρτήσεις: A à B, BC à E, ED à A Βρείτε όλα τα κλειδιά της R. Βρίσκεται η R σε BCNF? Βρίσκεται η R σε 3NF? Δουλκερίδης 23

24 Μερική και Μεταβατική Εξάρτηση Έστω μια FD X à A που παραβιάζει τη συνθήκη 3NF. Διακρίνονται δύο περιπτώσεις: Το Χ είναι γνήσιο υποσύνολο κάποιου κλειδιού Κ (Μερική Εξάρτηση) ΚΛΕΙΔΙ Γνωρίσματα Χ Γνώρισμα Α Το Χ δεν αποτελεί γνήσιο υποσύνολο κανενός κλειδιού (Μεταβατική Εξάρτηση) ΚΛΕΙΔΙ Γνωρίσματα Χ Γνώρισμα Α ΚΛΕΙΔΙ Γνώρισμα Α Γνωρίσματα Χ Δουλκερίδης 24

25 Παραδείγµατα Σχετικά µε 3NF Μερική εξάρτηση Reserves(sid,bid,day,creditcard) (SBDC) Αν ισχύει S à C, τα ζεύγη (S,C) καταχωρούνται με πλεονασμό Μεταβατική εξάρτηση Hourly_Emps(SNLRWH) Αν ισχύει R à W, τότε ισχύει και: S à R à W, άρα προβλήματα στην εισαγωγή, ενημέρωση και διαγραφή Πλεονασμός ακόμη κι όταν ο πίνακας είναι 3NF Reserves (SBDC) και ισχύει S à C Δεν είναι 3NF Εάν ισχύει επιπλέον C à S Είναι 3NF, διότι το CBD είναι κλειδί Πάλι όμως υπάρχει πλεονασμός στα ζεύγη (S,C) Δουλκερίδης 25

26 Διασπάσεις Έστω R μια σχέση με γνωρίσματα {Α 1,Α 2,...,Α } Δημιουργήστε δύο σχέσεις R 1 και R 2 με γνωρίσματα {Β 1,Β 2,...,Β m } και {C 1,C 2,...,C l } αντίστοιχα, έτσι ώστε {Β 1,Β 2,...,Β m } È {C 1,C 2,...,C l } = {Α 1,Α 2,...,Α } και 1. η R 1 είναι ο περιορισμός της R πάνω στο {Β 1,Β 2,...,Β m } 2. η R 2 είναι ο περιορισμός της R πάνω στο {C 1,C 2,...,C l } 3. η επανένωση (joi) των R 1 και R 2 παράγει την R Δουλκερίδης 26

27 Ορολογία των Διασπάσεων Ο περιορισμός (1,2) ονομάζεται προβολή και τα διπλότυπα απαλείφονται Η επανένωση στο (3) ονομάζεται σύζευξη Μια διάσπαση που ικανοποιεί το (3) ονομάζεται διάσπαση με σύζευξη χωρίς απώλεια πληροφορίας (lossless-joi decompositio) Μόνο τέτοιου είδους διασπάσεις μας ενδιαφέρουν Δουλκερίδης 27

28 Διάσπαση µε Σύζευξη Χωρίς Απώλεια Πληροφορίας Η διάσπαση της R στα X και Y είναι με σύζευξη χωρίς απώλεια πληροφορίας ως προς το F αν και μόνο αν ο εγκλεισμός του F περιλαμβάνει την εξάρτηση X Y à X ή την X Y à Y Συγκεκριμένα η διάσπαση της R στα ΧΥ και R-Υ είναι με σύζευξη χωρίς απώλεια πληροφορίας, αν το Χ à Υ ισχύει πάνω στην R και το Χ Υ είναι κενό S P D s1 p1 d1 s2 p2 d2 s3 p1 d3 Διάσπαση S s1 s2 s3 P p1 p2 p1 P p1 p2 p1 D d1 d2 d3 Ανασύσταση S P D s1 p1 d1 s2 p2 d2 s3 p1 d3 s1 p1 d3 s3 p1 d1 Δουλκερίδης 28

29 Παράδειγµα Hourly_Emps(SNLRWH) και ισχύει R à W Παραβιάζεται η 3NF Διάσπαση σε δύο πίνακες SNLRH RW Χωρίς απώλεια πληροφορίας! Διότι (με βάση την προηγούμενη παρατήρηση) ισχύει R à W και το R W είναι κενό, οπότε γίνεται διάσπαση σε RW και (Hourly_Emps W) Δουλκερίδης 29

30 Διασπάσεις που Διατηρούν τις Εξαρτήσεις (1/2) Έστω CSJDPQV, C είναι το κλειδί, JP à C και SD à P To JP είναι επίσης κλειδί Το SD à P παραβιάζει τη BCNF Διάσπαση σε BCNF: CSJDQV και SDP Πρόβλημα: ο έλεγχος JP à C απαιτεί σύζευξη Διάσπαση που διατηρεί τις εξαρτήσεις (διαισθητικά) Αν η R διασπαστεί στα Χ, Y και Ζ και επιβάλλουμε τις FD που ισχύουν στα X, στο Υ και στο Ζ, τότε όλες οι FD που ίσχυαν αρχικά στην R πρέπει να εξακολουθούν να ισχύουν Προβολή ενός συνόλου FD F: Αν η R διασπαστεί στα Χ,..., η προβολή F X του F στο X είναι το σύνολο των FD U à V του F + (εγκλεισμός του F) για τις οποίες τα U, V ανήκουν στο X Δουλκερίδης 30

31 Διασπάσεις που Διατηρούν τις Εξαρτήσεις (2/2) Η διάσπαση της R στα X και Y διατηρεί τις εξαρτήσεις αν: (F X È F Υ ) + = F + δηλαδή αν θεωρήσουμε μόνο τις εξαρτήσεις του F + που μπορούν να ελεγχθούν στο Χ χωρίς να εξετάσουμε το Υ, και (αντίστοιχα) στο Υ χωρίς να εξετάσουμε το Χ, αυτές συνεπάγονται όλες τις εξαρτήσεις του F + Είναι σημαντικό να θεωρήσουμε το F + κι όχι το F, στον παραπάνω ορισμό Έστω ABC με Α à Β, Β à C, C à A και διασπάμε σε AB και BC Η διάσπαση διατηρεί τις εξαρτήσεις; H C à A διατηρείται; Η διατήρηση των εξαρτήσεων δε συνεπάγεται τη σύζευξη χωρίς απώλεια πληροφορίας Έστω ABC με Α à Β και διασπάμε σε AB και BC Δουλκερίδης 31

32 Γιατί να Χρησιµοποιήσουµε Διάσπαση; Η πρώτη ερώτηση που πρέπει να αναλογιστούμε Είναι απαραίτητο να γίνει κάποια διάσπαση; Αν μια σχέση βρίσκεται σε μια κανονική μορφή, τότε συγκεκριμένοι τύποι προβλημάτων ελαχιστοποιούνται/αποφεύγονται Αυτό μπορεί να μας βοηθήσει να αποφασίσουμε εάν είναι καλό να διασπάσουμε μια σχέση Ο ρόλος των FD στον εντοπισμό πλεονασμού Έστω σχέση R με γνωρίσματα τα A, B και C Αν δεν ισχύουν FD: Δεν υπάρχει πλεονασμός Αν ισχύει (π.χ. Α à Β): Διάφορες πλειάδες μπορεί να έχουν την ίδια τιμή για το Α κι αν συμβεί αυτό, τότε όλες θα έχουν την ίδια τιμή και για το Β Δουλκερίδης 32

33 Διάσπαση σε BCNF Αλγόριθμος διάσπασης σχέσης R σε μια συλλογή BCNF σχέσεων Έστω ότι η FD X à A παραβιάζει την BCNF Όπου Χ Ì R και Α ένα απλό γνώρισμα της R Τότε ο πίνακας R διασπάται σε R-A και XA Εάν κάποιο από τα R-A και XA δεν είναι BCNF, εφαρμόζεται αναδρομικά ο αλγόριθμος Δουλκερίδης 33

34 Παράδειγµα Διάσπασης σε BCNF CSJDPQV SD à P JP à C SD à P J à S SDP CSJDQV J à S JS 1. Όμως δε διατηρείται η JP à C 2. Μπορούμε να προσθέσουμε μία σχέση CJP 3. Πλεονασμός! CJDQV Δουλκερίδης 34

35 Σχετικά µε τη Διάσπαση σε BCNF Η διάσπαση σε BCNF είναι συνεπής-σωστή Χωρίς απώλεια πληροφορίας Το τελικό σύνολο των διασπασμένων σχέσεων μπορεί να διαφέρει, ανάλογα με Ποιο σύνολο FD ξεκινήσαμε Τη σειρά που επιλέξαμε τις FD που παραβίαζαν τη BCNF Τελικά όλα τα αποτελέσματα θα βρίσκονται σε BCNF Δουλκερίδης 35

36 Διάσπαση σε 3NF Υπάρχει πάντα διάσπαση σε 3NF που διατηρεί τις εξαρτήσεις και είναι χωρίς απώλεια σύζευξης και μπορεί να υπολογιστεί σε πολυωνυμικό χρόνο Μπορεί να χρησιμοποιηθεί ο αλγόριθμος για BCNF Για να εξασφαλιστεί η διατήρηση των εξαρτήσεων Αν το Χ à Υ δε διατηρείται, προσθέτουμε τη σχέση ΧΥ Το πρόβλημα είναι ότι μπορεί η ΧΥ να παραβιάζει την 3NF π.χ. θεωρήστε την προσθήκη του CJP για να διατηρήσουμε τη JP à C. Τι θα συνέβαινε αν είχαμε επιπλέον και τη J à C; Αντί για το αρχικό σύνολο εξαρτήσεων F, χρησιμοποίησε την ελάχιστη κάλυψη του F Δουλκερίδης 36

37 Ελάχιστη Κάλυψη για το Σύνολο των FD Ελάχιστη κάλυψη G για το σύνολο συναρτησιακών εξαρτήσεων F F + = G + Δεξί μέρος εξαρτήσεων στο G είναι ένα χαρακτηριστικό Το G είναι το ελάχιστο σύνολο με την πρώτη ιδιότητα Παράδειγμα Οι A à B, ABCD à E, EF à GH, ACDF à EG έχουν την ελάχιστη κάλυψη: A à B, ACD à E, EF à G και EF à H Δουλκερίδης 37

1. Ανασκόπηση των Βασικών Εννοιών των Βάσεων Δεδομένων

1. Ανασκόπηση των Βασικών Εννοιών των Βάσεων Δεδομένων Πανεπιστήμιο Πειραιώς Σχολή Τεχνολογιών Πληροφορικής και Επικοινωνιών Τμήμα Ψηφιακών Συστημάτων 1. Ανασκόπηση των Βασικών Εννοιών των Βάσεων Δεδομένων Βάσεις εδομένων Χρήστος ουλκερίδης 5/10/2017 Γνωριμία

Διαβάστε περισσότερα

Σχεδίαση Β.Δ. (Database Design)

Σχεδίαση Β.Δ. (Database Design) Σχεδίαση Β.Δ. (Database Design) Η σχεδίαση ενός σχήματος μιας Β.Δ. βασίζεται σε μεγάλο βαθμό στη διαίσθηση του σχεδιαστή σχετικά με τον κόσμο που θέλει να αναπαραστήσει. Η εννοιολογική σχεδίαση υπαρκτών

Διαβάστε περισσότερα

Θεωρία Κανονικοποίησης

Θεωρία Κανονικοποίησης Θεωρία Κανονικοποίησης Πρώτη Κανονική Μορφή (1NF) Αποσύνθεση Συναρτησιακές Εξαρτήσεις Δεύτερη (2NF) και Τρίτη Κανονική Μορφή (3NF) Boyce Codd Κανονική Μορφή (BCNF) Καθολική Διαδικασία Σχεδίασης ΒΔ Βασική

Διαβάστε περισσότερα

Κανονικοποίηση για Σχεσιακές Βάσεις Δεδομένων Αντζουλάτος Γεράσιμος antzoulatos@upatras.gr Τμήμα Εφαρμογών Πληροφορικής στην Διοίκηση και Οικονομία ΤΕΙ Πατρών - Παράρτημα Αμαλιάδας 06 Δεκεμβρίου 2012 Περιεχομενα

Διαβάστε περισσότερα

Κανονικές Μορφές 8ο Φροντιστήριο. Βάρσος Κωνσταντίνος

Κανονικές Μορφές 8ο Φροντιστήριο. Βάρσος Κωνσταντίνος ΗΥ-360 Αρχεια και Βασεις εδοµενων, Τµηµα Επιστηµης Υπολογιστων, Πανεπιστηµιο Κρητης Κανονικές Μορφές Βάρσος Κωνσταντίνος 30 Νοεµβρίου 2017 Κανονικοποίηση Ορισµός 1. Κανονικοποίηση είναι µια διαδικασία

Διαβάστε περισσότερα

καλών σχεσιακών σχημάτων

καλών σχεσιακών σχημάτων Εισαγωγή Θα εξετάσουμε πότε ένα σχεσιακό σχήμα για μια βάση δεδομένων είναι «καλό» Λογικός Γενικές Οδηγίες Η Μέθοδος της Αποσύνθεσης (γενική μεθοδολογία) Επιθυμητές Ιδιότητες της Αποσύνθεσης Συνένωση Άνευ

Διαβάστε περισσότερα

ΗΥ360 Αρχεία και Βάσεις εδοµένων ιδάσκων:. Πλεξουσάκης

ΗΥ360 Αρχεία και Βάσεις εδοµένων ιδάσκων:. Πλεξουσάκης ΗΥ360 Αρχεία και Βάσεις εδοµένων ιδάσκων:. Πλεξουσάκης Συναρτησιακές Εξαρτήσεις Αξιώµατα Armstrong Ελάχιστη κάλυψη Φροντιστήριο 1 Συναρτησιακές Εξαρτήσεις Οι Συναρτησιακές εξαρτήσεις είναι περιορισµοί

Διαβάστε περισσότερα

Λογικός Σχεδιασμός. Βάσεις Δεδομένων Ευαγγελία Πιτουρά 1

Λογικός Σχεδιασμός. Βάσεις Δεδομένων Ευαγγελία Πιτουρά 1 Λογικός Σχεδιασμός Ευαγγελία Πιτουρά 1 Εισαγωγή Θα εξετάσουμε πότε ένα σχεσιακό σχήμα για μια βάση δεδομένων είναι «καλό» Μη τυπικές γενικές κατευθύνσεις Θεωρία κανονικών μορφών η οποία βασίζεται στην

Διαβάστε περισσότερα

Λογικός Σχεδιασμός. Βάσεις Δεδομένων Ευαγγελία Πιτουρά 1

Λογικός Σχεδιασμός. Βάσεις Δεδομένων Ευαγγελία Πιτουρά 1 Λογικός Σχεδιασμός Βάσεις Δεδομένων 2017-2018 1 Εισαγωγή Θα εξετάσουμε πότε ένα σχεσιακό σχήμα για μια βάση δεδομένων είναι «καλό» Μη τυπικές γενικές κατευθύνσεις Θεωρία κανονικών μορφών η οποία βασίζεται

Διαβάστε περισσότερα

Λογικός Σχεδιασμός. Βάσεις Δεδομένων Ευαγγελία Πιτουρά 1

Λογικός Σχεδιασμός. Βάσεις Δεδομένων Ευαγγελία Πιτουρά 1 Λογικός Σχεδιασμός 1 Ανακοινώθηκε το 2 ο Σύνολο Ασκήσεων στη σελίδα του μαθήματος Ημερομηνία Παράδοσης 6/12/2016 2 Εισαγωγή Θα εξετάσουμε πότε ένα σχεσιακό σχήμα για μια βάση δεδομένων είναι «καλό» Μη

Διαβάστε περισσότερα

Λογικός Σχεδιασμός. Βάσεις Δεδομένων Ευαγγελία Πιτουρά 1

Λογικός Σχεδιασμός. Βάσεις Δεδομένων Ευαγγελία Πιτουρά 1 Λογικός Σχεδιασμός Βάσεις Δεδομένων 2018-2019 1 Εισαγωγή Θα εξετάσουμε πότε ένα σχεσιακό σχήμα για μια βάση δεδομένων είναι «καλό» Μη τυπικές γενικές κατευθύνσεις Θεωρία κανονικών μορφών η οποία βασίζεται

Διαβάστε περισσότερα

Κανονικές Μορφές. Βάσεις Δεδομένων : Κανονικές Μορφές. ηλαδή, i = 1,.., n R i R. Σύντομη επανάληψη αποσύνθεσης.

Κανονικές Μορφές. Βάσεις Δεδομένων : Κανονικές Μορφές. ηλαδή, i = 1,.., n R i R. Σύντομη επανάληψη αποσύνθεσης. Κανονικές Μορφές Σύντομη επανάληψη αποσύνθεσης Βάσεις Δεδομένων 2008-2009 Ευαγγελία Πιτουρά 1 Βάσεις Δεδομένων 2008-2009 Ευαγγελία Πιτουρά 2 Αλγόριθμος Σχεδιασμού Αλγόριθμος Σχεδιασμού Ένας γενικός (θεωρητικός)

Διαβάστε περισσότερα

ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ - ΤΜΗΥΠ ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ Ι

ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ - ΤΜΗΥΠ ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ Ι ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ - ΤΜΗΥΠ ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ Ι Β. Μεγαλοοικονόμου, Δ. Χριστοδουλάκης Σχεδιασμός Βάσεων Δεδομένων και Κανονικοποίηση Ακ.Έτος 2008-09 (μεβάσητιςσημειώσειςτωνsilberchatz, Korth και Sudarshan

Διαβάστε περισσότερα

ΗΥ360 Αρχεία και Βάσεις Δεδομένων

ΗΥ360 Αρχεία και Βάσεις Δεδομένων ΗΥ360 Αρχεία και Βάσεις Δεδομένων Φροντιστήριο Συναρτησιακές Εξαρτήσεις Αξιώματα Armstrong Ελάχιστη Κάλυψη Συναρτησιακές Εξαρτήσεις Τι είναι : Οι Συναρτησιακές εξαρτήσεις είναι περιορισμοί ακεραιότητας

Διαβάστε περισσότερα

καλών σχεσιακών σχημάτων

καλών σχεσιακών σχημάτων Εισαγωγή Θα εξετάσουμε πότε ένα σχεσιακό σχήμα για μια βάση δεδομένων είναι «καλό» Λογικός Σχεδιασμός Σχεσιακών Σχημάτων Γενικές Οδηγίες Η Μέθοδος της Αποσύνθεσης (γενική μεθοδολογία) Επιθυμητές Ιδιότητες

Διαβάστε περισσότερα

2η ΔΙΑΛΕΞΗ Συναρτησιακές εξαρτήσεις

2η ΔΙΑΛΕΞΗ Συναρτησιακές εξαρτήσεις 2η ΔΙΑΛΕΞΗ 1 Συναρτησιακές εξαρτήσεις Συναρτησιακές εξαρτήσεις 2 Θέματα Ανάπτυξης Έννοια και ορισμός των συναρτησιακών εξαρτήσεων Κανόνες του Armstrong Μη αναγώγιμα σύνολα εξαρτήσεων Στόχος και Αποτελέσματα

Διαβάστε περισσότερα

Συναρτησιακές Εξαρτήσεις. Βάσεις εδοµένων Ευαγγελία Πιτουρά 1

Συναρτησιακές Εξαρτήσεις. Βάσεις εδοµένων Ευαγγελία Πιτουρά 1 Συναρτησιακές Εξαρτήσεις Βάσεις εδοµένων 2011-2012 Ευαγγελία Πιτουρά 1 Εισαγωγή Θεωρία για το πότε ένας σχεδιασµός είναι «καλός» Η θεωρία βασίζεται στις Συναρτησιακές Εξαρτήσεις (Functional Dependencies)

Διαβάστε περισσότερα

Κλείσιμο Συνόλου Γνωρισμάτων

Κλείσιμο Συνόλου Γνωρισμάτων Κλείσιμο Συνόλου Γνωρισμάτων Ο υπολογισμός του κλεισίματος ενός συνόλου από ΣΕ μας δίνει τα σύνολα όλων των γνωρισμάτων τα οποία προσδιορίζονται συναρτησιακά από άλλα σύνολα γνωρισμάτων Ο υπολογισμός αυτός

Διαβάστε περισσότερα

Συναρτησιακές Εξαρτήσεις

Συναρτησιακές Εξαρτήσεις Συναρτησιακές Εξαρτήσεις Βάσεις εδοµένων 2012-2013 Ευαγγελία Πιτουρά 1 Θεωρία για το πότε ένας σχεδιασμός είναι«καλός» Εισαγωγή Η θεωρία βασίζεται στις Συναρτησιακές Εξαρτήσεις (Functional Dependencies)

Διαβάστε περισσότερα

Βάσεις Δεδομένων Συναρτησιακές Εξαρτήσεις (Functional Dependencies) Σχεδιασμός Βάσεων Δεδομένων και Κανονικοποίηση

Βάσεις Δεδομένων Συναρτησιακές Εξαρτήσεις (Functional Dependencies) Σχεδιασμός Βάσεων Δεδομένων και Κανονικοποίηση Βάσεις Δεδομένων Συναρτησιακές Εξαρτήσεις (Functional Dependencies) Σχεδιασμός Βάσεων Δεδομένων και Κανονικοποίηση Φροντιστήριο 6ο 26-1-2009 ΘΕΩΡΙΑ Συναρτησιακές-Λειτουργικές εξαρτήσεις Κανόνες συμπερασμού

Διαβάστε περισσότερα

Λογικός Σχεδιασμός Σχεσιακών Σχημάτων: Αποσύνθεση

Λογικός Σχεδιασμός Σχεσιακών Σχημάτων: Αποσύνθεση Λογικός Σχεδιασμός Σχεσιακών Σχημάτων: Αποσύνθεση Βάσεις Δεδομένων 2010-2011 Ευαγγελία Πιτουρά 1 Εισαγωγή Θα εξετάσουμε πότε ένα σχεσιακό σχήμα για μια βάση δεδομένων είναι «καλό» Γενικές Οδηγίες Η Μέθοδος

Διαβάστε περισσότερα

Πανεπιστήμιο Κρήτης Τμήμα Επιστήμης Υπολογιστών Κανονικές Μορφές (Normal Forms)

Πανεπιστήμιο Κρήτης Τμήμα Επιστήμης Υπολογιστών Κανονικές Μορφές (Normal Forms) Κανονικές Μορφές (Normal Forms) Παρέχουν ένα τυπικό πλαίσιο για ανάλυση σχεσιακών σχημάτων βασισμένη στον ορισμό κλειδιών και συναρτησιακών εξαρτήσεων. Σχεσιακά σχήματα που ανήκουν σε συγκεκριμένες κανονικές

Διαβάστε περισσότερα

Κανονικοποίηση. Σημασιολογία Γνωρισμάτων. Άτυπες Οδηγίες. Παράδειγμα. Αξιολόγηση Σχεσιακών Σχημάτων ΒΔ. Περιττές Τιμές και Ανωμαλίες Ενημέρωσης

Κανονικοποίηση. Σημασιολογία Γνωρισμάτων. Άτυπες Οδηγίες. Παράδειγμα. Αξιολόγηση Σχεσιακών Σχημάτων ΒΔ. Περιττές Τιμές και Ανωμαλίες Ενημέρωσης Αξιολόγηση Σχεσιακών Σχημάτων ΒΔ Κανονικοποίηση Παύλος Εφραιμίδης Βάσεις Δεδομένων Κανονικοποίηση 1 Πως μπορούμε να κρίνουμε εάν ένα Σχεσιακό Σχήμα είναι καλό ή αποδοτικό ή αν έχει λάθη; Σε γενικές γραμμές

Διαβάστε περισσότερα

Κανονικές Μορφές Σχεδιασµός Σχεσιακών Σχηµάτων

Κανονικές Μορφές Σχεδιασµός Σχεσιακών Σχηµάτων Κανονικές Μορφές 1 Σχεδιασµός Σχεσιακών Σχηµάτων Γενικές Οδηγίες Η Μέθοδος της Αποσύνθεσης Επιθυµητές Ιδιότητες της Αποσύνθεσης Συνένωση Άνευ Απωλειών ιατήρηση Εξαρτήσεων Αποφυγή Επανάληψης Πληροφορίας

Διαβάστε περισσότερα

Βάσεις δεδομένων. (9 ο μάθημα) Ηρακλής Βαρλάμης

Βάσεις δεδομένων. (9 ο μάθημα) Ηρακλής Βαρλάμης Βάσεις δεδομένων (9 ο μάθημα) Ηρακλής Βαρλάμης varlamis@hua.gr Περιεχόμενα Βελτίωση σχεδιασμού Αποσύνθεση σχέσης Συναρτησιακές εξαρτήσεις Θεωρία κανονικών μορφών 1 η NF 2 η NF 3 η NF 2 Βελτίωση σχεδιασμού

Διαβάστε περισσότερα

BΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ ΕΞΕΤΑΣΗ ΦΕΒΡΟΥΑΡΙΟΥ 2005

BΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ ΕΞΕΤΑΣΗ ΦΕΒΡΟΥΑΡΙΟΥ 2005 ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΤΜΗΜΑ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΤΟΜΕΑΣ ΠΛΗΡΟΦΟΡΙΚΗΣ BΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ ΕΞΕΤΑΣΗ ΦΕΒΡΟΥΑΡΙΟΥ 2005 ΛΥΣΕΙΣ Ι. Βασιλείου -----------------------------------------------------------------------------------------------------

Διαβάστε περισσότερα

Συναρτησιακές Εξαρτήσεις και Κανονικοποίηση

Συναρτησιακές Εξαρτήσεις και Κανονικοποίηση Συναρτησιακές Εξαρτήσεις και Κανονικοποίηση Κανονικές Μορφές - Πρώτη κανονική μορφή (1NF) - Δεύτερη κανονική μορφή (2NF) - Τρίτη κανονική μορφή (3NF) 1 Κανονικοποίηση Κανονικές Μορφές Οι σχέσεις μπορούν

Διαβάστε περισσότερα

Κανονικοποίηση. Παύλος Εφραιμίδης. Βάσεις Δεδομένων Κανονικοποίηση 1

Κανονικοποίηση. Παύλος Εφραιμίδης. Βάσεις Δεδομένων Κανονικοποίηση 1 Κανονικοποίηση Παύλος Εφραιμίδης Βάσεις Δεδομένων Κανονικοποίηση 1 Αξιολόγηση Σχεσιακών Σχημάτων ΒΔ Πως μπορούμε να κρίνουμε εάν ένα Σχεσιακό Σχήμα είναι καλό ή αποδοτικό ή αν έχει λάθη; Σε γενικές γραμμές

Διαβάστε περισσότερα

Κανονικές Μορφές. Συνενώσεις Άνευ Απωλειών. Προσοχή με τις τιμές null στην αποσύνθεση

Κανονικές Μορφές. Συνενώσεις Άνευ Απωλειών. Προσοχή με τις τιμές null στην αποσύνθεση Κανονικές Μορφές Βάσεις Δεδομένων 2009-2010 Ευαγγελία Πιτουρά 1 Συνενώσεις Άνευ Απωλειών Προσοχή με τις τιμές null στην αποσύνθεση Αιωρούμενες πλειάδες (dangling tuples) Παράδειγμα: Εργαζόμενος - Τμήμα

Διαβάστε περισσότερα

Βάσεις Δεδομένων : Λογικός Σχεδιασμός 1. καλών σχεσιακών σχημάτων. Λογικός Σχεδιασμός Σχεσιακών Σχημάτων. Γενικές Κατευθύνσεις.

Βάσεις Δεδομένων : Λογικός Σχεδιασμός 1. καλών σχεσιακών σχημάτων. Λογικός Σχεδιασμός Σχεσιακών Σχημάτων. Γενικές Κατευθύνσεις. Εισαγωγή Θα εξετάσουμε πότε ένα σχεσιακό σχήμα για μια βάση δεδομένων είναι «καλό» Λογικός Σχεδιασμός Σχεσιακών Σχημάτων Γενικές Οδηγίες Η Μέθοδος της Αποσύνθεσης (γενική μεθοδολογία) Επιθυμητές Ιδιότητες

Διαβάστε περισσότερα

Αρχεία και Βάσεις Δεδομένων

Αρχεία και Βάσεις Δεδομένων ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Αρχεία και Βάσεις Δεδομένων Διάλεξη 13η: Κλείσιμο Συνόλου Γνωρισμάτων - Ελάχιστη κάλυψη - Αποσύνθεση - Συναρτησιακές Εξαρτήσεις Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης

Διαβάστε περισσότερα

antzoulatos@upatras.gr

antzoulatos@upatras.gr Κανονικοποίηση για Σχεσιακές Βάσεις Δεδομένων Αντζουλάτος Γεράσιμος antzoulatos@upatras.gr Τμήμα Εφαρμογών Πληροφορικής στην Διοίκηση και Οικονομία ΤΕΙ Πατρών - Παράρτημα Αμαλιάδας 10 Ιανουαρίου 2013 Περιεχομενα

Διαβάστε περισσότερα

Συναρτησιακές Εξαρτήσεις

Συναρτησιακές Εξαρτήσεις Συναρτησιακές Εξαρτήσεις Βάσεις Δεδομένων 2010-2011 Ευαγγελία Πιτουρά 1 Εισαγωγή Θεωρία για το πότε ένας σχεδιασμός είναι «καλός» Η θεωρία βασίζεται στις Συναρτησιακές Εξαρτήσεις (Functional Dependencies)

Διαβάστε περισσότερα

Αρχεία και Βάσεις Δεδομένων

Αρχεία και Βάσεις Δεδομένων ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Αρχεία και Βάσεις Δεδομένων Διάλεξη 14η: Κανονικές Μορφές Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών Κανονικές Μορφές (Normal Forms) Παρέχουν ένα τυπικό πλαίσιο

Διαβάστε περισσότερα

Λογικός Σχεδιασµός Σχεσιακών Σχηµάτων: Αποσύνθεση. Βάσεις εδοµένων Ευαγγελία Πιτουρά 1

Λογικός Σχεδιασµός Σχεσιακών Σχηµάτων: Αποσύνθεση. Βάσεις εδοµένων Ευαγγελία Πιτουρά 1 Λογικός Σχεδιασµός Σχεσιακών Σχηµάτων: Αποσύνθεση Βάσεις εδοµένων 2011-2012 Ευαγγελία Πιτουρά 1 Εισαγωγή Θα εξετάσουµε πότε ένα σχεσιακό σχήµα για µια βάση δεδοµένων είναι «καλό» Γενικές Οδηγίες Η Μέθοδος

Διαβάστε περισσότερα

Συναρτησιακές Εξαρτήσεις

Συναρτησιακές Εξαρτήσεις Εισαγωγή Θεωρία για το πότε ένας σχεδιασμός είναι «καλός» Η θεωρία βασίζεται στις (Functional Dependencies) Τι είναι; Εξαρτήσεις ανάμεσα σε σύνολα από γνωρίσματα Συμβολισμός S1 S2 (όπου S1, S2 σύνολα γνωρισμάτων)

Διαβάστε περισσότερα

Σχεδιασµός Σχεσιακών Σχηµάτων

Σχεδιασµός Σχεσιακών Σχηµάτων Σχεδιασµός Σχεσιακών Σχηµάτων 1 Σχεδιασµός Σχεσιακών Σχηµάτων Σχεδιασµός καλών σχεσιακών σχηµάτων Μη τυπικές - γενικές κατευθύνσεις Θεωρία κανονικών µορφών που θα βασίζεται στις συναρτησιακές εξαρτήσεις

Διαβάστε περισσότερα

Κανονικοποίηση Σχήµατος. Βάσεις εδοµένων Ευαγγελία Πιτουρά 1

Κανονικοποίηση Σχήµατος. Βάσεις εδοµένων Ευαγγελία Πιτουρά 1 Κανονικοποίηση Σχήµατος Ευαγγελία Πιτουρά 1 Λογικός Σχεδιασµός Σχεσιακών Σχηµάτων - Αποσύνθεση (διάσπαση) καθολικού σχήµατος Επιθυµητές ιδιότητες - διατήρηση εξαρτήσεων (F + = F + ) - όχι απώλειες στη

Διαβάστε περισσότερα

Συναρτησιακές Εξαρτήσεις Σχεδιασμός Βάσεων Δεδομένων

Συναρτησιακές Εξαρτήσεις Σχεδιασμός Βάσεων Δεδομένων Συναρτησιακές Εξαρτήσεις Σχεδιασμός Βάσεων Δεδομένων Μαρία Χαλκίδη 1 Εισαγωγή Θεωρία για το πότε ένας σχεδιασμός είναι «καλός» Η θεωρία βασίζεται στις Λειτουργικές (Συναρτησιακές) Εξαρτήσεις (Functional

Διαβάστε περισσότερα

Λογικός Σχεδιασµός Σχεσιακών Σχηµάτων

Λογικός Σχεδιασµός Σχεσιακών Σχηµάτων Εισαγωγή Θα εξετάσουµε πότε ένα σχεσιακό σχήµα για µια βάση δεδοµένων είναι «καλό» Λογικός Σχεδιασµός Σχεσιακών Σχηµάτων Γενικές Οδηγίες Η Μέθοδος της Αποσύνθεσης Επιθυµητές Ιδιότητες της Αποσύνθεσης Συνένωση

Διαβάστε περισσότερα

Κανονικές Μορφές 8ο Φροντιστήριο. Βάρσος Κωνσταντίνος

Κανονικές Μορφές 8ο Φροντιστήριο. Βάρσος Κωνσταντίνος ΗΥ-360 Αρχεια και Βασεις εδοµενων Τµηµα Επιστηµης Υπολογιστων Πανεπιστηµιο Κρητης Κανονικές Μορφές Βάρσος Κωνσταντίνος 23 Νοεµβρίου 2018 ιατήρηση Εξαρτήσεων Εστω F ένα σύνολο από συναρτησιακές εξαρτήσεις

Διαβάστε περισσότερα

Κανονικές Μορφές. Τι συμβαίνει με το (πρωτεύον) κλειδί και τις συναρτησιακές εξαρτήσεις; Παράδειγμα 1. Παράδειγμα 2

Κανονικές Μορφές. Τι συμβαίνει με το (πρωτεύον) κλειδί και τις συναρτησιακές εξαρτήσεις; Παράδειγμα 1. Παράδειγμα 2 Κανονικές Μορφές: Εισαγωγή Κανονικές Μορφές Στόχος: οσμένου ενός σχήματος, αν είναι «καλό» ή χρειάζεται περαιτέρω διάσπαση. Πως; Κανονικές μορφές. Ξέρουμε ότι αν ένα σχήμα είναι σε κάποια Κανονική Μορφή

Διαβάστε περισσότερα

Συναρτησιακές Εξαρτήσεις

Συναρτησιακές Εξαρτήσεις Συναρτησιακές Εξαρτήσεις Βάσεις Δεδομένων 2009-2010 Ευαγγελία Πιτουρά 1 Εισαγωγή Θεωρία για το πότε ένας σχεδιασμός είναι «καλός» Η θεωρία βασίζεται στις Συναρτησιακές Εξαρτήσεις (Functional Dependencies)

Διαβάστε περισσότερα

ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ - ΤΜΗΥΠ ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ Ι

ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ - ΤΜΗΥΠ ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ Ι ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ - ΤΜΗΥΠ ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ Ι Β. Μεγαλοοικονόμου, Δ. Χριστοδουλάκης Συναρτησιακές Εξαρτήσεις (Functional Dependencies) Ακ.Έτος 2008-09 (μεβάσητιςσημειώσειςτωνsilberchatz, Korth και Sudarshan

Διαβάστε περισσότερα

Συναρτησιακές Εξαρτήσεις 7ο Φροντιστήριο. Βάρσος Κωνσταντίνος

Συναρτησιακές Εξαρτήσεις 7ο Φροντιστήριο. Βάρσος Κωνσταντίνος ΗΥ-360 Αρχεια και Βασεις εδοµενων, Τµηµα Επιστηµης Υπολογιστων, Πανεπιστηµιο Κρητης Συναρτησιακές Εξαρτήσεις Βάρσος Κωνσταντίνος 24 Νοεµβρίου 2017 Ορισµός 1. Μια συναρτησιακή εξάρτηση µεταξύ X και Y συµβολίζεται

Διαβάστε περισσότερα

Λογικός Σχεδιασµός Σχεσιακών Σχηµάτων: Αποσύνθεση

Λογικός Σχεδιασµός Σχεσιακών Σχηµάτων: Αποσύνθεση Λογικός Σχεδιασµός Σχεσιακών Σχηµάτων: Αποσύνθεση Βάσεις εδοµένων 2012-2013 Ευαγγελία Πιτουρά 1 Εισαγωγή Θα εξετάσουμε πότε ένα σχεσιακό σχήμα για μια βάση δεδομένων είναι «καλό» Γενικές Οδηγίες Η Μέθοδος

Διαβάστε περισσότερα

Συναρτησιακές Εξαρτήσεις

Συναρτησιακές Εξαρτήσεις Εισαγωγή Θεωρία για το πότε ένας σχεδιασµός είναι «καλός» Η θεωρία βασίζεται στις Τι είναι; Εξαρτήσεις ανάµεσα σε σύνολα από γνωρίσµατα S1 S2 (όπου S1, S2 σύνολα γνωρισµάτων): αν ίδιες τιµές στα γνωρίσµατα

Διαβάστε περισσότερα

Βάσεις εδοµένων. Συναρτησιακές Εξαρτήσεις (Functional Dependencies) Σχεδιασµός Βάσεων εδοµένων και. Κανονικοποίηση.

Βάσεις εδοµένων. Συναρτησιακές Εξαρτήσεις (Functional Dependencies) Σχεδιασµός Βάσεων εδοµένων και. Κανονικοποίηση. Βάσεις εδοµένων Συναρτησιακές Εξαρτήσεις (Functional Dependencies) Σχεδιασµός Βάσεων εδοµένων και Κανονικοποίηση Φροντιστήριο 9ο 17-12-2009 ΘΕΩΡΙΑ Συναρτησιακές-Λειτουργικές εξαρτήσεις Κανόνες συµπερασµού

Διαβάστε περισσότερα

Συναρτησιακές Εξαρτήσεις 7ο Φροντιστήριο. Βάρσος Κωνσταντίνος

Συναρτησιακές Εξαρτήσεις 7ο Φροντιστήριο. Βάρσος Κωνσταντίνος ΗΥ-360 Αρχεια και Βασεις εδοµενων, Τµηµα Επιστηµης Υπολογιστων, Πανεπιστηµιο Κρητης Συναρτησιακές Εξαρτήσεις Βάρσος Κωνσταντίνος 16 Νοεµβρίου 2018 Ορισµός 1. Μια συναρτησιακή εξάρτηση µεταξύ X και Y συµβολίζεται

Διαβάστε περισσότερα

Copyright 2007 Pearson Education, Inc. Publishing as Pearson Addison-Wesley, ΕλληνικήΈκδοση, ίαυλος

Copyright 2007 Pearson Education, Inc. Publishing as Pearson Addison-Wesley, ΕλληνικήΈκδοση, ίαυλος ιαφάνεια 10-1 Κεφάλαιο 10 Συναρτησιακές Εξαρτήσεις και Κανονικοποίηση για Σχεσιακές Βάσεις εδοµένων Copyright 2007 Pearson Education, Inc. Publishing as Pearson Addison-Wesley, ΕλληνικήΈκδοση ίαυλος ΠεριεχόµεναΚεφαλαίου

Διαβάστε περισσότερα

Συναρτησιακές Εξαρτήσεις

Συναρτησιακές Εξαρτήσεις Εισαγωγή Θεωρία για το πότε ένας σχεδιασμός είναι «καλός» Η θεωρία βασίζεται στις Τι είναι; Εξαρτήσεις ανάμεσα σε σύνολα από γνωρίσματα Συμβολισμός S1 S2 (όπου S1, S2 σύνολα γνωρισμάτων) Τι σημαίνει: Αν

Διαβάστε περισσότερα

Συναρτησιακές Εξαρτήσεις

Συναρτησιακές Εξαρτήσεις Εισαγωγή Θεωρία για το πότε ένας σχεδιασμός είναι «καλός» Η θεωρία βασίζεται στις Τι είναι; Εξαρτήσεις ανάμεσα σε σύνολα από γνωρίσματα Συμβολισμός S1 S2 (όπου S1, S2 σύνολα γνωρισμάτων) Τι σημαίνει: Αν

Διαβάστε περισσότερα

Λογικός Σχεδιασμός. Βάσεις Δεδομένων Ευαγγελία Πιτουρά 1

Λογικός Σχεδιασμός. Βάσεις Δεδομένων Ευαγγελία Πιτουρά 1 Λογικός Σχεδιασμός Βάσεις Δεδομένων 2013-2014 Ευαγγελία Πιτουρά 1 Εισαγωγή Θα εξετάσουμε πότε ένα σχεσιακό σχήμα για μια βάση δεδομένων είναι «καλό» Μη τυπικές γενικές κατευθύνσεις Θεωρία κανονικών μορφών

Διαβάστε περισσότερα

Συναρτησιακές και Πλειότιµες Εξαρτήσεις

Συναρτησιακές και Πλειότιµες Εξαρτήσεις Συναρτησιακές και Πλειότιµες Εξαρτήσεις 1 Συναρτησιακές Εξαρτήσεις 2 Συναρτησιακές Εξαρτήσεις Έστω ένα σχήµα σχέσης R(Α 1, Α 2,, Α n ). Aς συµβολίσουµε µε R = {Α 1, Α 2,, Α n } το σύνολο των γνωρισµάτων

Διαβάστε περισσότερα

Αρχεία και Βάσεις Δεδομένων

Αρχεία και Βάσεις Δεδομένων ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Αρχεία και Βάσεις Δεδομένων Διάλεξη 12η: Συναρτησιακές Εξαρτήσεις - Αξιώματα Armstrong Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών Συναρτησιακές Εξαρτήσεις

Διαβάστε περισσότερα

Εκπαιδευτικό Εργαλείο Κανονικοποίησης

Εκπαιδευτικό Εργαλείο Κανονικοποίησης Εκπαιδευτικό Εργαλείο Κανονικοποίησης Σύντομες οδηγίες χρήσης Εισαγωγή Το πρόγραμμα Εκπαιδευτικό Εργαλείο Κανονικοποίησης αυτοματοποιεί τη διαδικασία της κανονικοποίησης πινάκων σε BCNF μορφή. Ο χρήστης

Διαβάστε περισσότερα

Σχεδιασµός Σχεσιακών Σχηµάτων

Σχεδιασµός Σχεσιακών Σχηµάτων Βάσεις εδοµένων 2003-2004 Ευαγγελία Πιτουρά 1 Σχεδιασµός Σχεσιακών Σχηµάτων Σχεδιασµός καλών σχεσιακών σχηµάτων Μη τυπικές - γενικές κατευθύνσεις Θεωρία κανονικών µορφών που θα βασίζεται στις συναρτησιακές

Διαβάστε περισσότερα

Διδάσκων: Παναγιώτης Ανδρέου

Διδάσκων: Παναγιώτης Ανδρέου Διάλεξη 22: Κανονικοποίηση και Συναρτησιακές Εξαρτήσεις ΙII Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Εισαγωγή στις έννοιες: Κανονικοποιήση (Normalization) και Κανονικές Μορφές (Normal

Διαβάστε περισσότερα

Κανονικοποίηση. Άτυπες Οδηγίες. Παράδειγµα. Αξιολόγηση Σχεσιακών Σχηµάτων Β. Περιττές Τιµές και Ανωµαλίες Ενηµέρωσης

Κανονικοποίηση. Άτυπες Οδηγίες. Παράδειγµα. Αξιολόγηση Σχεσιακών Σχηµάτων Β. Περιττές Τιµές και Ανωµαλίες Ενηµέρωσης Αξιολόγηση Σχεσιακών Σχηµάτων Β Κανονικοποίηση Παύλος Εφραιµίδης Βάσεις εδοµένων Κανονικοποίηση 1 Πως µπορούµε να κρίνουµε εάν ένα Σχεσιακό Σχήµα είναι καλό ή αποδοτικό ή αν έχει λάθη; Σε γενικές γραµµές

Διαβάστε περισσότερα

Κανονικές Μορφές. Αποσύνθεση (decomposition)

Κανονικές Μορφές. Αποσύνθεση (decomposition) Σχεδιασµός Σχεσιακών Σχηµάτων Κανονικές Μορφές Γενικές Οδηγίες Η Μέθοδος της Αποσύνθεσης Επιθυµητές Ιδιότητες της Αποσύνθεσης Συνένωση Άνευ Απωλειών ιατήρηση Εξαρτήσεων Αποφυγή Επανάληψης Πληροφορίας 1

Διαβάστε περισσότερα

Συναρτησιακές Εξαρτήσεις

Συναρτησιακές Εξαρτήσεις Βάσεις εδοµένων 2003-2004 Ευαγγελία Πιτουρά 1 Έστω ένα σχήµα σχέσης R(Α 1, Α 2,, Α n ). Aς συµβολίσουµε µε R = {Α 1, Α 2,, Α n } το σύνολο των γνωρισµάτων της R. Με απλά λόγια, µια συναρτησιακή εξάρτηση

Διαβάστε περισσότερα

Κανονικοποίηση Σχεδιασμός Βάσεων Δεδομένων Μαρία Χαλκίδη

Κανονικοποίηση Σχεδιασμός Βάσεων Δεδομένων Μαρία Χαλκίδη Κανονικοποίηση Σχεδιασμός Βάσεων Δεδομένων Μαρία Χαλκίδη 1 Κανονικές Μορφές: Εισαγωγή Στόχος: Δεδομένου ενός σχήματος, ελέγχουμε εάν είναι «καλός» σχεδιασμός ή χρειάζεται περαιτέρω διάσπαση. Ξέρουμε ότι

Διαβάστε περισσότερα

Κανονικοποίηση Σχήµατος

Κανονικοποίηση Σχήµατος Κανονικοποίηση Σχήµατος Ευαγγελία Πιτουρά 1 Λογικός Σχεδιασµός Σχεσιακών Σχηµάτων - Αποσύνθεση(διάσπαση) καθολικού σχήματος Επιθυμητές ιδιότητες -διατήρηση εξαρτήσεων (F + = F + ) - όχι απώλειες στη συνένωση(τομή

Διαβάστε περισσότερα

Lecture 23: Functional Dependencies and Normalization

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) ιδάσκων:

Διαβάστε περισσότερα

Βάσεις Δεδομένων. Ενότητα 5: ΚΑΝΟΝΙΚΟΠΟΙΗΣΗ ΒΑΣΗΣ ΔΕΔΟΜΕΝΩΝ. Πασχαλίδης Δημοσθένης Τμήμα Ιερατικών σπουδών

Βάσεις Δεδομένων. Ενότητα 5: ΚΑΝΟΝΙΚΟΠΟΙΗΣΗ ΒΑΣΗΣ ΔΕΔΟΜΕΝΩΝ. Πασχαλίδης Δημοσθένης Τμήμα Ιερατικών σπουδών Βάσεις Δεδομένων Ενότητα 5: ΚΑΝΟΝΙΚΟΠΟΙΗΣΗ ΒΑΣΗΣ ΔΕΔΟΜΕΝΩΝ Πασχαλίδης Δημοσθένης Τμήμα Ιερατικών σπουδών Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό

Διαβάστε περισσότερα

Διδάσκων: Παναγιώτης Ανδρέου

Διδάσκων: Παναγιώτης Ανδρέου Διάλεξη 21: Κανονικοποίηση και Συναρτησιακές Εξαρτήσεις ΙI Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Εισαγωγή στις έννοιες: Συναρτησιακές Εξαρτήσεις Κανόνες Συμπερασμού για Συναρτησιακές

Διαβάστε περισσότερα

Lecture 21: Functional Dependencies and Normalization

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

Διαβάστε περισσότερα

Σχεδιασμός μιας εφαρμογής ΒΔ: Βήματα. 1. Συλλογή και Ανάλυση Απαιτήσεων(requirement analysis)

Σχεδιασμός μιας εφαρμογής ΒΔ: Βήματα. 1. Συλλογή και Ανάλυση Απαιτήσεων(requirement analysis) Σχεσιακό Μοντέλο Βάσεις εδοµένων 2012-2013 Ευαγγελία Πιτουρά 1 Σχεδιασμός μιας εφαρμογής ΒΔ: Βήματα 1. Συλλογή και Ανάλυση Απαιτήσεων(requirement analysis) Εισαγωγή Τι δεδομένα θα αποθηκευτούν, ποιες εφαρμογές

Διαβάστε περισσότερα

Πανεπιστήμιο Κρήτης Τμήμα Επιστήμης Υπολογιστών. Σχεσιακός Λογισμός

Πανεπιστήμιο Κρήτης Τμήμα Επιστήμης Υπολογιστών. Σχεσιακός Λογισμός Σχεσιακός Λογισμός Γλώσσα βασισμένη στον Κατηγορηματικό Λογισμό 1 ης Τάξης (First Order Predicate Calculus) Οι περισσότερες γλώσσες επερώτησης σχεσιακών βάσεων δεδομένων βασίζονται στον Σχεσιακό Λογισμό

Διαβάστε περισσότερα

και Κανονικοποίηση για Σχεσιακές Βάσεις Δεδομένων Αντζουλάτος Γεράσιμος antzoulatos@upatras.gr Τμήμα Εφαρμογών Πληροφορικής στην Διοίκηση και Οικονομία ΤΕΙ Πατρών - Παράρτημα Αμαλιάδας 29 Νοεμβρίου 2012

Διαβάστε περισσότερα

ΣΧΕΔΙΑΣΜΟΣ ΒΑΣΕΩΝ ΔΕΔΟΜΕΝΩΝ ΚΑΙ ΚΑΝΟΝΙΚΟΠΟΙΗΣΗ. Σχεδιασμός Σχεσιακών ΒΔ και Κανονικοποίηση 1

ΣΧΕΔΙΑΣΜΟΣ ΒΑΣΕΩΝ ΔΕΔΟΜΕΝΩΝ ΚΑΙ ΚΑΝΟΝΙΚΟΠΟΙΗΣΗ. Σχεδιασμός Σχεσιακών ΒΔ και Κανονικοποίηση 1 ΣΧΕΔΙΑΣΜΟΣ ΒΑΣΕΩΝ ΔΕΔΟΜΕΝΩΝ ΚΑΙ ΚΑΝΟΝΙΚΟΠΟΙΗΣΗ Σχεδιασμός Σχεσιακών ΒΔ και Κανονικοποίηση 1 Σύνοψη Σχεσιακός Σχεδιασμός - Στόχοι Κριτήρια / Οδηγίες για ένα καλό Σχεδιασμό Συναρτησιακές Εξαρτήσεις - Οι

Διαβάστε περισσότερα

Διδάσκων: Παναγιώτης Ανδρέου

Διδάσκων: Παναγιώτης Ανδρέου Διάλεξη 20: Κανονικοποίηση και Συναρτησιακές Εξαρτήσεις Ι Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Εισαγωγή στις έννοιες: Εισαγωγή στην Κανονικοποιήση Άτυπες κατευθύνσεις για Σχεδιασμό

Διαβάστε περισσότερα

Κεφάλαιο 8. ΣΧΕ ΙΑΣΜΟΣ ΒΑΣΕΩΝ Ε ΟΜΕΝΩΝ ΚΑΙ ΚΑΝΟΝΙΚΟΠΟΙΗΣΗ (Normalization) Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 4.1

Κεφάλαιο 8. ΣΧΕ ΙΑΣΜΟΣ ΒΑΣΕΩΝ Ε ΟΜΕΝΩΝ ΚΑΙ ΚΑΝΟΝΙΚΟΠΟΙΗΣΗ (Normalization) Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 4.1 Κεφάλαιο 8 ΣΧΕ ΙΑΣΜΟΣ ΒΑΣΕΩΝ Ε ΟΜΕΝΩΝ ΚΑΙ ΚΑΝΟΝΙΚΟΠΟΙΗΣΗ (Normalization) Ι.Β Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση Σελίδα 4.1 Σύνοψη Λογικός Σχεδιασµός Σχεσιακών Βάσεων εδοµένων και Κανονικοποίηση

Διαβάστε περισσότερα

ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ Ι. Ενότητα 10: Εισαγωγικά περί κανονικοποίησης Συναρτησιακές εξαρτήσεις BCNF. Ευαγγελίδης Γεώργιος Τμήμα Εφαρμοσμένης Πληροφορικής

ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ Ι. Ενότητα 10: Εισαγωγικά περί κανονικοποίησης Συναρτησιακές εξαρτήσεις BCNF. Ευαγγελίδης Γεώργιος Τμήμα Εφαρμοσμένης Πληροφορικής Ενότητα 10: Εισαγωγικά περί κανονικοποίησης Συναρτησιακές εξαρτήσεις BCNF Ευαγγελίδης Γεώργιος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό,

Διαβάστε περισσότερα

Σχεσιακό Μοντέλο. Εισαγωγή. Βάσεις εδοµένων : Σχεσιακό Μοντέλο 1

Σχεσιακό Μοντέλο. Εισαγωγή. Βάσεις εδοµένων : Σχεσιακό Μοντέλο 1 Σχεσιακό Μοντέλο Βάσεις εδοµένων 2011-2012 Ευαγγελία Πιτουρά 1 Εισαγωγή O σχεδιασμός μιας βάση δεδομένων κωδικοποιεί κάποιο μέρος του φυσικού κόσμου Ένα μοντέλο δεδομένων είναι ένα σύνολο από έννοιες για

Διαβάστε περισσότερα

Διδάσκων: Παναγιώτης Ανδρέου

Διδάσκων: Παναγιώτης Ανδρέου Διάλεξη 23: Κανονικοποίηση και Συναρτησιακές Εξαρτήσεις ΙV Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Εισαγωγή στις έννοιες: Κανονικές Μορφές (BCNF, Τέταρτη/4NF, Πέμπτη/5NF) Διδάσκων: Παναγιώτης

Διαβάστε περισσότερα

Θέματα ανακεφαλαίωσης

Θέματα ανακεφαλαίωσης Θέματα ανακεφαλαίωσης 13 Ιουνίου 2013 1. Ορίστε την έννοια σχήμα σχέσης και αναλύστε τα στοιχεία του ορισμού σας. Υποθέστε ότι θέλουμε να αποθηκεύσουμε πληροφορίες για τα μέλη ενός πεζοπορικού συλλόγου

Διαβάστε περισσότερα

Lecture 22: Functional Dependencies and Normalization

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) ιδάσκων: Παναγιώτης

Διαβάστε περισσότερα

ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ ασκήσεις και ερωτήσεις

ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ ασκήσεις και ερωτήσεις ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ ασκήσεις και ερωτήσεις 1) Ερωτήσεις Σωστού/Λάθους (ΣΛ) Το πακέτο λογισμικού Excel της Microsoft είναι λογισμικό διαχείρισης ΒΔ (ΣΛ) Το πακέτο λογισμικού Access της Microsoft είναι λογισμικό

Διαβάστε περισσότερα

Αρχεία και Βάσεις Δεδομένων

Αρχεία και Βάσεις Δεδομένων ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Αρχεία και Βάσεις Δεδομένων Διάλεξη 7η: Σχεσιακός Λογισμός Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών Σχεσιακός Λογισμός Γλώσσα βασισμένη στον Κατηγορηματικό

Διαβάστε περισσότερα

Το Σχεσιακό Μοντέλο. Βάσεις Δεδομένων Ευαγγελία Πιτουρά 1

Το Σχεσιακό Μοντέλο. Βάσεις Δεδομένων Ευαγγελία Πιτουρά 1 Το Σχεσιακό Μοντέλο Βάσεις Δεδομένων 2013-2014 Ευαγγελία Πιτουρά 1 Μοντελοποίηση Σχήμα (database schema): η περιγραφή της δομής της πληροφορίας που είναι αποθηκευμένη στη βδ με τη χρήση ενός μοντέλου δεδομένων

Διαβάστε περισσότερα

Το Σχεσιακό Μοντέλο 2

Το Σχεσιακό Μοντέλο 2 Το Σχεσιακό Μοντέλο 2 Περιορισμοί Σχεσιακού Μοντέλου, Βασικός Περιορισμός, Η τιμή null, Παράδειγμα Χρήσης null, Ακεραιότητα Οντότητας, Ακεραιότητα Αναφοράς, Επιχειρηματικός Περιορισμός, Επιβολή Περιορισμών,

Διαβάστε περισσότερα

Βάσεις Δεδομένων Ι Θεωρία Σχεδίασης ΣΒΔ. (Σχεσιακών Βάσεων Δεδομένων) Α' Μέρος. Φώτης Κόκκορας (MSc/PhD) Τμήμα Μηχανικών Πληροφορικής ΤΕ

Βάσεις Δεδομένων Ι Θεωρία Σχεδίασης ΣΒΔ. (Σχεσιακών Βάσεων Δεδομένων) Α' Μέρος. Φώτης Κόκκορας (MSc/PhD) Τμήμα Μηχανικών Πληροφορικής ΤΕ Βάσεις Δεδομένων Ι - 09 Θεωρία Σχεδίασης ΣΒΔ (Σχεσιακών Βάσεων Δεδομένων) Α' Μέρος Φώτης Κόκκορας (MSc/PhD) Τμήμα Μηχανικών Πληροφορικής ΤΕ ΤΕΙ Θεσσαλίας Γιατί χρειάζεται μια "θεωρία" για τη σχεδίαση;

Διαβάστε περισσότερα

Lecture 24: Functional Dependencies and Normalization IV

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

Διαβάστε περισσότερα

Σχεδιασµός µιας Β. Ένας απλός τρόπος αναπαράστασης δεδοµένων: ένας διδιάστατος πίνακας που λέγεται σχέση Γνωρίσµατα

Σχεδιασµός µιας Β. Ένας απλός τρόπος αναπαράστασης δεδοµένων: ένας διδιάστατος πίνακας που λέγεται σχέση Γνωρίσµατα Εισαγωγή Σχεσιακό Μοντέλο Σχεδιασµός µιας Β : Βήµατα Ανάλυση Απαιτήσεων Τι δεδοµένα θα αποθηκευτούν, ποιες εφαρµογές θα κτιστούν πάνω στα δεδοµένα, ποιες λειτουργίες είναι συχνές Εννοιολογικός Σχεδιασµός

Διαβάστε περισσότερα

Ένας απλός τρόπος αναπαράστασης δεδομένων: ένας διδιάστατος πίνακας που λέγεται σχέση Γνωρίσματα

Ένας απλός τρόπος αναπαράστασης δεδομένων: ένας διδιάστατος πίνακας που λέγεται σχέση Γνωρίσματα Εισαγωγή Σχεσιακό Μοντέλο Σχεδιασμός μιας Β : Βήματα Ανάλυση Απαιτήσεων Τι δεδομένα θα αποθηκευτούν, ποιες εφαρμογές θα κτιστούν πάνω στα δεδομένα, ποιες λειτουργίες είναι συχνές Εννοιολογικός Σχεδιασμός

Διαβάστε περισσότερα

Ένας απλός τρόπος αναπαράστασης δεδομένων: ένας διδιάστατος πίνακας που λέγεται σχέση Γνωρίσματα

Ένας απλός τρόπος αναπαράστασης δεδομένων: ένας διδιάστατος πίνακας που λέγεται σχέση Γνωρίσματα Εισαγωγή Σχεσιακό Μοντέλο Σχεδιασμός μιας Β : Βήματα Ανάλυση Απαιτήσεων Τι δεδομένα θα αποθηκευτούν, ποιες εφαρμογές θα κτιστούν πάνω στα δεδομένα, ποιες λειτουργίες είναι συχνές Εννοιολογικός Σχεδιασμός

Διαβάστε περισσότερα

Βάσεις Δεδομένων : Σχεσιακό Μοντέλο 1. Ένας απλός τρόπος αναπαράστασης δεδομένων: ένας διδιάστατος πίνακας που λέγεται σχέση.

Βάσεις Δεδομένων : Σχεσιακό Μοντέλο 1. Ένας απλός τρόπος αναπαράστασης δεδομένων: ένας διδιάστατος πίνακας που λέγεται σχέση. Εισαγωγή Σχεσιακό Μοντέλο Ανάλυση Απαιτήσεων Σχεδιασμός μιας Β : Βήματα Τι δεδομένα θα αποθηκευτούν, ποιες εφαρμογές θα κτιστούν πάνω στα δεδομένα, ποιες λειτουργίες είναι συχνές Εννοιολογικός Σχεδιασμός

Διαβάστε περισσότερα

Σχεσιακό Μοντέλο. Σχεδιασμός Βάσεων Δεδομένων Μάθημα 2 ο Μαρία Χαλκίδη

Σχεσιακό Μοντέλο. Σχεδιασμός Βάσεων Δεδομένων Μάθημα 2 ο Μαρία Χαλκίδη Σχεσιακό Μοντέλο Σχεδιασμός Βάσεων Δεδομένων Μάθημα 2 ο Μαρία Χαλκίδη Εισαγωγή Το σχεσιακό μοντέλο δεδομένων (relational data model) προτάθηκε από τον E. F. Codd το 1970 Aποτελεί ένα μέσο λογικής δόμησης

Διαβάστε περισσότερα

Σχεσιακές Βάσεις Δεδομένων

Σχεσιακές Βάσεις Δεδομένων Σχεσιακές Βάσεις Δεδομένων Μέρος 3ο Κανονικοποίηση Αρχείων Σχεσιακής Βάσης Δεδομένων Ιανουάριος 2006 Καραδήμας Ν. 1 Καλή& Κακή Σχεδίαση Βάσης Δεδομένων Η «κακή» σχεδίαση µπορεί να οδηγήσει σε τουλάχιστον

Διαβάστε περισσότερα

Εισαγωγή στις Βάσεις Δεδομένων (ΒΔ)

Εισαγωγή στις Βάσεις Δεδομένων (ΒΔ) Εισαγωγή στις Βάσεις Δεδομένων (ΒΔ) ΣΧΟΛΗ ΙΚΑΡΩΝ ΣΧΟΛΗ ΙΚΑΡΩΝ ΤΟΜΕΑΣ ΠΛΗΡΟΦΟΡΙΚΗΣ Α. ΑΝΔΡΕΑΤΟΣ Ιούλιος 2011 Βασικές έννοιες Δεδομένα: τυποποιημένα στοιχεία σε προκαθορισμένη μορφή κατάλληλη για περαιτέρω

Διαβάστε περισσότερα

Διαχείριση Δεδομένων

Διαχείριση Δεδομένων Το έργο υλοποιείται στο πλαίσιο του υποέργου 2 με τίτλο «Ανάπτυξη έντυπου εκπαιδευτικού υλικού για τα νέα Προγράμματα Σπουδών» της Πράξης «Ελληνικό Ανοικτό Πανεπιστήμιο» η οποία έχει ενταχθεί στο Επιχειρησιακό

Διαβάστε περισσότερα

Κεφάλαιο 4 Σχεδίαση Βάσεων Δεδομένων

Κεφάλαιο 4 Σχεδίαση Βάσεων Δεδομένων Βάσεις Δεδομένων Επαγγελματικού Λυκείου Κεφάλαιο 4 Σχεδίαση Βάσεων Δεδομένων Εισηγητής Δελησταύρου Κωνσταντίνος Καθηγητής Πληροφορικής ΠΕ20 Μηχανικός Πληροφορικής Τ.Ε. M.Sc. στα Συστήματα Υπολογιστών Περιεχόμενα

Διαβάστε περισσότερα

2. Το Μοντέλο Οντοτήτων- Συσχετίσεων

2. Το Μοντέλο Οντοτήτων- Συσχετίσεων Πανεπιστήμιο Πειραιώς Σχολή Τεχνολογιών Πληροφορικής και Επικοινωνιών Τμήμα Ψηφιακών Συστημάτων 2. Το Μοντέλο Οντοτήτων- Συσχετίσεων Σχεδιασμός Βάσεων Δεδομένων Χρήστος Δουλκερίδης 2017-18 Σχεδίαση Βάσεων

Διαβάστε περισσότερα

Εργαστήριο 5o. Σχέσεις πινάκων Ακεραιότητα αναφορών. Ευάγγελος Γ. Καραπιδάκης

Εργαστήριο 5o. Σχέσεις πινάκων Ακεραιότητα αναφορών. Ευάγγελος Γ. Καραπιδάκης Εργαστήριο 5o Σχέσεις πινάκων Ακεραιότητα αναφορών Σχέσεις Συσχετίσεις - Relations Οι συσχετίσεις (σχέσεις) μεταξύ των πινάκων ορίζουν τον τρόπο με τον οποίο συνδέονται μεταξύ τους οι πίνακες. Ορίζονται

Διαβάστε περισσότερα

Σχεδιασμός μιας Β : Βήματα

Σχεδιασμός μιας Β : Βήματα Σχεσιακό Μοντέλο 1 Εισαγωγή Ανάλυση Απαιτήσεων Σχεδιασμός μιας Β : Βήματα Τι δεδομένα θα αποθηκευτούν, ποιες εφαρμογές θα κτιστούν πάνω στα δεδομένα, ποιες λειτουργίες είναι συχνές Εννοιολογικός Σχεδιασμός

Διαβάστε περισσότερα

Το Σχεσιακό Μοντέλο. Βάσεις Δεδομένων 2014-2015. Ευαγγελία Πιτουρά 1

Το Σχεσιακό Μοντέλο. Βάσεις Δεδομένων 2014-2015. Ευαγγελία Πιτουρά 1 Το Σχεσιακό Μοντέλο Ευαγγελία Πιτουρά 1 Μοντελοποίηση Σχήμα (database schema): η περιγραφή της δομής της πληροφορίας που είναι αποθηκευμένη στη βδ με τη χρήση ενός μοντέλου δεδομένων Μοντέλο Δεδομένων:

Διαβάστε περισσότερα

Βάσεις Δεδομένων Ενότητα 7

Βάσεις Δεδομένων Ενότητα 7 ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Ενότητα 7: Συναρτησιακές Εξαρτήσεις και Κανονικοποίηση Ιωάννης Μανωλόπουλος, Καθηγητής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται

Διαβάστε περισσότερα

Lecture 21: Functional Dependencies and Normalization

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 Πρωτοβάθμια Λογική Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων ) / 60

Περιεχόμενα 1 Πρωτοβάθμια Λογική Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων ) / 60 Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων

Διαβάστε περισσότερα