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

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

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

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

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

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


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Γ2.1 Στοιχεία Αρχιτεκτονικής. Γ Λυκείου Κατεύθυνσης

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

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

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

Lecture 22: Functional Dependencies and Normalization

Βρέντζου Τίνα Φυσικός Μεταπτυχιακός τίτλος ΜEd: «Σπουδές στην εκπαίδευση»

Παραδείγματα Γραμμικοί Μετασχηματισμοί

2. Η πιθανότητα της αριθμήσιμης ένωσης ξένων μεταξύ τους ενδεχομένων είναι το άθροισμα των πιθανοτήτων των ενδεχομένων.

6.1 Η ΕΝΝΟΙΑ ΤΗΣ ΣΥΝΑΡΤΗΣΗΣ

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

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


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

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

2.1 ΜΟΝΟΤΟΝΙΑ ΑΚΡΟΤΑΤΑ ΣΥΜΜΕΤΡΙΕΣ ΣΥΝΑΡΤΗΣΗ

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

Ε π ι μ έ λ ε ι α Κ Ο Λ Λ Α Σ Α Ν Τ Ω Ν Η Σ

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

Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 7: Σχέσεις και Συναρτήσεις

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

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

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

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

Αποθήκες Δεδομένων και Εξόρυξη Δεδομένων:

Αποθήκες Δεδομένων και Εξόρυξη Δεδομένων:

2. Η πιθανότητα της αριθμήσιμης ένωσης ξένων μεταξύ τους ενδεχομένων είναι το άθροισμα των πιθανοτήτων των ενδεχομένων.

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

Γραμμική Άλγεβρα και Μαθηματικός Λογισμός για Οικονομικά και Επιχειρησιακά Προβλήματα

9. Συστολικές Συστοιχίες Επεξεργαστών

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

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


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

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

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

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

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

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

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

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

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

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

x y z d e f g h k = 0 a b c d e f g h k

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

a = a a Z n. a = a mod n.

Ανάλυση Συσχέτισης IΙ

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

Συναρτήσεις Θεωρία Ορισμοί - Παρατηρήσεις

Όριο συνάρτησης στο x. 2 με εξαίρεση το σημείο A(2,4) Από τον παρακάτω πίνακα τιμών και τη γραφική παράσταση του παραπάνω σχήματος παρατηρούμε ότι:

Μαθηματική Εισαγωγή Συναρτήσεις

Ο Αλγόριθμος FP-Growth

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Λογική. Δημήτρης Πλεξουσάκης

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

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

Σύγχρονη Φυσική 1, Διάλεξη 12, Τμήμα Φυσικής, Παν/μιο Ιωαννίνων Διαγράμματα Minkowski

Κεφάλαιο 4. Λογική Σχεδίαση

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

Ποιές οι θεµελιώδεις δυνατότητες και ποιοί οι εγγενείς περιορισµοί των υπολογιστών ; Τί µπορούµε και τί δε µπορούµε να υπολογίσουµε (και γιατί);

Στοιχεία Θεωρίας Υπολογισµού (1): Τυπικές Γλώσσες, Γραµµατικές

Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (2)

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

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

C D C D C D C D A B

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

Ψηφιακά Συστήματα. 6. Σχεδίαση Συνδυαστικών Κυκλωμάτων

Μ Α Θ Η Μ Α Τ Α Γ Λ Υ Κ Ε Ι Ο Υ

Εφαρμοσμένα Μαθηματικά ΙΙ

Ορισμός παραγώγου Εξίσωση εφαπτομένης

Μαθηματική Εισαγωγή Συναρτήσεις

ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ

Κεφάλαιο 4 Διανυσματικοί Χώροι

Εισαγωγή στις Φυσικές Επιστήμες ( ) Ονοματεπώνυμο Τμήμα ΘΕΜΑ 1. x x. x x x ( ) + ( 20) + ( + 4) = ( + ) + ( 10 + ) + ( )

Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Ψηφιακή Σχεδίαση

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

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

Transcript:

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

Συναρτησιακές εξαρτήσεις 2 Θέματα Ανάπτυξης Έννοια και ορισμός των συναρτησιακών εξαρτήσεων Κανόνες του Armstrong Μη αναγώγιμα σύνολα εξαρτήσεων Στόχος και Αποτελέσματα Διάλεξης Κατανόηση της χρησιμότητας των συναρτησιακών εξαρτήσεων στις βάσεις δεδομένων με τη βοήθεια ποικίλων παραδειγμάτων

Συναρτησιακή Εξάρτηση 3 Μια συναρτησιακή εξάρτηση είναι μια συσχέτιση «πολλά προς ένα», από ένα σύνολο γνωρισμάτων σε ένα άλλο, μέσα σε μια δεδομένη σχέση.

Παράδειγμα: 4 SCP S# CITY P# QTY S1 London P1 100 S1 London P2 100 S2 Paris P1 200 S2 Paris P2 200 S3 Paris P2 300 S4 London P2 400 S4 London P4 400 S4 London P5 400

Ορισμός συναρτησιακής εξάρτησης για την περίπτωση της τιμής μιας δεδομένης σχέσης σε μια δεδομένη 5 χρονική στιγμή: Έστω R μια σχέση και έστω ότι τα Χ και Υ είναι τυχαία υποσύνολα του συνόλου των γνωρισμάτων της R. Τότε, λέμε ότι το Υ είναι συναρτησιακά εξαρτημένο από το X, ή συμβολικά X Y (διαβάζεται «το Χ καθορίζει συναρτησιακά το Υ», ή απλώς «Χ βέλος Υ»), αν και μόνο αν, η κάθε τιμή Χ της σχέσης R αντιστοιχεί σε μια ακριβώς τιμή Υ της R. Με άλλα λόγια, δύο οποιεσδήποτε συστοιχίες της R που συμφωνούν στην τιμή Χ, συμφωνούν επίσης στην τιμή Y. Σημείωση: Το αριστερό και το δεξιό μέλος μιας συναρτησιακής εξάρτησης λέγονται μερικές φορές ορίζον μέλος και εξαρτημένο μέλος, αντίστοιχα.

SCP S# CITY P# QTY S1 London P1 100 S1 London P2 100 S2 Paris P1 200 S2 Paris P2 200 S3 Paris P2 300 S4 London P2 400 S4 London P4 400 S4 London P5 400 6 Παράδειγμα: Για τη σχέση SCP έχουμε τις παρακάτω συναρτησιακές εξαρτήσεις: S# CITY {S#, P#} QTY {S#, P#} CITY {S#, P#} {CITY, QTY} {S#, P#} {S#} {S#, P#} {S#, P#, CITY, QTY} {S#} QTY QTY S#

Ορισμός συναρτησιακής εξάρτησης για την περίπτωση του συνόλου όλων των δυνατών τιμών που μπορεί να πάρει η δεδομένη σχέση σε διαφορετικές χρονικές 7 στιγμές: Έστω R μια μεταβλητή σχέσης και έστω ότι τα Χ και Υ είναι τυχαία υποσύνολα του συνόλου των γνωρισμάτων της R. Τότε, λέμε ότι το Υ είναι συναρτησιακά εξαρτημένο από το X, ή συμβολικά X Y (διαβάζεται «το Χ καθορίζει συναρτησικά το Υ», ή απλώς «Χ βέλος Υ»), αν και μόνο αν σε κάθε πιθανή επιτρεπτή τιμή της σχέσης R, η κάθε τιμή Χ αντιστοιχεί σε μια ακριβώς τιμή Υ. Με άλλα λόγια, σε κάθε επιτρεπτή τιμή της σχέσης R, όποτε δυο συστοιχίες συμφωνούν στην τιμή Χ, συμφωνούν και στην τιμή Y.

SCP S# CITY P# QTY S1 London P1 100 S1 London P2 100 S2 Paris P1 200 S2 Paris P2 200 S3 Paris P2 300 S4 London P2 400 S4 London P4 400 S4 London P5 400 Παράδειγμα: Για τη σχέση SCP έχουμε τις παρακάτω χρονικά ανεξάρτητες συναρτησιακές 8 εξαρτήσεις: S# CITY {S#, P#} QTY {S#, P#} CITY {S#, P#} {CITY, QTY} {S#, P#} {S#} {S#, P#} {S#, P#, CITY, QTY} Οι παρακάτω συναρτησιακές εξαρτήσεις δεν ισχύουν «κάθε χρονική στιγμή»: {S#} QTY QTY S# Η διατύπωση ότι «κάθε αποστολή από ένα δεδομένο προμηθευτή έχει την ίδια ποσότητα αποστολής» τυχαίνει να ισχύει για το δείγμα τιμών του Πίνακα 1 αλλά δεν ισχύει για όλες τις πιθανές επιτρεπτές τιμές της SCP.

Θήκη ενός δεδομένου συνόλου συναρτησιακών εξαρτήσεων 9 Το σύνολο όλων των συναρτησιακών εξαρτήσεων που συνεπάγονται από ένα δεδομένο σύνολο συναρτησιακών εξαρτήσεων S λέγεται θήκη (closure) του S και συμβολίζεται με S +.

Κανόνες συναγωγής του Armstrong: 10 Έστω ότι Α, Β και C είναι τυχαία υποσύνολα του συνόλου των γνωρισμάτων της δεδομένης σχέσης R, και έστω ότι ο συμβολισμός ΑΒ σημαίνει την ένωση των Α και Β. Τότε: 1. Ανακλαστικότητα: αν το Β είναι υποσύνολο του Α, τότε Α Β. 2. Επαύξηση: αν Α Β, τότε ΑC ΒC. 3. Μεταβατικότητα: αν Α Β και B C, τότε Α C. Οι κανόνες είναι πλήρεις και ασφαλείς,

11 Μερικοί κανόνες ακόμη μπορούν να προκύψουν από τους τρεις προηγούμενους, μεταξύ των οποίων οι παρακάτω: 4. Αυτοκαθορισμός: Α Α 5. Ανάλυση: αν A BC, τότε A B και A C. 6. Ένωση: αν A B και A C, τότε A BC. 7. Σύνθεση: αν A B και C D, τότε AC BD.

Παράδειγμα: Έστω ότι μας δίνεται η σχέση R, με τα γνωρίσματα A, B, C, D, E, 12 F και με τις παρακάτω συναρτησιακές εξαρτήσεις: A BC B E CD EF Αποδείξτε ότι ισχύει η συναρτησιακή εξάρτηση AD F στη σχέση R. Απόδειξη: A BC (δεδομένη) A C (1, ανάλυση) AD CD (2, επαύξηση) CD EF (δεδομένη) AD EF (3 και 4, μεταβατικότητα) AD F (5, ανάλυση)

Κλειστότητα συνόλου χαρακτηριστικών 13 Κλειστότητα του συνόλου χαρακτηριστικών X (attribute closure), ως προς το σύνολο των συναρτησιακών εξαρτήσεων S, είναι το σύνολο των χαρακτηριστικών που είναι συναρτησιακά εξαρτώμενα από το σύνολο των χαρακτηριστικών X και το συμβολίζουμε με X +. Ο προσδιορισμός του συνόλου κλειστότητας X + είναι δαπανηρός αλγοριθμικά ακόμη και για μικρό σύνολο εξαρτήσεων X

Αλγόριθμος εύρεσης κλειστότητας συνόλου 14 χαρακτηριστικών X Δίνεται πίνακας R και οι συναρτησιακές εξαρτήσεις S + μεταξύ των πεδίων του πίνακα. Να βρεθεί η κλειστότητα του χαρακτηριστικού Α. S

Παράδειγμα 1 Δίνεται πίνακας R (V, Y, Z, W) και το F + = {V Z, VZ W, W Y, VY W} 15 Να βρεθεί η κλειστότητα του χαρακτηριστικού V Λύση: Βήμα 1ο: X=V. Βήμα 2ο: X=VZ λόγω της V Z. Βήμα 3ο: X=VZW λόγω της VZ W. Βήμα 3ο: X=VZWY λόγω της W Y. Βήμα 3ο: Δεν μπορούν να γίνουν άλλες επαναλήψεις.

Παράδειγμα 2 16 Δίνεται πίνακας R ( V, Y, Z, W) και το F + = {V Υ, W Y, V W} Να βρεθεί η κλειστότητα του χαρακτηριστικού V Λύση: Βήμα 1ο: X=V. Βήμα 2ο: X=VY λόγω της V Y. Βήμα 3ο: X=VYW λόγω της V W. Βήμα 3ο: Δεν μπορούν να γίνουν άλλες επαναλήψεις. MΠΟΡΕΙ ΝΑ ΓΙΝΕΙ ΥΠΟΨΗΦΙΟ ΠΡΩΤΕΥΟΝ ΚΛΕΙΔΙ ΤΟ V?

Έστω ότι μας δίνεται ένας πίνακας R και οι εξαρτήσεις F + μεταξύ των πεδίων του. Πώς βρίσκουμε τα υποψήφια 17 κλειδιά? Βήμα 1ο: Βρες τα χαρακτηριστικά που δεν εμφανίζονται ούτε στην αριστερή, ούτε στην δεξιά πλευρά μιας συναρτησιακής εξάρτησης. Βήμα 2ο: Βρες τα χαρακτηριστικά που εμφανίζονται μόνο στη δεξιά πλευρά. Βήμα 3ο: Βρες τα χαρακτηριστικά που εμφανίζονται μόνο στην αριστερή πλευρά. Βήμα 4ο: Συνδύασε τα χαρακτηριστικά του βήματος 1 & 3. Βήμα 5ο: Βρες την κλειστότητα των χαρακτηριστικών του βήματος 4. Αν σε αυτήν ανήκουν όλα τα υπόλοιπα χαρακτηριστικά τότε είναι υποψήφιο κλειδί. Διαφορετικά, επανέλαβε τα βήματα 4 & 5 προσαρτώντας κάθε φορά ένα χαρακτηριστικό που δεν συμπεριλαμβάνεται στο βήμα 2 & 4.

18 Παράδειγμα 1 (Εύρεση υποψηφίων κλειδιών) Έστω R=(A,B,C,D,E,F,G) μία σχέση και F={AB -> F, AD -> E, F -> G} ένα σύνολο εξαρτήσεων στη σχέση αυτή. Βρείτε ένα υποψήφιο κλειδί στην R. Λύση: Βήμα 1ο: C. Βήμα 2ο: EG. Βήμα 3ο: ABD. Βήμα 4ο: ABCD. Βήμα 5ο: Η κλειστότητα του συνόλου χαρακτηριστικών του βήματος 4 είναι το ABCDFΕG. Άρα το ABCD είναι υποψήφιο κλειδί.

Παράδειγμα 2 (Εύρεση υποψηφίων κλειδιών) 19 Έστω R=(A,B,C,D) μία σχέση και F={ABC-> D, D -> A} ένα σύνολο εξαρτήσεων στη σχέση αυτή. Βρείτε ένα υποψήφιο κλειδί στην R. Λύση: Βήμα 1ο: -. Βήμα 2ο: -. Βήμα 3ο: BC. Βήμα 4ο: BC. Βήμα 5ο: Η κλειστότητα του BC είναι το BC. H κλειστότητα του ABC είναι το ABCD. Άρα το ΑBC είναι υποψήφιο κλειδί.

Μη αναγώγιμα σύνολα εξαρτήσεων 20 Ένα σύνολο συναρτησιακών εξαρτήσεων S είναι μη αναγώγιμο αν και μόνο αν έχει τις τρεις παρακάτω ιδιότητες:

21 1. Το δεξιό μέλος (το εξαρτημένο) κάθε συναρτησιακής εξάρτησης του S έχει μόνο ένα γνώρισμα (δηλαδή, είναι μονοσύνολο).

22 2. Το αριστερό μέλος (το ορίζον) κάθε συναρτησιακής εξάρτησης του S είναι και αυτό μη αναγώγιμο, που σημαίνει ότι κανένα γνώρισμα δεν μπορεί να απαλειφθεί από το ορίζον μέλος χωρίς να μεταβληθεί η θήκη S + (δηλαδή, χωρίς να μετατραπεί το S σε κάποιο σύνολο που δεν είναι ισοδύναμο με το S). Θα λέμε ότι μια τέτοια συναρτησιακή εξάρτηση είναι μη αναγώγιμη αριστερά.

23 3. Καμιά συναρτησιακή εξάρτηση του S δεν μπορεί να απαλειφθεί από το S χωρίς να μεταβληθεί η θήκη S + (δηλαδή, χωρίς να μετατραπεί το S σε κάποιο σύνολο που δεν είναι ισοδύναμο με το S).

Παράδειγμα: 24 P# PNAME P# COLOR P# WEIGHT P# CITY Το παραπάνω σύνολο είναι μη αναγώγιμο.

Παράδειγμα: 25 P# {PNAME, COLOR} P# WEIGHT P# CITY Το δεξιό μέλος αυτής της ΣΕ δεν είναι μονοσύνολο.

Παράδειγμα: 26 {P#, PNAME} COLOR P# PNAME P# WEIGHT P# CITY Αυτή η ΣΕ μπορεί να απλοποιηθεί με απαλοιφή του PNAME από το αριστερό μέλος χωρίς να μεταβληθεί η θήκη (δηλ. δεν είναι μη αναγώγιμη αριστερά).

Παράδειγμα: Έστω ότι μας δίνεται η σχέση R, με τα γνωρίσματα A, B, C, D και τις παρακάτω συναρτησιακές εξαρτήσεις: A BC B C A B AB C AC D 27 Θα υπολογίσουμε τώρα ένα μη αναγώγιμο σύνολο συναρτησιακών εξαρτήσεων που είναι ισοδύναμο με αυτό το δεδομένο σύνολο. 1. Το πρώτο βήμα είναι να ξαναγράψουμε τις συναρτησιακές εξαρτήσεις έτσι ώστε κάθε μια να έχει δεξιό μέλος που είναι μονοσύνολο: A B A C B C A B AB C AC D 2. Το γνώρισμα C μπορεί να απαλειφθεί από το αριστερό μέλος της συναρτησιακής εξάρτησης AC D, επειδή έχουμε την A C, που με επαύξηση δίνει A ΑC, και επίσης έχουμε την AC D, που με μεταβατικότητα δίνει A D. Επομένως, η C στο αριστερό μέλος της AC D είναι πλεονασμός. 3. Η συναρτησιακή εξάρτηση AB C μπορεί να απαλειφθεί, επειδή πάλι έχουμε την A C, που με επαύξηση δίνει AB CΒ, και με ανάλυση δίνει AB C. 4. Τέλος, η συναρτησιακή εξάρτηση A C συνεπάγεται από τις συναρτησιακές εξαρτήσεις A B και B C, και επομένως μπορεί επίσης να απαλειφθεί. Απομένουν λοιπόν οι εξής: A B B C A D Το σύνολο αυτό είναι μη αναγώγιμο.

28 Σας ευχαριστώ!!