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

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

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

Transcript

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

2 Σύνοψη Ύλης Σχεσιακό μοντέλο Τυπικές γλώσσες ερωτημάτων Εμπορικές γλώσσες ερωτημάτων (SQL) Περιορισμοί ακεραιότητας Πεδίο Περιορισμού ακεραιότητας, ξένα κλειδιά Συναρτησιακές εξαρτήσεις Συναρτησιακές Εξαρτήσεις Σχεδιασμός ΒΔ και κανονικοποίηση

3 Σύνοψη Ύλης- αναλυτικά Σχεδιασμός ΒΔ και κανονικοποίηση Παγίδες κακού σχεδιασμού Αποσύνθεση Κανονικές μορφές (normal forms)

4 Στόχος Σχεδιασμός καλών πινάκων Ειδικός στόχος 1: να οριστεί τι σημαίνει καλός Ειδικός στόχος 2: να διορθωθούν οι κακοί πίνακες Συνοπτικά: θέλουμε πίνακες που τα γνωρίσματά τους να εξαρτώνται από το πρωτεύον κλειδί, ολόκληρο το κλειδί, και τίποτα άλλο εκτός από το κλειδί Ας δούμε γιατί, και πώς:

5 Παγίδες Παίρνει1 (ΑΜ, κωδ, βαθμός, όνομα, διεύθυνση) ΑΜ Κωδ Βαθμός όνομα διεύθυνση 123 cs331 A Φωτίου Ιωνίας

6 Παγίδες κακός πίνακας Γιατί; γιατί: ΑΜ διεύθυνση, όνομα ΑΜ Κωδ βαθμός όνομα διεύθυνση 123 cs331 A Φωτίου Ιωνίας 123 cs351 B Φωτίου Ιωνίας 123 cs211 A Φωτίου Ιωνίας

7 Παγίδες Πλεονασμός (επανάληψη πληροφορίας) Χωρητικότητα (ασυνέπειες) Ανωμαλίες κατά την εισαγωγή/διαγραφή:

8 Παγίδες Ανωμαλίες κατά την εισαγωγή: Αλεξίου γράφεται στο τμήμα αλλά δεν παίρνει κανένα μάθημα δεν υπάρχει μέρος για την αποθήκευση της διεύθυνσής του! ΑΜ Κωδ βαθμός όνομα διεύθυνση 123 cs331a Φωτίου Ιωνίας 234 null null Αλεξίου Θράκης

9 Παγίδες Ανωμαλίες διαγραφής: Με τη διαγραφή του τελευταίου αρχείου για τον Φωτίου (χάνουμε τη διεύθυνσή του!) ΑΜ Κωδ βαθμός όνομα διεύθυνση 123 cs331 A Φωτίου Ιωνίας 123 cs351 B Φωτίου Ιωνίας 123 cs211 A Φωτίου Ιωνίας

10 Λύση: αποσύνθεση Διάσπαση του πίνακα που προκαλεί το πρόβλημα ΑΜ Κωδ βαθμός όνομα διεύθυνση 123 cs331 A Φωτίου Ιωνίας 123 cs351 B Φωτίου Ιωνίας 123 cs211 A Φωτίου Ιωνίας??

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

12 Αποσύνθεση Υπάρχουν και κακές αποσυνθέσεις Θέλουμε να: Είναι άνευ απωλειών και Διατηρούν τις εξαρτήσεις

13 Αποσύνθεση με Απώλειες R1(ΑΜ, βαθμός, όνομα, διεύθυνση) R2(Κωδ, βαθμός) AM βαθμός όνομα διεύθυνση 123 A Φωτίου Ιωνίας 123 B Φωτίου Ιωνίας 234 A Αλεξίου Θράκης Κωδ cs331 A cs351 B cs211 A βαθμός ΑΜ Κωδ βαθμός όνομα διεύθυνση 123 cs331 A Φωτίου Ιωνίας 123 cs351 B Φωτίου Ιωνίας 234 cs211 A Αλεξίου Θράκης ΑΜ όνομα, διεύθυνση ΑΜ, Κωδ βαθμός

14 Αποσύνθεση με Απώλειες Δεν μπορούμε να πάρουμε το αρχικό στιγμιότυπο με μία πράξη συνένωσης (join) AM βαθμός όνομα διεύθυνση 123 A Φωτίου Ιωνίας 123 B Φωτίου Ιωνίας 234 A Αλεξίου Θράκης Κωδ cs331 A cs351 B cs211 A βαθμός ΑΜ Κωδ βαθμός όνομα διεύθυνση 123 cs331 A Φωτίου Ιωνίας 123 cs351 B Φωτίου Ιωνίας 234 cs211 A Αλεξίου Θράκης ΑΜ όνομα, διεύθυνση ΑΜ, Κωδ βαθμός

15 Αποσύνθεση με Απώλειες Αποσύνθεση της R = (A, B) σε R 1 = (A), R 2 = (B) A B α α β A α β B 1 2 A (r) B (r) A (r) B (r) A B α α β β

16 Αποσυνθέσεις Αποσύνθεση που δε διατηρεί τις εξαρτήσεις Κωδ Πόλη ήπειρος 123 Λονδίνο E 125 Παρίσι E 234 Πεκίνο A Κωδ Πόλη 123 Λονδίνο 125 Παρίσι 234 Πεκίνο Κωδ ήπειρος 123 E 125 E 234 A Κωδ πόλη, ήπειρος κωδ πόλη πόλη ήπειρος κωδ ήπειρος

17 Αποσυνθέσεις Είναι άνευ απωλειών; Κωδ Πόλη ήπειρος 123 Λονδίνο E 125 Παρίσι E 234 Πεκίνο A Κωδ Πόλη 123 Λονδίνο 125 Παρίσι 234 Πεκίνο Κωδ ήπειρος 123 E 125 E 234 A Κωδ πόλη, ήπειρος κωδ πόλη πόλη ήπειρος κωδ ήπειρος

18 Αποσυνθέσεις άνευ απωλειών Ορισμός: Θεωρείστε το σχήμα R, με Σ.Ε. F Οι R1, R2 είναι αποσυνθέσεις άνευ απωλειών συνένωσης της R αν έχουμε πάντα: r 1 > < r2 = r Υπάρχει πιο εύκολο κριτήριο;

19 Αποσυνθέσεις άνευ απωλειών Θεώρημα: Αποσύνθεση άνευ απωλειών συνένωσης αν το γνώρισμα συνένωσης είναι υπερκλειδί σε έναν τουλάχιστον από τους νέους πίνακες Τυπικά: R1 R2 R1 ή R1 R2 R2

20 Αποσυνθέσεις άνευ απωλειών Παράδειγμα: R1 ΑΜ Κωδ βαθμός 123 cs331 A 123 cs351 B 234 cs211 A ΑΜ, Κωδ βαθμός R2 AM όνομα διεύθυνση 123 Φωτίου Ιωνίας 234 Αλεξίου Θράκης ΑΜ όνομα, διεύθυνση ΑΜ Κωδ βαθμός όνομα διεύθυνση 123 cs331 A Φωτίου Ιωνίας 123 cs351 B Φωτίου Ιωνίας 234 cs211 A ΑλεξίουΘράκης ΑΜ όνομα, διεύθυνση ΑΜ, κωδ βαθμός

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

22 Αποσύνθεση Διατηρ. Εξαρτ. Άτυπα δεν θέλουμε οι αρχικές Σ.Ε. να εκτείνονται σε 2 πίνακες. Πχ. Κωδ Πόλη ήπειρος 123 Λονδίνο E 125 Παρίσι E 234 Πεκίνο A Κωδ Πόλη 123 Λονδίνο 125 Παρίσι 234 Πεκίνο Κωδ ήπειρος 123 E 125 E 234 A Κωδ πόλη, ήπειρος πόλη ήπειρος κωδ πόλη κωδ ήπειρος

23 Αποσύνθεση Διατηρ. Εξαρτ. Αποσύνθεση που διατηρεί τις εξαρτήσεις Κωδ Πόλη ήπειρος 123 Λονδίνο E 125 Παρίσι E 234 Πεκίνο A Κωδ Πόλη 123 Λονδίνο 125 Παρίσι 234 Πεκίνο Κωδ πόλη, ήπειρος Πόλη ήπειρος Κωδ πόλη πόλη ήπειρος (όμως: Κωδ ήπειρος?)

24 Αποσύνθεση Διατηρ. Εξαρτ. Άτυπα: δεν θέλουμε οι αρχικές Σ.Ε. να εκτείνονται σε δύο πίνακες Συγκεκριμένα: οι Σ.Ε. κανονικού καλύμματος Έστω F i το σύνολο των Σ.Ε. F + που περιέχουν μόνο γνωρίσματα στην R i. Ιδανικά η αποσύνθεση θα έπρεπε να διατηρεί την εξάρτηση, δηλ., (F 1 F 2 F n ) + = F + Διαφορετικά, ο έλεγχος των ενημερώσεων για παραβίαση των Σ.Ε. θα απαιτούσε υπολογιστικές συνενώσεις μεγάλο κόστος

25 Αποσύνθεση Διατηρ. Εξαρτ. Γιατί είναι καλό να διατηρήσουμε τις Σ.Ε.; Κωδ Πόλη 123 Λονδίνο 125 Παρίσι 234 Πεκίνο Κωδ ήπειρος 123 E 125 E 234 A Κωδ Πόλη 123 Λονδίνο 125 Παρίσι 234 Πεκίνο Πόλη Λονδίνο E Παρίσι E Πεκίνο ήπειρος A Κωδ πόλη Κωδ ήπειρος Κωδ πόλη Πόλη ήπειρος (πόλη ήπειρος: χάνεται )

26 Αποσύνθεση Διατηρ. Εξαρτ. A: πχ., καταγραφή ότι το Πεκίνο είναι στην ήπειρο A Κωδ Πόλη 123 Λονδίνο 125 Παρίσι 234 Πεκίνο Κωδ ήπειρος 123 E 125 E 234 A Κωδ Πόλη 123 Λονδίνο 125 Παρίσι 234 Πεκίνο Πόλη Λονδίνο E Παρίσι E Πεκίνο ήπειρος A Κωδ πόλη Κωδ ήπειρος Κωδ πόλη Πόλη ήπειρος (πόλη ήπειρος: χάνεται )

27 Αποσύνθεση Διατηρ. Εξαρτ. Για να ελέγξουμε αν μια εξάρτηση α β διατηρείται σε μια αποσύνθεση της σχέσης R σε R 1, R 2,, R n κάνουμε το ακόλουθο test (εφαρμόζοντας κλειστότητα γνωρίσματος στο F) αποτέλεσμα = α while (υπάρχουν αλλαγές στο αποτέλεσμα) do for each R i στην αποσύνθεση t = (αποτέλεσμα R i ) + R i αποτέλεσμα = αποτέλεσμα t Αν το αποτέλεσμα περιέχει όλα τα γνωρίσματα στο β, τότε η Σ.Ε α βδιατηρείται

28 Αποσύνθεση Διατηρ. Εξαρτ. Κάνουμε το test σεόλεςτιςεξαρτήσειςστοf για να ελέγξουμε αν η αποσύνθεση διατηρεί τις εξαρτήσεις Το test απαιτεί πολυωνυμικό χρόνο Ο υπολογισμός του F + και (F 1 F 2 F n ) + απαιτεί εκθετικό χρόνο

29 Αποσύνθεση - Συμπεράσματα Η αποσύνθεση πρέπει να είναι άνευ απωλειών γνώρισμα συνένωσης υπερκλειδί Όποτε είναι δυνατό, πρέπει να διατηρούνται οι εξαρτήσεις (σε κάποιες περιπτώσεις αυτό ίσως να είναι ανέφικτο)

30 Κανονικοποίηση με χρήση Σ.Ε. Κατά την αποσύνθεση ενός σχεσιακού σχήματος R με ένα σύνολο Σ.Ε. F σε R 1, R 2,, R n θέλουμε: Αποσύνθεση άνευ απωλειών συνένωσης: διαφορετικά απώλεια πληροφορίας Έλλειψη πλεονασμού: οι σχέσεις R i ιδανικά θα πρέπει να είναι είτε σε Boyce-Codd Normal Form (BCNF) ή σε Τρίτη Κανονική Μορφή (3NF) Διατήρηση Εξαρτήσεων: Έστω F i το σύνολο των εξαρτήσεων στην F + που περιέχει μόνο τα γνωρίματα της R i. Ιδανικά η αποσύνθεση θα πρέπει να διατηρεί τις εξαρτήσεις, πχ. (F 1 F 2 F n ) + = F + Διαφορετικά, ο έλεγχος των ενημερώσεων για παραβίαση των Σ.Ε. θα απαιτούσε υπολογιστικές συνενώσεις μεγάλο κόστος

31 Κανονικοποίηση με χρήση Σ.Ε. - Παράδειγμα R = (A, B, C) F = {A B, B C) R 1 = (A, B), R 2 = (B, C) Αποσύνθεση άνευ απωλειών συνένωσης: R 1 R 2 = {B} και B BC Διατήρηση Εξαρτήσεων R 1 = (A, B), R 2 = (A, C) Αποσύνθεση άνευ απωλειών συνένωσης: R 1 R 2 = {A} και A AB Μη διατήρηση εξαρτήσεων (δεν μπορεί να ελεγχθεί το B C χωρίς να υπολογιστεί το R 1 R 2 )

32 Επισκόπηση - αναλυτικά Σχεδιασμός ΒΔ και Κανονικοποίηση Παγίδες κακού σχεδιασμού Αποσύνθεση ( πώς θα λύσουμε το πρόβλημα) Κανονικές Μορφές ( πώς θα εντοπίσουμε το πρόβλημα) BCNF, 3NF, (1NF, 2NF)

33 Κανονικές Μορφές -BCNF Είδαμε πώς θα διορθώσουμε κακά σχήματα - Όμως τι είναι καλό σχήμα; Απάντηση: καλό, αν υπακούει μια κανονική μορφή, Πχ., ένα σύνολο κανόνων Τυπικά: Boyce-Codd Normal Form (BCNF)

34 Κανονικές Μορφές -BCNF Ορισμός: το σχεσιακό σχήμα R είναι σε BCNF ως προς το F, αν άτυπα: τα πάντα εξαρτώνται από το πλήρες κλειδί, και τίποτα άλλο εκτός από αυτό Σχεδόν-τυπικά: κάθε προσδιοριστής (του καλύμματος) είναι ένα υποψήφιο κλειδί

35 Κανονικές Μορφές -BCNF Παράδειγμα και αντι-παράδειγμα: AM Όνομα διεύθυνση 123 Φωτίου Ιωνίας 123 Φωτίου Ιωνίας 234 Αλεξίου Θράκης ΑΜ όνομα, διεύθυνση ΑΜ Κωδ βαθμός όνομα διεύθυνση 123 cs331 A Φωτίου Ιωνίας 123 cs351 B Φωτίου Ιωνίας 234 cs211 A Αλεξίου Θράκης ΑΜ όνομα, διεύθυνση ΑΜ, κωδ βαθμός

36 Κανονικές Μορφές -BCNF Τυπικά: για κάθε Σ.Ε. A Β στο F+ A Β είναι τετριμμένη (το Α είναι ένα υπερσύνολο του Β) ή Το Α είναι υπερκλειδί (ή και τα δύο)

37 Κανονικές Μορφές -BCNF Θεώρημα: δεδομένου ενός σχήματος R και ενός συνόλου Σ.Ε. F, μπορούμε πάντα να το αποσυνθέσουμε σε σχήματα R1, Rn, έτσι ώστε R1, Rn να είναι σε BCNF και Η αποσύνθεση να είναι άνευ απωλειών ( όμως, κάποιες αποσυνθέσεις μπορεί να απωλέσουν τις εξαρτήσεις)

38 BCNF Αποσύνθεση Πώς?.ουσιαστικά, διαχωρίζοντας τις Σ.Ε. του καλύμματος Πχ. ΠΑΙΡΝΕΙ1(ΑΜ, κωδ, βαθμός, όνομα, διεύθυνση) ΑΜ όνομα, διεύθυνση ΑΜ, κωδ βαθμός

39 Κανονικές Μορφές -BCNF Πχ. ΠΑΙΡΝΕΙ1(ΑΜ, κωδ, βαθμός, όνομα, διεύθυνση) ΑΜ όνομα, διεύθυνση ΑΜ, κωδ βαθμός βαθμός ΑΜ κωδ όνομα διεύθυνση

40 Κανονικές Μορφές -BCNF ΑΜ κωδ βαθμός 123 cs331 A 123 cs351 B 234 cs211 A ΑΜ, κωδ βαθμός AM όνομα διεύθυνση 123 Φωτίου Ιωνίας 123 Φωτίου Ιωνίας 234 Αλεξίου Θράκης ΑΜ όνομα, διεύθυνση ΑΜ κωδ βαθμός όνομα διεύθυνση 123 cs331a Φωτίου Ιωνίας 123 cs351b Φωτίου Ιωνίας 234 cs211a Αλεξίου Θράκης ΑΜ όνομα, διεύθυνση ΑΜ, κωδ βαθμός

41 Κανονικές Μορφές -BCNF σχηματικά: θέλουμε το σχήμα ενός αστεριού βαθμός ΑΜ κωδ όνομα διεύθυνση :δεν είναι σε BCNF

42 Κανονικές Μορφές -BCNF σχηματικά: θέλουμε το σχήμα ενός αστεριού A C B ή D E F G H

43 Κανονικές Μορφές -BCNF Ή να μοιάζει με αστέρι: (πχ. 2 υποψήφια κλειδιά): ΦΟΙΤΗΤΗΣ(ΑΜ, αριθμός διευθ., όνομα, διεύθυνση) όνομα όνομα ΑΜ ΑΜ = Αρ.Δ. διεύθυνση Αρ.Δ. διεύθυνση

44 Κανονικές Μορφές -BCNF Αλλά όχι: B F A ή D G D E C H

45 BCNF Αποσύνθεση αποτέλεσμα := {R}; done := false; υπολόγισε F + ; while (not done) do if (υπάρχει ένα σχήμα R i στο αποτέλεσμα που δεν είναι σε BCNF) then begin έστω α β μη τετριμμένη συναρτησιακή εξάρτηση που ισχύει στην R i έτσι ώστε α R i δεν είναι στο F +, και α β = ; αποτέλεσμα := (αποτέλεσμα R i ) (R i β) (α, β ); end else done := true; Σημ: κάθε R i είναι σε BCNF, και η αποσύνθεση είναι άνευ απωλειών συνένωσης

46 Κανονικές Μορφές -3NF Θεωρείστε την κλασική περίπτωση: ΦΚΜ (Φοιτητής, Καθηγητής, Μάθημα) Κ Μ Φ, Μ Κ Είναι σε BCNF? Φ Μ Κ

47 Κανονικές Μορφές -3NF ΦΚΜ (Φοιτητής, Καθηγητής, Μάθημα) Κ Μ Φ, Μ Κ Πώς θα το αποσυνθέσουμε σε BCNF? Φ Μ Κ

48 Κανονικές Μορφές -3NF ΦΚΜ (Φοιτητής, Καθηγητής, Μάθημα) Κ Μ Φ, Μ Κ 1) R1(Κ,Μ) R2(Φ,Μ) (BCNF; - άνευ απωλειών; - διατ. εξαρτ.; ) 2) R1(Κ,Μ) R2(Φ,Κ) (BCNF; - άνευ απωλειών; - διατ. εξαρτ.; )

49 Κανονικές Μορφές -3NF ΦΚΜ (Φοιτητής, Καθηγητής, Μάθημα) Κ Μ Φ, Μ Κ 1) R1(Κ,Μ) R2(Φ,Μ) (BCNF; Ν+Ν άνευ απωλειών; Ο Διατ. Εξαρτ.; Ο) 2) R1(Κ,Μ) R2(Φ,Κ) (BCNF; Ν+Ν - άνευ απωλειών; Ν - Διατ. Εξαρτ.; Ο )

50 Κανονικές Μορφές -3NF ΦΚΜ (Φοιτητής, Καθηγητής, Μάθημα) Κ Μ Φ, Μ Κ Σε αυτή την περίπτωση: αδύνατο να έχουμε και τα δύο BCNF και Διατήρηση εξαρτήσεων Ας υποδεχτούμε την 3NF ( μια ασθενέστερη κανονική μορφή)!

51 Κανονικές Μορφές -3NF ΦΚΜ (Φοιτητής, Καθηγητής, Μάθημα) Κ Μ Φ, Μ Κ Φ Μ Κ άτυπα, η 3NF επιτρέπει το κόκκινο βέλος στο κανονικό κάλυμμα

52 Κανονικές Μορφές -3NF ΦΚΜ (Φοιτητής, Καθηγητής, Μάθημα) Κ Μ Φ Μ Φ, Μ Κ Κ Τυπικά, ένα σχεσιακό σχήμα R με Σ.Ε. F είναι σε 3NF αν: Για κάθε a b στο F+: Είναι τετριμμένη ή Το a είναι υπερκλειδί ή Κάθε γνώρισμα b-a: είναι μέρος υποψήφιου κλειδιού

53 Κανονικές Μορφές -3NF R = (J, K, L) F = {JK L, L K} δύο υποψήφια κλειδιά = JK και JL Το R δεν είναι σε BCNF Οποιαδήποτε αποσύνθεση του R θα αποτύγχανε να διατηρήσει JK L Η BCNF αποσύνθεση έχει (JL) και (LK) Ο έλεγχος για το JK L απαιτεί συνένωση Το R είναι σε 3NF JK L το JK είναι υπερκλειδί L K το K περιέχεται σε ένα υποψήφιο κλειδί Υπάρχει κάποιος πλεονασμός σε αυτό το σχήμα

54 Κανονικές Μορφές -3NF ΕΛΕΓΧΟΣ ΓΙΑ 3NF Βελτιστοποίηση: Χρειάζεται να ελέγξουμε μόνο τις Σ.Ε. στο F, δε χρειάζεται να ελέγξουμε όλες τις Σ.Ε. στο F + Χρησιμοποιούμε το γνώρισμα κλειστότητας για να ελέγξουμε, για κάθε εξάρτηση α β, αν το α είναι υπερκλειδί Αν το α δεν είναι υπερκλειδί, πρέπει να επιβεβαιώσουμε αν κάθε γνώρισμα στο β περιέχεται σε ένα υποψήφιο κλειδί για το R Ο έλεγχος αυτός είναι πιο ακριβός καθώς χρειάζεται να βρούμε τα υποψήφια κλειδιά Ο έλεγχος για 3NF είναι NP-hard Το ενδιαφέρον είναι πως η αποσύνθεση σε 3NF (περιγράφηκε συνοπτικά) μπορεί να συντελεστεί σε πολυωνυμικό χρόνο

55 Οι εξαρτήσεις διατηρούνται με τη δημιουργία ακριβώς ενός σχήματος για κάθε δεδομένη εξάρτηση Εγγυάται μια αποσύνθεση άνευ απωλειών συνένωσης έχοντας τουλάχιστον ένα σχήμα που περιέχει ένα υποψήφιο κλειδί για το σχήμα που διασπάται Αποσύνθεση σε 3NF έστω F c το κανονικό κάλυμμα για το F; i := 0; for each συναρτησιακή εξάρτηση α β στο F c do if κανένα από τα σχήματα R j, 1 j i δεν περιέχει τα α β then begin i := i + 1; R i := α β end if κανένα από τα σχήματα R j, 1 j i δεν περιέχει ένα υποψήφιο κλειδί για το R then begin end return (R 1, R 2,..., R i ) i := i + 1; R i := οποιδήποτε υποψήφιο κλειδί για το R;

56 Κανονικές Μορφές -3NF Πώς θα μετατρέψουμε ένα σχήμα σε 3NF; Εν συντομία.για κάθε Σ.Ε. στο κάλυμμα, τοποθέτησέ τηνσεένανπίνακα

57 Κανονικές Μορφές - 3NF vs BCNF Αν το R είναι σε BCNF, είναι πάντα σε 3NF (αλλά όχι το αντίστροφο) Πρακτικά, πρέπει να στοχεύουμε σε BCNF, συνένωση άνευ απωλειών και διατήρηση εξαρτήσεων Αν αυτό είναι αδύνατο, μπορούμε να δεχτούμε 3NF, επιμένονταςόμωςσεσυνένωσηάνευ απωλειών και διατήρηση εξαρτήσεων Η 3NF παρουσιάζει προβλήματα με τις μεταβατικές εξαρτήσεις

58 3NF vs BCNF (συνέχεια) Παράδειγμα προβλημάτων εξαιτίας του πλεονασμού της 3NF R = (J, K, L) F = {JK L, L K} J j 1 L l 1 K k 1 j 2 j 3 null l 1 l 1 l 2 k 1 k 1 k 2 Ένα σχήμα που είναι σε 3NF αλλά όχι σε BCNF έχει τα εξής προβλήματα: Επανάληψη πληροφορίας (πχ. ησυσχέτισηl 1, k 1 ) Απαιτεί τη χρήση null τιμών (πχ. για την αναπαράσταση της συσχέτισης l 2, k 2 όπου δεν υπάρχει αντίστοιχη τιμή για το J).

59 Κανονικές Μορφές - περισσότερα Γιατί 3 NF; Τι είναι η 2NF; Η 1NF; 1NF: τα γνωρίσματα είναι ατομικά (δηλ. δεν υπάρχουν ομαδικές τιμές γνωρισμάτων a.k.a. επαναλαμβανόμενες ομάδες ) 1ΝF: όχι σχέσεις μέσα σε σχέσεις ή σχέσεις ως γνωρίσματα πλειάδων AFM όνομα εξαρτώμενοι 123 Ράσης Πέτρος Μαρία Γιάννης 234 Δήμου Άννα Μιχάλης Όχι 1NF

60 Κανονικές Μορφές - περισσότερα 2NF: 1NF και γνωρίσματα που δεν είναι κλειδιά. Πλήρως εξαρτώμενα από το κλειδί : αν κάθε μη πρωτεύον γνώρισμα είναι πλήρως συναρτησιακά εξαρτώμενο από το πρωτεύον κλειδί Αντι-παράδειγμα: ΠΑΙΡΝΕΙ1(ΑΜ, κωδ, βαθμός, όνομα, διεύθυνση) ΑΜ όνομα, διεύθυνση ΑΜ, κωδ βαθμός βαθμός ΑΜ κωδ όνομα διεύθυνση

61 Κανονικές Μορφές - περισσότερα 3NF: 2NF χωρίς μεταβατικές εξαρτήσεις : 2NF και κανένα μη πρωτεύον γνώρισμα δεν εξαρτάται μεταβατικά από το πρωτεύον κλειδί Αντι-παράδειγμα: A D B σε 2NF, αλλά όχι σε 3NF C

62 Κανονικές Μορφές - περισσότερα 4NF, πλειότιμες εξαρτήσεις: στη συνέχεια Πρακτικά, τα διαγράμματα E-R συνήθως οδηγούν σε πίνακες που είναι σε BCNF

63 Σύνοψη συμπεράσματα Σχεδιασμός ΒΔ και Κανονικοποίηση Παγίδες κακού σχεδιασμού Αποσυνθέσεις (άνευ απωλειών, διατήρηση εξαρτήσεων) Κανονικές μορφές (BCNF ή 3NF) τα πάντα πρέπει να εξαρτώνται από το κλειδί, ολόκληρο το κλειδί, και τίποτα άλλο εκτός από το κλειδί

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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, ΕλληνικήΈκδοση ίαυλος ΠεριεχόµεναΚεφαλαίου

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

antzoulatos@upatras.gr

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Σχεσιακό Μοντέλο Περιορισμοί Μετατροπή ER σε Σχεσιακό Παράδειγμα.. Εργαστήριο Βάσεων Δεδομένων. Relational Model

Σχεσιακό Μοντέλο Περιορισμοί Μετατροπή ER σε Σχεσιακό Παράδειγμα.. Εργαστήριο Βάσεων Δεδομένων. Relational Model .. Εργαστήριο Βάσεων Δεδομένων Relational Model . Σχεσιακό Μοντέλο (Relational Model) Το σχεσιακό μοντέλο παρουσιάζει μια βάση ως συλλογή από σχέσεις Μια σχέση είναι ένας πίνακας με διακριτό όνομα Κάθε

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2 ο Σύνολο Ασκήσεων. Βάσεις Δεδομένων 2013-2014 Ευαγγελία Πιτουρά 1

2 ο Σύνολο Ασκήσεων. Βάσεις Δεδομένων 2013-2014 Ευαγγελία Πιτουρά 1 2 ο Σύνολο Ασκήσεων Οι βαθμοί θα ανακοινωθούν αύριο μαζί με τους βαθμούς της προγραμματιστικής άσκησης Τα αστεράκια δείχνουν τον εκτιμώμενο βαθμό δυσκολίας (*) εύκολο (**) μέτριο (***) δύσκολο Βάσεις Δεδομένων

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

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

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

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

Εργαστήριο Βάσεων Δεδομένων. Relational Model Σχεσιακό Μοντέλο

Εργαστήριο Βάσεων Δεδομένων. Relational Model Σχεσιακό Μοντέλο Εργαστήριο Βάσεων Δεδομένων Relational Model Σχεσιακό Μοντέλο Σχεσιακό μοντέλο (Relational Model) Το σχεσιακό μοντέλο παρουσιάζει μια βάση ως συλλογή από σχέσεις. Μια σχέση είναι ένας πίνακας με διακριτό

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Σχεδιασµός µιας Β. Εισαγωγή. Μετατροπή σε σχεσιακό -> είσοδο σε ένα Σ Β. Εισαγωγή. Ιδέες Ο/Σ Σχέσεις Σχεσιακό Σ Β

Σχεδιασµός µιας Β. Εισαγωγή. Μετατροπή σε σχεσιακό -> είσοδο σε ένα Σ Β. Εισαγωγή. Ιδέες Ο/Σ Σχέσεις Σχεσιακό Σ Β Εισαγωγή Σχεδιασµός µιας Β ανάλυση ποιας πληροφορίας και της σχέσης ανάµεσα στα στοιχεία της περιγραφή της δοµής - σχήµα σε διάφορους συµβολισµούς ή µοντέλα Μοντέλο Οντοτήτων - Συσχετίσεων γραφικό µοντέλο

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

ΣΧΕ ΙΑΣΜΟΣ ΒΑΣΕΩΝ Ε ΟΜΕΝΩΝ ΚΑΙ ΚΑΝΟΝΙΚΟΠΟΙΗΣΗ

ΣΧΕ ΙΑΣΜΟΣ ΒΑΣΕΩΝ Ε ΟΜΕΝΩΝ ΚΑΙ ΚΑΝΟΝΙΚΟΠΟΙΗΣΗ ΣΧΕ ΙΑΣΜΟΣ ΒΑΣΕΩΝ Ε ΟΜΕΝΩΝ ΚΑΙ ΚΑΝΟΝΙΚΟΠΟΙΗΣΗ Β µέρος Σχεδιασµός Σχεσιακών Β και Κανονικοποίηση 1 Σκοπός: Να βρούµε θεωρία ώστε Να αποφασίζουµε αν µια σχέση R είναι σε «καλή» µορφή Σε περίπτωση που η R

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Μετατροπή Σχήματος Ο/Σ σεσχεσιακό

Μετατροπή Σχήματος Ο/Σ σεσχεσιακό Μετατροπή Σχήματος Ο/Σ σε Σχεσιακό Προσοχή είτε αυτά που ακολουθούν ως παράδειγμα Μην τα ακολουθείτε τυφλά ως «μαγική συνταγή» 1 2 Οντότητες Για κάθε τύπο οντοτήτων και για κάθε τύπο συσχετίσεων δημιουργούμε

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

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

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

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

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

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

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

Βάσεις Δεδομένων. Ενότητα 6: Κανονικοποίηση. Αθανάσιος Σπυριδάκος Τμήμα Διοίκησης Επιχειρήσεων

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

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

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

Μοντέλο Οντοτήτων-Συσχετίσεων Εισαγωγή Εισαγωγή Σχεδιασµός µιας Β ανάλυση ποιας πληροφορίας και της σχέσης ανάµεσα στα στοιχεία της περιγραφή της δοµής - σχήµα σε διάφορους συµβολισµούς ή µοντέλα Μοντέλο Οντοτήτων - Συσχετίσεων γραφικό

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Μετατροπή Σχήματος Ο/Σ σεσχεσιακό

Μετατροπή Σχήματος Ο/Σ σεσχεσιακό Μετατροπή Σχήματος Ο/Σ σε Σχεσιακό Προσοχή είτε αυτά που ακολουθούν ως παράδειγμα Μην τα ακολουθείτε τυφλά ως «μαγική συνταγή» 1 2 Οντότητες Για κάθε τύπο οντοτήτων και για κάθε τύπο συσχετίσεων δημιουργούμε

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

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

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

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

Σχεσιακό Μοντέλο Δεδομένων

Σχεσιακό Μοντέλο Δεδομένων Σχεσιακό Μοντέλο Δεδομένων Παύλος Εφραιμίδης Βάσεις Δεδομένων Σχεσιακό Μοντέλο Δεδομένων 1 Μοντέλα Δεδομένων Μοντέλα Δεδομένων Σχεσιακό Ιεραρχικό Δικτυακό Tο κυρίαρχο μοντέλο δεδομένων στις σύγχρονες βάσεις

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

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

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

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

Άσκηση 2 - Κεχρής, Κεφάλαιο 8: Κανονικοποίηση

Άσκηση 2 - Κεχρής, Κεφάλαιο 8: Κανονικοποίηση Άσκηση 2 - Κεχρής, Κεφάλαιο 8: Κανονικοποίηση Εκφώνηση: Δίνεται ο παρακάτω πίνακας ΚΑΤΟΙΚΙΕΣ_ΑΓΟΡΑΣΤΩΝ τον οποίο χρησιμοποιεί μια κατασκευαστική εταιρία η οποία δραστηριοποιείται στην κατασκευή κατοικιών

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

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

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

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

Μετατροπή Σχήματος Ο/Σ σε Σχεσιακό

Μετατροπή Σχήματος Ο/Σ σε Σχεσιακό Μετατροπή Σχήματος Ο/Σ σε Σχεσιακό 1 Μετατροπή Σχήματος Ο/Σ σε Σχεσιακό Προσοχή είτε αυτά που ακολουθούν ως παράδειγμα Μην τα ακολουθείτε τυφλά ως «μαγική συνταγή» 2 : Μετατροπή Μοντέλου ΟΣ σε Σχεσιακό

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

Κανονικοποίηση(Normalization) ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ 9 ο Εξάμηνο2013. Κανονικές Μορφές. Πρώτη Κανονική Μορφή (1NF) Βάσεις Δεδομένων. Περικλής Α.

Κανονικοποίηση(Normalization) ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ 9 ο Εξάμηνο2013. Κανονικές Μορφές. Πρώτη Κανονική Μορφή (1NF) Βάσεις Δεδομένων. Περικλής Α. Περικλής Α. Μήτκας 5-1 ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ 9 ο Εξάμηνο2013 Ενότητα 5 Κανονικοποίηση Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Τομέας Ηλεκτρονικής και Υπολογιστών Α.Π.Θ. Κανονικοποίηση(Normalization)

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

Ακεραιότητα και Ασφάλεια Μέρος 1 Σχεδιασμός Βάσεων Δεδομένων

Ακεραιότητα και Ασφάλεια Μέρος 1 Σχεδιασμός Βάσεων Δεδομένων Ακεραιότητα και Ασφάλεια Μέρος 1 Σχεδιασμός Βάσεων Δεδομένων με βάση slides από A. Silberschatz, H. Korth, S. Sudarshan, Database System Concepts, 5 th edition Περιορισμοί πεδίου τιμών Περιορισμοί ακεραιότητας

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

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

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

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

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

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

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

ΣΥΣΤΗΜΑ ΔΙΑΧΕΙΡΙΣΗΣ ΠΤΥΧΙΑΚΩΝ ΕΡΓΑΣΙΩΝ

ΣΥΣΤΗΜΑ ΔΙΑΧΕΙΡΙΣΗΣ ΠΤΥΧΙΑΚΩΝ ΕΡΓΑΣΙΩΝ ΤΕΧΝΟΛΟΓΙΚΟ ΕΚΠΑΙΔΕΥΤΙΚΟ ΙΔΡΥΜΑ ΠΑΤΡΩΝ ΣΧΟΛΗ ΟΙΚΟΝΟΜΙΑΣ ΚΑΙ ΔΙΟΙΚΗΣΗΣ ΤΜΗΜΑ ΛΟΓΙΣΤΙΚΗΣ ΠΤΥΧΙΑΚΗ ΕΡΓΑΣΙΑ ΣΥΣΤΗΜΑ ΔΙΑΧΕΙΡΙΣΗΣ ΠΤΥΧΙΑΚΩΝ ΕΡΓΑΣΙΩΝ ΣΠΟΥΔΑΣΤΗΣ: ΓΕΩΡΓΙΟΣ ΧΡΙΣΤΟΔΟΥΛΟΠΟΥΛΟΣ ΕΠΟΠΤΕΥΩΝ ΚΑΘΗΓΗΤΗΣ:

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

Πρόλογος Μέρος Ι Εισαγωγή στα συστήματα βάσεων δεδομένων Μια βόλτα στις βάσεις δεδομένων...25

Πρόλογος Μέρος Ι Εισαγωγή στα συστήματα βάσεων δεδομένων Μια βόλτα στις βάσεις δεδομένων...25 Περιεχόμενα Πρόλογος... 21 Μέρος Ι Εισαγωγή στα συστήματα βάσεων δεδομένων. 23 1 Μια βόλτα στις βάσεις δεδομένων...25 1.1 Η πρώτη βάση δεδομένων... 26 1.1.1 Άλλοι τρόποι...26 1.1.2 Απαιτήσεις της εφαρμογής...29

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

Βάσεις Δεδομένων. Σχεσιακό Μοντέλο Μετατροπή Διαγράμματος Οντοτήτων Συσχετίσεων (E-R) σε σχεσιακό. Φροντιστήριο 3 ο

Βάσεις Δεδομένων. Σχεσιακό Μοντέλο Μετατροπή Διαγράμματος Οντοτήτων Συσχετίσεων (E-R) σε σχεσιακό. Φροντιστήριο 3 ο Βάσεις Δεδομένων Σχεσιακό Μοντέλο Μετατροπή Διαγράμματος Οντοτήτων Συσχετίσεων (E-R) σε σχεσιακό Φροντιστήριο 3 ο 22-10-2008 Σχεσιακό Μοντέλο Σχεσιακό Μοντέλο-Έννοιες Το σχεσιακό μοντέλο παριστάνει τη

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

Βάσεις εδοµένων Βασίλειος Βεσκούκης Κανονικοποίηση σχήµατος Β Σύνοψη

Βάσεις εδοµένων Βασίλειος Βεσκούκης Κανονικοποίηση σχήµατος Β Σύνοψη Εθνικό Μετσόβιο Πολυτεχνείο Σχολή Αγρονόµων Τοπογράφων Μηχανικών Βάσεις εδοµένων Βασίλειος Βεσκούκης v.vescoukis@cs.ntua.gr Κανονικοποίηση σχήµατος Β Σύνοψη Κανονικοποίηση σχέσεων 1ος κανόνας κανονικοποίησης

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

Βάσεις Δεδομένων. Εισαγωγή Ανάλυση Απαιτήσεων. Φροντιστήριο 1 ο

Βάσεις Δεδομένων. Εισαγωγή Ανάλυση Απαιτήσεων. Φροντιστήριο 1 ο Βάσεις Δεδομένων Εισαγωγή Ανάλυση Απαιτήσεων Φροντιστήριο 1 ο 16-10-2008 Εισαγωγή - Ορισμοί Βάση Δεδομένων είναι μία συλλογή από σχετιζόμενα αντικείμενα Ένα σύστημα διαχείρισης βάσεων δεδομένων (ΣΔΒΔ)

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

Εισαγωγή στην πληροφορική

Εισαγωγή στην πληροφορική Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Εισαγωγή στην πληροφορική Ενότητα 6: Εισαγωγή στις βάσεις δεδομένων (Μέρος Α) Αγγελίδης Παντελής Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών Άδειες Χρήσης

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