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

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

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

Transcript

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

2 ΘΕΩΡΙΑ Συναρτησιακές-Λειτουργικές εξαρτήσεις Κανόνες συμπερασμού συναρτησιακών εξαρτήσεων Κλειστότητα γνωρίσματος Ισοδυναμία συνόλου εξαρτήσεων Ελάχιστο κάλυμμα\ κανονική κάλυψη Αποσύνθεση Αποσύνθεση χωρίς απώλειες συνδέσμου 1NF, 2NF, 3NF, BCNF,

3 Άσκηση 1 Αναφέρετε όλες τις λειτουργικές εξαρτήσεις που ικανοποιούνται από την σχέση : A B C a 1 b 1 c 1 a 1 b 1 c 2 a 2 b 1 c 1 a 2 b 1 c 3

4 Επίλυση Κανόνας ανακλαστικότητας ABC A ABC B ABC C ABC AB ABC AC ABC BC 1. Ανακλαστικός Κανόνας Αν Χ Υ, τότε X Y 2. Επαυξητικός Κανόνας {X Y} συνάγει ΧΖ YZ 3. Μεταβατικός Κανόνας {X Y, Υ Z} συνάγει Χ Z 4. Ενωτικός Κανόνας {X Y, Χ Z} συνάγει Χ YZ 5. Διασπαστικός Κανόνας {X YZ } συνάγει Χ Y 6. Ψευδομεταβατικός Κανόνας {X Y, ΥΖ W} συνάγει ΧZ W AC A AC C AB B AB A BC B BC B Επίσης Α Β C B Ψευδομεταβατικός κανόνας Αν: Α B BC B Τότε AC B

5 Άσκηση 2 Υπολογίστε το κλείστότητα F + του παρακάτω συνόλου F λειτουργικών εξαρτήσεων για το σχεσιακό σχήμα R=(A,B,C,D,E) A BC CD E B D E A Αναφέρετε τα υποψήφια κλειδιά για το R.

6 Επίλυση F +: Τετριμμένες εξαρτήσεις ABCDE A ABCDE B ABCDE C ABCDE D ABCDE E ABCDE AB A BC CD E B D E A Μεταβατικός Κ A DC CD A E BC E DC Ενωτικός E BDC Α ABC CD AE CD ABCE Μεταβατικός A ADC CD ADCE CD ABCDE A ABCDE E ABCDE Διασπαστικός A... CD E... Ενωτικός E BDC Α ABC CD AE CD ABCE Μεταβατικός A ADC CD ADCE CD ABCDE A ABCDE E ABCDE Υποψήφια κλειδιά

7 Επίλυση Αναφέρετε τα υποψήφια κλειδιά για το R. ΤοΚείναιυποψήφιο κλειδί της σχέσης R iff (αν και μόνο αν) K R για κανένα a K, a R Ισχύει CD ABCDE A ABCDE E ABCDE Άρα υποψήφια κλειδιά για την σχέση R : Α, Ε, CD

8 Κλειστότητα α + κλείσιμο του α κάτω από το F α+ : κλειστότητα ή κλείσιμο (closure) ενός συνόλου γνωρισμάτων α κάτω από ένα σύνολο λειτουργικών εξαρτήσεων F Είναι το σύνολο όλων των γνωρισμάτων που εξαρτώνται λειτουργικά από το σύνολο γνωρισμάτων α μέσω του F Παράδειγμα Παίρνει (ΑΦΜ, ΑΜ, βαθμός,όνομα, διεύθυνση) ΑΦΜ, ΑΜ βαθμός ΑΦΜ όνομα, διεύθυνση {ΑΦΜ}+ ={ΑΦΜ, όνομα, διεύθυνση} }F Αν α+ είναι το σύνολο όλων των γνωρισμάτων του πίνακα τότε το α είναι υποψήφιο κλειδί

9 Αλγόριθμος υπολογισμού α +, αποτέλεσμα := α; while (υπάρχουν αλλαγές στο αποτέλεσμα) do for each β γστο F do begin if β του αποτελέσματος then αποτέλεσμα := αποτέλεσμα γ end

10 Άσκηση 3 Έστω R = {A, B, C, G, H, I} και F = I B A H B G C G CG I Να υπολογιστεί το {A, C}+

11 Επίλυση 1. {A, C}+=AC 2. A H A {A, C}+ Άρα : {A, C}+ =AC H 3. C G Άρα {A, C}+ =ACH G 4. CG I Άρα {A, C}+ =ACHG I 5. I B Άρα {A, C}+ =ACHGI B ΆΡΑ: {A, C}+ =ACHGIB

12 Άσκηση 4 Θεωρήστε το σχήμα R=(A,B,C,D,E) και το ακόλουθο σύνολο συναρτησιακών εξαρτήσεων F: A BC CD E B D E B Με βάση τα παραπάνω, μπορεί να θεωρηθεί ο συνδυασμός γνωρισμάτων CD, ως υποψήφιο κλειδί; Δικαιολογήστε την άποψή σας.

13 Βρίσκω CD + και εάν περιλαμβάνει όλα τα γνωρίσματα του σχήματος, τότε CD υποψήφιο κλειδί. 1. {CD} + =CD 2. {CD} + =CD E 3. {CD} + =CDE B 4. {CD} + =CDEB 5. To {CD} + δεν άλλαξε και δεν συμπεριλαμβάνει όλα τα γνωρίσματα του σχήματος. Άρα το CD δεν αποτελεί υποψήφιο κλειδί.

14 Κάλυμμα\ Κάλυψη (Closure) Απλοποίηση ενός δοσμένου συνόλου συναρτησιακών εξαρτήσεων χωρίς να μεταβάλλουμε το κλειστότητά του Έστω δυο σύνολα συναρτησιακών εξαρτήσεων E και F Λέμε ότι το F καλύπτει το E (ή τοεκαλύπτεταιαπότοf), αν κάθε Συναρτησιακή Εξάρτηση στο Ε, ανήκει στο F+ (δηλαδή, συνάγεται από το F) (αλλιώς, Ε F+)

15 Ισοδύναμα Σύνολα Δυο σύνολα συναρτησιακών εξαρτήσεων E και F είναι ισοδύναμα ανν E+ = F+. (δηλαδή, αν το Ε καλύπτει το F και το F καλύπτει το Ε) Πώς μπορούμε να υπολογίσουμε αν ένα σύνολο F είναι ισοδύναμο με ένα σύνολο E;

16 κανονική κάλυψη Διαισθητικά: ένα απλοποιημένο ΣΕ F c, ισοδύναμο με το F. Μία ιδιότητα\(σύνολο γνωρισμάτων) μιας συναρτησιακής (ή λειτουργικής) εξάρτησης λέμε ότι είναι εξωτερική (ή πλεονάζων) (extraneous), αν μπορούμε να την αφαιρέσουμε χωρίς να αλλάξουμε το κλείσιμο του συνόλου των λειτουργικών εξαρτήσεων. Τυπικά έστω: F :ΣΕ Λειτουργική εξάρτηση α β στο F. Η ιδιότητα Α είναι εξωτερική στο α αν το A ακαιτοf συνεπάγεται λογικά (F-{a β} ) {(α-α) β} Η ιδιότητα Α είναι εξωτερική στο β αν το A βκαιτοσύνολοτων λειτουργικών εξαρτήσεων (F-{a β} ) {α (Α-β)} συνεπάγεται λογικά το F

17 κανονική κάλυψη Fc Fc για το F είναι ένα σύνολο από εξαρτήσεις έτσι ώστε το F να συνεπάγεται λογικά όλες τις εξαρτήσεις στο Fc και το Fc συνεπάγεται λογικά όλες τις εξαρτήσεις στο F. Επιπλέον το Fc πρέπει να έχει τις παρακάτω ιδιότητες Καμιά λειτουργική εξάρτηση του Fc δεν περιέχει μια εξωτερική ιδιότητα Κάθε αριστερή πλευρά μιας λειτουργικής εξαρτήσεις στο Fc είναι μοναδική. Δεν υπάρχουν δύο εξαρτήσεις α1 β1 και α2 β2 στο Fc έτσι ώστε α1=α2. Μία κανονική κάλυψη μπορεί να μην είναι μοναδική Μας διευκολύνει στον υπολογισμό των υποψήφιων κλειδιών

18 Αλγόριθμος υπολογισμού της κανονικής κάλυψης Fc=F Repeat Χρησιμοποιήστε τον κανόνα ένωσης για να αντικαταστήσετε τις εξαρτήσεις του Fc της μορφής α 1 β 1 και α 1 β 2 με α 1 β 1 β 2 Βρείτε μια λειτουργική εξάρτηση α β στοfc με μια εξωτερική ιδιότητα στο α ή στο β Αν βρεθεί μια εξωτερική ιδιότητα, διαγράψτε την από το α β Until το Fc να μην αλλάζει

19 Άσκηση 5 Δίνεται το σύνολο λειτουργικών εξαρτήσεων F για το σχήμα (Α,Β,C): Α BC B C A B AB C Να υπολογιστεί η κανονική κάλυψη F c για το F

20 ΕΠΙΛΥΣΗ Ισχύει Α BC και Α Β. Άρα Α BC To A είναι εξωτερικό στο Α ΒC διότι το F συνεπάγεται λογικά από το (F-{AB C} {B C}), γιατί το Β C ήδη στο F. Το C εξωτερικό στο Α ΒC, αφού το Α ΒC συνεπάγεται λογικά Α Β και το Β C Άρα κανονική κάλυψη\ κάλυμμα F C : A B B C

21 Άσκηση 6 Έστω F={A BC,B AC και C AB} Να βρεθεί το F c Επίλυση: Εφαρμόζουμε έλεγχο εξωτερικότητας στο A B. Βρίσκουμε ότι τα B και C είναι εξωτερικά ως προς το F.

22 Επίλυση Aν διαγράψουμε το C τότε F ={Α Β,Β ΑC,C AB} Τα A και B είναι εξωτερικά στη δεξιά πλευρά του C AB Καταλήγουμε σε δύο κανονικές καλύψεις: Fc={A B,B C και C A} και Fc={A B, B AC,C B}

23 Επίλυση Aν διαγράψουμε το B τότε F ={Α C,Β ΑC,C AB} Τα A και B είναι εξωτερικά στη δεξιά πλευρά του C AB Καταλήγουμε σε δύο κανονικές καλύψεις: Fc={A C, C B και B A} και Fc={A C, B C, C AB} Άρα οι κανονικές καλύψεις δεν είναι μοναδικές

24 Αποσύνθεση Διάσπαση μίας σχέσης σχήματος που έχει πολλές ιδιότητες σε διάφορα σχήματα με λιγότερες ιδιότητες. Πχ Η σχέση ABCD μπορεί να διασπαστεί στις ABC και CD

25 Αποσύνθεση χωρίς απώλειες συνδέσμου. Μια αποσύνθεση {R 1,R 2,,R n } του R είναι μία Lossless-join decomposition, αν για όλες τις σχέσεις r στο σχήμα R που είναι νόμιμες κάτω από το (σύνολο άπο περιορισμούς για την ΒΔ) C, ισχύει: r=πr 1 (r) πr 2 (r) πr n (r) Μία σχέση είναι νόμιμη αν ικανοποιεί όλους τους κανόνες ή περιορισμούς που έχουμε βάλει στην βάση δεδομένων μας.

26 Αποσύνθεση χωρίς απώλειες συνδέσμου Έστω R ένα σχεσιακό σχήμα F ένα σύνολο από συναρτησιακές εξαρτήσεις στο R. R1 και R2 μια αποσύνθεση του R. Αν μια τουλάχιστον από τις παρακάτω ΣΕ ανήκει στο F+ R1 R2 R1 ή R1 R2 R2 Τότεηδιάσπασηείναιχωρίςαπώλειεςσυνδέσμου. ΔΗΛ: Αν τα κοινά γνωρίσματα των δύο σχέσεων R 1 R 2 σχηματίζουν υπερκλειδί για τουλάχιστον ένα από τα σχήματα R 1 ή R 2, τότε η αποσύνθεση του R είναι μια αποσύνθεση χωρίς απώλειες συνδέσμου.

27 Αποσύνθεση χωρίς απώλειες συνδέσμου Παράδειγμα: R = {Τίτλος, Έτος, Διάρκεια, Είδος, Όνομα- Ηθοποιού, Διεύθυνση, Έτος-Γέννησης} Τίτλος Έτος Διάρκεια Τίτλος Έτος Είδος Όνομα Ηθοποιού Διεύθυνση Όνομα-Ηθοποιού Έτος Γέννησης R 1 R 2 = {Τίτλος, Έτος} Υπερκλειδί για την R1 άρα αποσύνθεση χωρίς απώλειες συνδέσμου R1 = {Τίτλος, Έτος, Διάρκεια, Είδος} R2 = {Τίτλος, Έτος, Όνομα-Ηθοποιού, Διεύθυνση, Έτος-Γέννησης}

28 Άσκηση 7 1:Υποθέστε ότι αποσυνθέτουμε το σχήμα R=(A,B,C,D,E) σε R1 (Α,Β,C) R2 (A,D,E) Δείξτε ότι αυτή η αποσύνθεση είναι η αποσύνθεση χωρίς απώλειες συνδέσμου, αν ισχύει το παρακάτω σύνολο F από λειτουργικές εξαρτήσεις: Α BC CD E B D E A

29 Επίλυση R1 R2 = A Α BC Άρα το Α είναι κλειδί για το σχήμα R1 Άρα η αποσύνθεση είναι αποσύνθεση χωρίς απώλειες συνδέσμου Εναλλακτικά μπορούμε να βρούμε το F + και να επαληθεύσουμε ότι R1 R2 R1 F +

30 Διατήρηση εξαρτήσεων Στόχος: Για να ελέγχουμε ότι διατηρούνται οι Σ.Ε. όταν γίνονται τροποποιήσεις σε μία από τις σχέσεις ri(ri) να αρκεί να ελέγξουμε μόνο τη συγκεκριμένη σχέση (δηλαδή, να μη χρειάζεται να υπολογίσουμε τις αρχικές σχέσεις - αποφυγή των συνενώσεων) Έστω F ένα σύνολο από ΣΕ στο σχήμα R και {R1, R2,.., Rn} μια αποσύνθεση του R. Fi περιορισμός του F στο Ri είναιτοσύνολοόλωντων συναρτησιακών εξαρτήσεων του F+ που περιέχουν μόνο γνωρίσματα του Ri. Προσοχή: F + όχι F

31 Διατήρηση εξαρτήσεων Έστω F ένα σύνολο από ΣΕ στο σχήμα R και {R1, R2,.., Rn} μια αποσύνθεση του R. Έστω F = F1 F2... Fn Η αποσύνθεση είναι μια αποσύνθεση που διατηρεί τις εξαρτήσεις (dependency preserving) αν F + = F+

32 Άσκηση 8 Έστω το σχήμα σχέσης R(A, B, C, D) το σύνολο συναρτησιακών εξαρτήσεων A C B C Β A Έστω η αποσύνθεση S(A, C) και Τ(Α, Β, D) Να αποδειχθεί ότι μια αποσύνθεση διατηρεί τις εξαρτήσεις

33 Επίλυση Άτυπα: δεν θέλουμε οι αρχικές Σ.Ε. να εκτείνονται σε 2 πίνακες Ιδανικά η αποσύνθεση θα έπρεπε να διατηρεί την εξάρτηση, δηλ., (F 1 F 2 F n ) + = F + 1. F + = A C,B C,B A,B AC 2. (F 1 F 2 F n ) + = A C,B A = A C,B C,B C,B AC Άρα: (F 1 F 2 F n ) + = F +

34 Άσκηση 9 Έστω η σχέση R(A, B, C, D, E) με συναρτησιακές εξαρτήσεις: Να αποδειχθεί ότι A B C CD E B D E A ο διαχωρισμός σε (A,B,C) και (A,D,E) είναι ένας lossless-join διαχωρισμός Ο παραπάνω διαχωρισμός δεν διατηρεί τις εξαρτήσεις;

35 ΛΥΣΗ a. Ένας διαχωρισμός {R1,R2} είναι ένας lossless-join διαχωρισμός αν R1 R2 R1 ή R1 R2 R2. Έστω: R1=(A,B,C), R2=(A,D,E) και R1 R2=A Αφού το Α είναι ένα υποψήφιο κλειδί τότε R1 R2 R1

36 ΛΥΣΗ ΗεξάρτησηB D δεν διατηρείται. F1 + = A BC F2 + =A BC,E A F1 + F2 + = A BC,E A F +

37 Άσκηση 10 Έστω ένα σχήμα σχέσης R(A,B,C,D,E,F,G,H,I,J) Χρησιμοποιώντας το παρακάτω σύνολο συναρτησιακών εξαρτήσεων AB C A DE B F F GH D IJ Ερωτήματα: 1. Υπολογίστε ένα υποψήφιο κλειδί για την σχέση R 2. Έστω ότι η σχέση R αποσυντίθεται στις σχέσεις: R1(A,B,C), R2(A,D,E), R3(B,F), R4(F,G,H), R5(D,I,J) 1. Το προηγούμενο σύνολο σχέσεων διατηρεί τις εξαρτήσεις; 2. Η αποσύνθεση της σχέσης R (A,B,C,D,E) σε R1 και R2 είναι αποσύνθεση χωρίς απώλειες? 3. Σε ποια κανονική μορφή βρίσκονται οι σχέσεις R1 - R5? 3. Έστω ότι η σχέση R αποσυντίθεται στις σχέσεις: R1(A,B,C,D,E), R2(B,F,G,H), και R3(D,I,J). 1. Το προηγούμενο σύνολο σχέσεων διατηρεί τις εξαρτήσεις; 2. Η αποσύνθεση της σχέσης R (A,B,C,D,E,F,G,H) σε R1 και R2 είναι αποσύνθεση χωρίς απώλειες? 3. Σε ποια κανονική μορφή βρίσκονται οι σχέσεις R1 R3? 4. Έστω ότι η σχέση R αποσυντίθεται στις σχέσεις: R1(A,B,C,D), R2(D,E), R3(B,F), R4(F,G,H), R5 (D,I,J). 1. Το προηγούμενο σύνολο σχέσεων διατηρεί τις εξαρτήσεις; 2. Η αποσύνθεση της σχέσης R (A,B,C,D,E) σε R1 και R2 είναι αποσύνθεση χωρίς απώλειες? 3. Σε ποια κανονική μορφή βρίσκονται οι σχέσεις R1 - R5?

38 Επίλυση 10.1 Χρησιμοποιώντας την Σ.Ε. (1), το γνώρισμα C μπορεί να απομακρυνθεί καθώς προκύπτει από τα γνωρίσματα AB Χρησιμοποιώντας την Σ.Ε. (2), τα γνωρίσματα DE μπορούν να απομακρυνθούν καθώς προκύπτουν από τo γνώρισμα A Χρησιμοποιώντας την Σ.Ε. (3), το γνώρισμα F μπορεί να απομακρυνθεί καθώς προκύπτει από τo γνώρισμα B Χρησιμοποιώντας την Σ.Ε. (4), τα γνωρίσματα GH μπορούν να απομακρυνθούν καθώς προκύπτουν από τo γνώρισμα F και άρα από το Β Χρησιμοποιώντας την Σ.Ε. (5), τα γνωρίσματα IJ μπορούν να απομακρυνθούν καθώς προκύπτουν από τo γνώρισμα Δ και άρα από το Α Τα γνωρίσματα που απομένουν είναι τα ΑΒ. Αν απομακρυνθεί οποιοδήποτε από τα γνωρίσματα ΑΒ δεν προκύπτουνόλαταγνωρίσματακαιαπόκανέναάλλο συνδυασμό γνωρίσματος Οπότε ο συνδυασμός των γνωρισμάτων ΑΒ μπορεί να θεωρήθεί υποψήφιο κλειδί 1: AB C 2: A DE 3: B F 4: F GH 5: D IJ

39 Επίλυση Το προηγούμενο σύνολο σχέσεων διατηρεί τις εξαρτήσεις; Κάθε ΣΕ θα πρέπει να περιέχεται σε κάποια σχέση. Άρα το συγκεκριμένο σύνολο ΣΕ διατηρεί τις εξαρτήσεις 2. Η αποσύνθεση της σχέσης R (A,B,C,D,E) σε R 1 και R 2 είναι αποσύνθεση χωρίς απώλειες? Λόγω της ΣΕ (2) Ισχύει ότι R 1 R 2 R 2 ; άρα η αποσύνθεση είναι χωρίς απώλειες 3. Σε ποια κανονική μορφή βρίσκονται οι σχέσεις R1 - R5? Το συγκεκριμένο σύνολο σχημάτων σχέσεων βρίσκεται σε 3 rd NF 1: AB C 2: A DE 3: B F 4: F GH 5: D IJ R1(A,B,C) R2(A,D,E) R3(B,F) R4(F,G,H) R5(D,I,J)

40 Επίλυση Το προηγούμενο σύνολο σχέσεων διατηρεί τις εξαρτήσεις; Ναι γιατί το σχήμα σχέσης R1 περιέχει τις ΣΕ (1) και (2) το σχήμα σχέσης R2 περιέχει τις ΣΕ (3) και (4), και το σχήμα σχέσης R3 περιέχει την ΣΕ (5). 2. Η αποσύνθεση της σχέσης R (A,B,C,D,E,F,G,H) σε R1 και R2 είναι αποσύνθεση χωρίς απώλειες? Ναι, γιατί λόγω της ΣΕ (3) και της (4) Ισχύει ότι R 1 R 2 R 2 ; 3. Σε ποια κανονική μορφή βρίσκονται οι σχέσεις R1 R3? Το σχήμα σχέσης R1 είναι σε 1st NF, το σχήμα σχέσης R2 είναι σε 2nd NF και το σχήμα σχέσης R3 είναι σε 3rd NF 1: AB C 2: A DE 3: B F 4: F GH 5: D IJ R1(A,B,C,D,E), R2(B,F,G,H), R3(D,I,J).

41 Επίλυση Το προηγούμενο σύνολο σχέσεων διατηρεί τις εξαρτήσεις; Όχι γιατί η ΣΕ (2) A DE] δεν επιβεβαιώνεται σε κανένα σχήμα σχέσης 2. Η αποσύνθεση της σχέσης R (A,B,C,D,E) σε R1 και R2 είναι αποσύνθεση χωρίς απώλειες? Όχι γιατί R1 R2 = D και το γνώρισμα D δεν είναι πρωτεύον κλειδί για καμία από τις σχέσεις R1 και R2 ; 3. Σε ποια κανονική μορφή βρίσκονται οι σχέσεις R1 - R5? Το σχήμα σχέσης R1 είναι σε 1st NF ενώ τα υπόλοιπα σχήματα είναι σε 3rd NF 1: AB C 2: A DE 3: B F 4: F GH 5: D IJ R1(A,B,C,D) R2(D,E) R3(B,F) R4(F,G,H) R5 (D,I,J)

42 ΚΑΝΟΝΙΚEΣ ΜΟΡΦEΣ 1η Κανονική Μορφή (1NF) Μια σχέση είναι σε 1η κανονικήμορφήαν τα γνωρίσματά της λαμβάνουν μόνο ατομικές (απλές, αδιαίρετες) τιμές. Απαγορεύονται τα πλειότιμα και σύνθετα γνωρίσματα. Τα γνωρίσματα λαμβάνουν μία μόνο τιμή από το πεδίο ορισμού τους.

43 1 Η ΚΑΝΟΝΙΚΗ ΜΟΡΦΗ - ΠΑΡΑΔΕΙΓΜΑ ΟΝΟΜΑ_ΤΜ ΚΩΔ_ΤΜ ΔΙΕΥΘΥΝΤΗΣ ΤΟΠΟΘΕΣΙΕΣ_ΤΜ Έρευνα {Αθήνα, Πάτρα, Τρίπολη} Διοίκηση {Τρίπολη} Πωλήσεις {Αθήνα} Ισχύει ΟΝΟΜΑ_ΤΜ ΤΟΠΟΘΕΣΙΕΣ_ΤΜ αλλά δεν έχουμε 1NF. ΟΝΟΜΑ_ΤΜ ΚΩΔ_ΤΜ ΔΙΕΥΘΥΝΤΗΣ ΤΟΠΟΘΕΣΙΕΣ_ΤΜ Έρευνα Αθήνα Έρευνα Πάτρα Έρευνα Τρίπολη Διοίκηση Τρίπολη Πωλήσεις Αθήνα Έχουμε 1NF αλλά δεν ισχύει ΟΝΟΜΑ_ΤΜ ΤΟΠΟΘΕΣΙΕΣ_ΤΜ.

44 1 Η ΚΑΝΟΝΙΚΗ ΜΟΡΦΗ Το πλειότιμο χαρακτηριστικό απομακρύνεται σε άλλη σχέση μαζί με το χαρακτηριστικό που το προσδιορίζει συναρτησιακά. ΟΝΟΜΑ_ΤΜ ΚΩΔ_ΤΜ ΔΙΕΥΘΥΝΤΗΣ Έρευνα Διοίκηση Πωλήσεις ΟΝΟΜΑ Έρευνα Έρευνα Έρευνα Διοίκηση Πωλήσεις ΤΟΠΟΘΕΣΙΑ_ΤΜ Αθήνα Πάτρα Τρίπολη Τρίπολη Αθήνα

45 2 Η ΚΑΝΟΝΙΚΗ ΜΟΡΦΗ Ένας πίνακας που είναι σε 1ΚΜ είναι και σε 2ΚΜ όταν ισχύει οποιοδήποτε από τα εξής: το πρωτεύον κλειδί αποτελείται από ένα και μόνο χαρακτηριστικό, ο πίνακας δεν έχει χαρακτηριστικά που δεν αποτελούν κλειδί (all-key relation), ή κάθε χαρακτηριστικό που δεν είναι κλειδί, είναι πλήρως συναρτησιακά εξαρτώμενο από το πρωτεύον κλειδί.

46 2 Η ΚΑΝΟΝΙΚΗ ΜΟΡΦΗ (ΣΥΝ.) Μια σχέση R είναι σε δεύτερη κανονική μορφή αν 1. Είναι σε πρώτη κανονική μορφή και 2. Αν κάθε συναρτησιακή εξάρτηση X Y που υπάρχει στην R, είναι full functional dependency. Μια συναρτησιακή εξάρτηση X Y είναι full functional dependency ανησυναρτησιακήεξάρτησηπαύεινα ισχύει αν αφαιρέσουμε οποιοδήποτε πεδίο από το Χ. Π.χ η συναρτησιακή εξάρτηση {ABC} Y δεν είναι full functional dependency αν ισχύει {AB} Y ή Β Y κτλ.

47 2 Η ΚΑΝΟΝΙΚΗ ΜΟΡΦΗ - ΠΑΡΑΔΕΙΓΜΑ

48 3 Η ΚΑΝΟΝΙΚΗ ΜΟΡΦΗ Μια σχέση R είναι σε Τρίτη κανονική μορφή αν 1. Είναι σε δεύτερη κανονική και 2. Αν δεν υπάρχουν μεταβατικές εξαρτήσεις (transitive) dependencies. Μια συναρτησιακή εξάρτηση X Y είναι μεταβατική (transitive) dependency αν ισχύει X Ζ και Ζ Y για κάποιο σύνολο από πεδία που δεν ανήκουν σε κανένα κλειδί.

49 3 Η ΚΑΝΟΝΙΚΗ ΜΟΡΦΗ - ΠΑΡΑΔΕΙΓΜΑ αριθ_μαθήματος αριθ_κτιρίου, και αριθ_κτιρίου όνομα_κτιρίου

50 ΚΑΝΟΝΙΚΗ ΜΟΡΦΗ BOYCE- CODD (BCNF) Ένα σχεσιακό σχήμα R είναι σε BCNF σε σχέση με ένα σύνολο F συναρτησιακών εξαρτήσεων αν για όλες τις ΣΕ στο F+ της μορφής X Y ισχύει τουλάχιστον ένα από τα παρακάτω: X Y είναι μια τετριμμένη ΣΕ ή X είναι υπερκλειδί του σχήματος R

51 Έλεγχος εάν μια σχέση ικανοποιεί το BCNF Για να ελέγξουμε αν μια μη τετριμμένη εξάρτηση α β προκαλεί μια παραβίαση στο BCNF, υπολογίζουμε το α+ και επαληθεύουμε ότι συμπεριλαμβάνει όλες τις ιδιότητες του R, δηλαδή είναι υπερκλειδί του R.

52 Άσκηση 11 Έστω η σχέση R(A, B, C, D, E, G, H) με συναρτησιακές εξαρτήσεις: F={ AB C, AC B, AD E, B D, BC A, E G } Έστω τα παρακάτω σύνολα γνωρισμάτων a. {Α, Β, C } b. {A, B, C, E, G} c. {A, C, E, H } i. Διατυπώστε μία ελάχιστη κανονική κάλυψη ii. Αναγνωρίστεαντοσύνολοτωνγνωρισμάτωνείναισε BCNF iii. Αν δεν είναι σε BCNF τότε βρείτε μία αποσύνθεση σε ένα σύνολο από BCNF σχήματα που διατηρούν τις εξαρτήσεις.

53 ΛΥΣΗ a. {Α, Β, C } i. AB C, AC B, BC A είναι ήδη μία ελάχιστη κάλυψη ii. Είναι σε BCNF διότι τα ΑΒ, AC, BC είναι όλα υποψήφια κλειδιά στη σχέση

54 ΛΥΣΗ b. {A, B, C, E, G} i. AB C, AC B, BC A, Ε G είναι ήδη μία ελάχιστη κάλυψη ii. Τα ΑΒΕ, ACE, BCE είναι όλα υποψήφια κλειδιά. Αλλά δεν είναι ούτε 2NF γιατί το Ε είναι υποσύνολο των κλειδιών και ισχύει η Ε F, είναι 1NF

55 ΛΥΣΗ c. {A, C, E, H } i. Δεν υπάρχουν λειτουργικές εξαρτήσεις ήδη μία ελάχιστη κάλυψη ii. iii. Το κλειδί είναι η ίδια η ACEH Είναι σε BCNF

56 Άσκηση 12 Έστω ένα σχήμα σχέσης R(A,B,C,D,E,F) Χρησιμοποιώντας το παρακάτω σύνολο συναρτησιακών εξαρτήσεων AF D DE B A BC E C Ερωτήματα: 1. Υπολογίστε την Α Ποιο είναι το πρωτεύον κλειδί της παραπάνω σχέσης. 3. Είναι η σχέση R σε 2 nd NF χρησιμοποιώντας το πρωτεύον κλειδί που υπολογίσατε προηγουμένως; Αιτιολογήστε την απάντησή σας. 4. Αποσυνθέστε την παραπάνω σχέση ώστε οι σχέσεις που θα προκύψουν βρίσκονται σε 3 rd NF.

57 Επίλυση 12 Ερώτημα 1: {A} + =ABC Ερώτημα 2: Χρησιμοποιώντας την ΣΕ (1),το γνώρισμα D μπορεί να απομακρυνθεί καθώς προκύπτει από τα γνωρίσματα AF Χρησιμοποιώντας την ΣΕ (2), το γνώρισμα Β μπορεί να απομακρυνθεί καθώς προκύπτει από τα γνωρίσματα DE Χρησιμοποιώντας την ΣΕ (3),μπορεί να προκύψει η σχέση Α Β Χρησιμοποιώντας την ΣΕ (4), το γνώρισμα C μπορεί να απομακρυνθεί καθώς προκύπτει από τo γνώρισμα C. Τα εναπομείναντα γνωρίσματα είναι τα γνωρίσματα AEF, τα οποία αποτελούν και ΠΚ. Καθώς αν απομακρύνουμε οποιοδήποτε από αυτά δεν υπάρχει η δυνατότητα να ανακτήσουμε το σύνολο των υπολοίπων γνωρισμάτων. Άρα το πρωτεύον κλειδί είναι το σύνολο των γνωρισμάτων AEF 1.AF D 2.DE B 3.A BC 4.E C

58 Επίλυση 12 Ερώτημα 3: Το σχήμα σχέσης R δεν βρίσκεται σε 2 nd NF γιατί δεν εξαρτώνται όλες οι ΣΕ που ισχύουν για το σχήμα από ολόκληρο το κλειδί Ερώτημα 4: Βήμα 1. Γράψτε τις ΣΕ της μορφής Α ΒC σε μορφή Α Β, Α C Βήμα 2: Για κάθε συναρτησιακή εξάρτηση δημιουργείστε ένα σχήμα σχέσης Τα σχήματα σχέσης που προκύπτουν είναι τα εξής: R1 (A,F,D); R2 (D,E,B), R3 (A,B,C), R4(E,C) Βήμα 3: Δημιουργείστε ένα σχήμα σχέσης που να περιλαμβάνει όλα τα γνωρίσματα που σχημάτιζαν το πρωτεύον κλειδί της σχέσης : δηλ το σχήμα σχέσης :R5(A,E,F)

59 Τέλος Ευχαριστώ!!!

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Αρχεία και Βάσεις Δεδομένων Φροντιστήριο Κανονικές Μορφές

Αρχεία και Βάσεις Δεδομένων Φροντιστήριο Κανονικές Μορφές ΗΥ-360 Αρχεία και Βάσεις Δεδομένων Φροντιστήριο Κανονικές Μορφές 1 Κλειστότητα Συναρτησιακών Eξαρτήσεων: Πώς συμβολίζεται: F + Τι σημαίνει : Το ΣΥΝΟΛΟ των Σ.Ε. που μπορούν να παραχθούν από ένα σύνολο εξαρτήσεων

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Βάζεηο Γεδνκέλσλ πλαξηεζηαθέο Δμαξηήζεηο (Functional Dependencies) ρεδηαζκόο Βάζεσλ Γεδνκέλσλ θαη Καλνληθνπνίεζε

Βάζεηο Γεδνκέλσλ πλαξηεζηαθέο Δμαξηήζεηο (Functional Dependencies) ρεδηαζκόο Βάζεσλ Γεδνκέλσλ θαη Καλνληθνπνίεζε Βάζεηο Γεδνκέλσλ πλαξηεζηαθέο Δμαξηήζεηο (Functional Dependencies) ρεδηαζκόο Βάζεσλ Γεδνκέλσλ θαη Καλνληθνπνίεζε Φξνληηζηήξην 4ν 03-11-2011 ΘΔΩΡΙΑ πλαξηεζηαθέο-λεηηνπξγηθέο εμαξηήζεηο Καλόλεο ζπκπεξαζκνύ

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

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

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

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

antzoulatos@upatras.gr

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Ασκήσεις -Επανάληψη. Βάσεις Δεδομένων

Ασκήσεις -Επανάληψη. Βάσεις Δεδομένων Ασκήσεις -Επανάληψη Βάσεις Δεδομένων 2016-2017 Ε-R μοντέλα -Flashback. ENTITY SET WEAK ENTITY SET is_a GENERALIZATION RELATIONSHIP SET ATTRIBUTE DERIVED Attribute E2 Total PARTICIPATION of E1 in R1 E2

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

-----------------------------------------------------------------------------------------------------

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Εφαρμοσμένα Μαθηματικά ΙΙ 9ο Σετ Ασκήσεων (Λύσεις) Διανυσματικοί Χώροι

Εφαρμοσμένα Μαθηματικά ΙΙ 9ο Σετ Ασκήσεων (Λύσεις) Διανυσματικοί Χώροι Εφαρμοσμένα Μαθηματικά ΙΙ 9ο Σετ Ασκήσεων (Λύσεις) Διανυσματικοί Χώροι Επιμέλεια: Ι. Λυχναρόπουλος. Δείξτε ότι ο V R εφοδιασμένος με τις ακόλουθες πράξεις (, a b) + (, d) ( a+, b+ d) και k ( ab, ) ( kakb,

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

5.2 ΑΠΛΟΠΟΙΗΣΗ ΜΕ ΤΗΝ ΜΕΘΟΔΟ ΚΑΤΑΤΑΞΗΣ ΣΕ ΠΙΝΑΚΑ

5.2 ΑΠΛΟΠΟΙΗΣΗ ΜΕ ΤΗΝ ΜΕΘΟΔΟ ΚΑΤΑΤΑΞΗΣ ΣΕ ΠΙΝΑΚΑ 5.2 ΑΠΛΟΠΟΙΗΣΗ ΜΕ ΤΗΝ ΜΕΘΟΔΟ ΚΑΤΑΤΑΞΗΣ ΣΕ ΠΙΝΑΚΑ 5.2. Εισαγωγή Αν η λογική συνάρτηση που πρόκειται να απλοποιήσουμε έχει περισσότερες από έξι μεταβλητές τότε η μέθοδος απλοποίησης με Χάρτη Καρνώ χρειάζεται

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

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ (ΗΥ-119)

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ (ΗΥ-119) ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΕΠΙΣΤΗΜΗΣ ΥΠΟΛΟΓΙΣΤΩΝ ΙΩΑΝΝΗΣ Α. ΤΣΑΓΡΑΚΗΣ ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ (ΗΥ-119) ΜΕΡΟΣ 5: ΔΙΑΝΥΣΜΑΤΙΚΟΙ ΥΠΟΧΩΡΟΙ ΓΡΑΜΜΙΚΗ ΑΝΕΞΑΡΤΗΣΙΑ ΒΑΣΕΙΣ & ΔΙΑΣΤΑΣΗ Δ.Χ. ΣΗΜΕΙΩΣΕΙΣ

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

Σχέσεις. Διμελής Σχέση. ΣτοΊδιοΣύνολο. Αναπαράσταση

Σχέσεις. Διμελής Σχέση. ΣτοΊδιοΣύνολο. Αναπαράσταση Διμελής Σχέση Σχέσεις Διδάσκοντες: Φ. Αφράτη, Δ. Επιμέλεια διαφανειών: Δ. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Διατεταγμένο ζεύγος (α, β): Δύο αντικείμενα

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

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

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

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

Παραδείγματα (1 ο σετ) Διανυσματικοί Χώροι

Παραδείγματα (1 ο σετ) Διανυσματικοί Χώροι Παραδείγματα ( ο σετ) Διανυσματικοί Χώροι Παράδειγμα Έστω το σύνολο V το σύνολο όλων των θετικών πραγματικών αριθμών εφοδιασμένο με την ακόλουθη πράξη της πρόσθεσης: y y με y, V και του πολλαπλασιασμού:

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

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

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

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

!! " &' ': " /.., c #$% & - & ' ()",..., * +,.. * ' + * - - * ()",...(.

!!  &' ':  /.., c #$% & - & ' (),..., * +,.. * ' + * - - * (),...(. ..,.. 00 !!.6 7 " 57 +: #$% & - & ' ()",..., * +,.. * ' + * - - * ()",.....(. 8.. &' ': " /..,... :, 00. c. " *+ ' * ' * +' * - * «/'» ' - &, $%' * *& 300.65 «, + *'». 3000400- -00 3-00.6, 006 3 4.!"#"$

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

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

ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ - ΑΡΧΙΤΕΚΤΟΝΙΚΗ ΣΒΔ - ΕΙΣΑΓΩΓΗ ΣΤΟ ΜΟΝΤΕΛΟ ΟΝΤΟΤΗΤΩΝ ΣΥΣΧΕΤΙΣΕΩΝ ΤΜΗΜΑ ΠΟΛΙΤΙΣΜΙΚΗΣ ΤΕΧΝΟΛΟΓΙΑΣ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΑΣ ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ Χειμερινό Εξάμηνο 2013 - ΑΡΧΙΤΕΚΤΟΝΙΚΗ ΣΒΔ - ΕΙΣΑΓΩΓΗ ΣΤΟ ΜΟΝΤΕΛΟ ΟΝΤΟΤΗΤΩΝ ΣΥΣΧΕΤΙΣΕΩΝ Δρ. Βαγγελιώ Καβακλή ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ, ΤΜΗΜΑ ΠΟΛΙΤΙΣΜΙΚΗΣ ΤΕΧΝΟΛΟΓΙΑΣ ΚΑΙ ΕΠΙΚΟΙΝΩΝΙΑΣ 1 Αρχιτεκτονική

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

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

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

Σχεδίαση Βάσεων Δεδομένων

Σχεδίαση Βάσεων Δεδομένων Σχεδίαση Βάσεων Δεδομένων Τρίτη Κανονική Μορφή Third Normal Form 1 Copyright 2013, Oracle and/or its affiliates. All rights reserved. Στόχοι Το μάθημα αυτό καλύπτει τους ακόλουθους στόχους: Να προσδιορίσει

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

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

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

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

Παραδείγματα Διανυσματικοί Χώροι Ι. Λυχναρόπουλος

Παραδείγματα Διανυσματικοί Χώροι Ι. Λυχναρόπουλος Παραδείγματα Διανυσματικοί Χώροι Ι. Λυχναρόπουλος Παράδειγμα Έστω το σύνολο V το σύνολο όλων των θετικών πραγματικών αριθμών εφοδιασμένο με την ακόλουθη πράξη της πρόσθεσης: y y με, y V και του πολλαπλασιασμού

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

Ψηφιακά Συστήματα. 5. Απλοποίηση με χάρτες Karnaugh

Ψηφιακά Συστήματα. 5. Απλοποίηση με χάρτες Karnaugh Ψηφιακά Συστήματα 5. Απλοποίηση με χάρτες Karnaugh Βιβλιογραφία 1. Φανουράκης Κ., Πάτσης Γ., Τσακιρίδης Ο., Θεωρία και Ασκήσεις Ψηφιακών Ηλεκτρονικών, ΜΑΡΙΑ ΠΑΡΙΚΟΥ & ΣΙΑ ΕΠΕ, 2016. [59382199] 2. Floyd

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

Kεφ.2: Σχεσιακό Μοντέλο (επανάληψη) Κεφ.6.1: Σχεσιακή Άλγεβρα

Kεφ.2: Σχεσιακό Μοντέλο (επανάληψη) Κεφ.6.1: Σχεσιακή Άλγεβρα Kεφ.2: Σχεσιακό Μοντέλο (επανάληψη) Κεφ.6.1: Σχεσιακή Άλγεβρα Database System Concepts, 6 th Ed. Silberschatz, Korth and Sudarshan See www.db-book.com for conditions on re-use Παράδειγμα Σχέσης attributes

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

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

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

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

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

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

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