Πίνακας περιεχομένων:
Ορισμός - Τι σημαίνει λειτουργική εξάρτηση;
Η λειτουργική εξάρτηση είναι μια σχέση που υπάρχει όταν ένα χαρακτηριστικό καθορίζει με μοναδικό τρόπο ένα άλλο χαρακτηριστικό.
Αν το R είναι σχέση με τα χαρακτηριστικά Χ και Υ, μια λειτουργική εξάρτηση μεταξύ των χαρακτηριστικών αντιπροσωπεύεται ως Χ-> Υ, η οποία καθορίζει ότι το Υ είναι λειτουργικά εξαρτώμενο από το Χ. Εδώ το Χ είναι καθοριστικό σύνολο και το Υ είναι εξαρτώμενο χαρακτηριστικό. Κάθε τιμή του Χ σχετίζεται με ακριβώς μία τιμή Υ.
Η λειτουργική εξάρτηση σε μια βάση δεδομένων χρησιμεύει ως περιορισμός μεταξύ δύο συνόλων χαρακτηριστικών. Ο καθορισμός της λειτουργικής εξάρτησης είναι ένα σημαντικό μέρος του σχεδιασμού της σχεσιακής βάσης δεδομένων και συμβάλλει στην εξομάλυνση της όψης.
Η Techopedia εξηγεί τη Λειτουργική Εξάρτηση
Μια λειτουργική εξάρτηση είναι ασήμαντη εάν το Y είναι ένα υποσύνολο του X. Σε έναν πίνακα με τα χαρακτηριστικά του ονόματος υπαλλήλου και του αριθμού κοινωνικής ασφάλισης (SSN), το όνομα του υπαλλήλου εξαρτάται λειτουργικά από το SSN, επειδή το SSN είναι μοναδικό για μεμονωμένα ονόματα. Ένα SSN αναγνωρίζει συγκεκριμένα τον εργαζόμενο, αλλά ένα όνομα υπαλλήλου δεν μπορεί να διακρίνει το SSN, επειδή περισσότεροι από ένας υπάλληλοι θα μπορούσαν να έχουν το ίδιο όνομα.
Η λειτουργική εξάρτηση ορίζει την φυσιολογική μορφή Boyce-Codd και την τρίτη κανονική μορφή. Αυτό διατηρεί την εξάρτηση μεταξύ χαρακτηριστικών, εξαλείφοντας την επανάληψη των πληροφοριών. Η λειτουργική εξάρτηση σχετίζεται με ένα υποψήφιο κλειδί, το οποίο προσδιορίζει με μοναδικό τρόπο μια πλειάδα και καθορίζει την αξία όλων των άλλων χαρακτηριστικών της σχέσης. Σε ορισμένες περιπτώσεις, λειτουργικά εξαρτώμενα σύνολα είναι μη αναστρέψιμα εάν:
- Το δεξιό σύνολο λειτουργικής εξάρτησης διατηρεί μόνο ένα χαρακτηριστικό
- Το αριστερό σύνολο λειτουργικής εξάρτησης δεν μπορεί να μειωθεί, καθώς αυτό μπορεί να αλλάξει ολόκληρο το περιεχόμενο του σετ
- Η μείωση οποιασδήποτε υπάρχουσας λειτουργικής εξάρτησης μπορεί να αλλάξει το περιεχόμενο του σετ
Μια σημαντική ιδιότητα μιας λειτουργικής εξάρτησης είναι το αξίωμα του Armstrong, το οποίο χρησιμοποιείται στην ομαλοποίηση της βάσης δεδομένων. Σε μια σχέση R, με τρία χαρακτηριστικά (X, Y, Z), το αξίωμα του Armstrong ισχύει αν πληρούνται οι ακόλουθες συνθήκες:
- Axiom της μεταβατικότητας: Εάν X-> Y και Y-> Z, τότε X-> Z
- Axiom of Reflexivity (Αντικειμενική Αντικειμενικότητα) (Property Subset): Αν το Y είναι υποσύνολο του X, τότε X-> Y
- Axiom of Augmentation: Αν X-> Y, τότε XZ-> YZ
