ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών Ακαδημαϊκό Έτος 2005-2006 Μάθημα: ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ Διδάσκων: Καθ. Ιωάννης Βασιλείου ΕΝΔΕΙΚΤΙΚΗ ΛΥΣΗ ΚΑΙ ΣΧΟΛΙΑ ΣΤΗΝ ΠΡΩΤΗ ΑΣΚΗΣΗ ΣΧΕΔΙΑΣΜΟΙ ΒΑΣΕΩΝ ΔΕΔΟΜΕΝΩΝ Κώστας Πατρούμπας kpatro@dblab.ece.ntua.gr I. ΜΟΝΤΕΛΟ ΟΝΤΟΤΗΤΩΝ ΣΥΣΧΕΤΙΣΕΩΝ Στην εκφώνηση της άσκησης δίνονται όλες οι βασικές λειτουργικές απαιτήσεις και προδιαγραφές για τον σχεδιασμό μιας βάσης δεδομένων για το αεροδρόμιο «Ελ. Βενιζέλος», με έμφαση στον έλεγχο της πτητικής ικανότητας των αεροσκαφών. Εξειδικεύοντας και κατά περίπτωση επεκτείνοντας αυτούς τους κανόνες, είναι δυνατόν να οριστούν τα ακόλουθα σύνολα οντοτήτων και συσχετίσεων: ΣΥΝΟΛΑ ΟΝΤΟΤΗΤΩΝ ΥΠΑΛΛΗΛΟΙ (Employees) που εργάζονται στο αεροδρόμιο. Με βάση τις προδιαγραφές, κάθε υπάλληλος προσδιορίζεται μοναδικά από τον αριθμό της ταυτότητάς του () [πρωτεύον κλειδί] και ανήκει στο ενιαίο σωματείο των εργαζομένων με αριθμό μέλους (Union-Membership-umber). Ο αριθμός μέλους μπορεί να θεωρηθεί ως υποψήφιο κλειδί μόνον εφόσον γίνει η παραδοχή ότι όλοι ανεξαιρέτως οι εργαζόμενοι (π.χ. και οι έκτακτοι συμβασιούχοι ορισμένου χρόνου) είναι εγγεγραμμένοι στο σωματείο. Εκτός από τον μισθό (Salary), υπάρχουν δύο σύνθετα γνωρίσματα: η διεύθυνση κατοικίας (Address), η οποία αναλύεται σε οδό (Street-ame), αριθμό (Street-umber) και ταχυδρομικό κώδικα (Postal-code) και επιπλέον το όνομα (ame) του υπαλλήλου, αποτελούμενο από επώνυμο (Surname) και μικρό όνομα (First-ame). Τέλος, το τηλέφωνο (Phone-umber) μοντελοποιείται ως πλειότιμο γνώρισμα για να καλύψει την περίπτωση πολλαπλών αριθμών (σταθερό, κινητό κλπ.). Παρατηρήστε ότι παρόλο που μερικά από τα προαναφερθέντα γνωρίσματα προδιαγράφονται από την εκφώνηση μόνο για τους τεχνικούς, είναι δυνατόν να γίνει η παραδοχή ότι ενδιαφέρουν για όλους τους υπαλλήλους, για λόγους πληρότητας της βάσης δεδομένων. Οι ΤΕΧΝΙΚΟΙ (Technicians) θεωρούνται ως μερική εξειδίκευση των υπαλλήλων, με πρόσθετο γνώρισμα την βαθμίδα τους (Rank), λ.χ. μηχανικός, υπομηχανικός κλπ. Σημειώστε ότι το κλειδί κληρονομείται από την οντότητα Υπάλληλοι (υπερκλάση), οπότε δεν χρειάζεται να οριστεί ξανά. Ομοίως, οι ΕΛΕΓΚΤΕΣ ΕΝΑΕΡΙΑΣ ΚΥΚΛΟΦΟΡΙΑΣ (Air-Traffic Controllers) είναι επίσης μερική εξειδίκευση των υπαλλήλων. Εφόσον χρειάζεται να υπόκεινται σε ιατρικές εξετάσεις, προστίθεται ένα σύνθετο γνώρισμα Ιατρική εξέταση (Medical-Examination), όπου καταγράφεται η ημερομηνία της πιο πρόσφατης εξέτασης (Last-Exam-Date) και το πόρισμά της (Exam-Result), το οποίο κρίνει την ικανότητα εκτέλεσης των καθηκόντων του ελεγκτή. Η μοντελοποίηση γίνεται απλώς με γνώρισμα και όχι με άλλον τρόπο (λ.χ.
συσχέτιση με ένα άλλο σύνολο οντοτήτων για τις ιατρικές εξετάσεις), επειδή ζητείται να τηρούνται μόνο τα στοιχεία της πιο πρόσφατης εξέτασης. Και πάλι, δεν χρειάζεται να οριστεί κλειδί. ΤΥΠΟΙ ΑΕΡΟΣΚΑΦΩΝ (Aircraft Model) που εξυπηρετούνται από την τεχνική βάση του αεροδρομίου, με γνωρίσματα τον μοναδικό κωδικό του μοντέλου () [άρα πρωτεύον κλειδί], την χωρητικότητα σε επιβάτες (Capacity), το βάρος (Weight) και την κατασκευάστρια εταιρεία (Manufacturer) [πρόσθετο γνώρισμα]. ΑΕΡΟΣΚΑΦΗ (Aircraft) που γίνονται δεκτά για συντήρηση, με γνωρίσματα τον μοναδικό κωδικό εγγραφής (Registration-umber) [πρωτεύον κλειδί] και επιπρόσθετα, την ιδιοκτήτρια εταιρεία (Air-Carrier), καθώς και την χρονολογία κατασκευής του (Construction-Date). ΚΑΝΟΝΕΣ ΕΛΕΓΧΟΥ (FAA-Test) που προδιαγράφονται από την Ομοσπονδιακή Διοίκηση Αεροπλοΐας για την πιστοποίηση της πτητικής ικανότητας των αεροσκαφών. Κάθε τέτοιος κανόνας ελέγχου χαρακτηρίζεται μοναδικά από έναν κωδικό (Test- umber) [πρωτεύον κλειδί], έχει ένα όνομα (Test-ame) και ορίζει την μέγιστη δυνατή βαθμολογία (Max-Score) που επιτρέπεται να δοθεί σε κάποιο αεροσκάφος γι αυτό το είδος ελέγχου. ΠΡΑΓΜΑΤΟΠΟΙΗΘΕΝΤΕΣ ΕΛΕΓΧΟΙ (Checks) που διενεργούνται από τεχνικούς του αεροδρομίου σε συγκεκριμένα αεροσκάφη βάσει των ισχυόντων κανονισμών ελέγχου. Λόγω της εμφανούς εξάρτησης από άλλα ισχυρά σύνολα οντοτήτων (Aircraft, FAA- Test, Technicians), οι πραγματοποιηθέντες έλεγχοι μοντελοποιούνται ως αδύναμο σύνολο οντοτήτων (weak entity). Εκτός από τα γνωρίσματα που αφορούν την ημερομηνία (Check-Date), την διάρκεια εκτέλεσης (Check-Duration) και την βαθμολογία που δόθηκε (Check-Score) στο αεροσκάφος από τον τεχνικό, χρειάζεται να προσδιοριστεί και ένα διακριτικό γνώρισμα. Αν γινόταν η παραδοχή ότι κάποιο αεροσκάφος δεν μπορεί να ελεγχθεί απ τον ίδιο τεχνικό μέσα στην ίδια ημέρα, τότε η ημερομηνία (Check-Date) θα μπορούσε να εξυπηρετήσει ως μερικό κλειδί. Ωστόσο, εδώ υιοθετείται η λογική υπόθεση ότι κάτι τέτοιο δεν πρέπει να αποκλειστεί, οπότε εισάγεται ένα πρόσθετο γνώρισμα (Check-ID) ως μερικό κλειδί (λ.χ. ο αύξων αριθμός του δελτίου ελέγχου του αεροσκάφους). ΣΥΝΟΛΑ ΣΥΣΧΕΤΙΣΕΩΝ Ως προς την συσχέτιση ISA, γίνεται η υπόθεση ότι οι ΤΕΧΝΙΚΟΙ και οι ΕΛΕΓΚΤΕΣ ΕΝΑΕΡΙΑΣ ΚΥΚΛΟΦΟΡΙΑΣ είναι ξένα σύνολα. Η εξειδίκευση δεν είναι συνολική αλλά μερική, άρα επιτρέπεται να καταγράφονται στην βάση δεδομένων και άλλοι εργαζόμενοι που δεν ανήκουν σε καμμία από τις δύο κατηγορίες, λ.χ. διοικητικό προσωπικό. Η συσχέτιση ΑΝΗΚΕΙ (BELOGS) διασυνδέει τους ΤΥΠΟΥΣ ΑΕΡΟΣΚΑΦΩΝ με τα αντίστοιχα ΑΕΡΟΣΚΑΦΗ με βαθμό πληθικότητας : Ν. Τα ΑΕΡΟΣΚΑΦΗ έχουν ολική συμμετοχή στην συσχέτιση, εφόσον για κάθε αεροσκάφος έχει μόνο έναν τύπο ο οποίος πρέπει να είναι γνωστός. Απ την άλλη, είναι ενδεχόμενο να υπάρχει τύπος αεροσκαφών που να μην έχει τύχει να εμφανιστεί σε αεροσκάφη που έχουν σταθμεύσει στο αεροδρόμιο (λ.χ. το νέο μοντέλο της AIRBUS ή το Concord), γι αυτό και δεν απαιτείται ολική συμμετοχή των ΤΥΠΩΝ ΑΕΡΟΣΚΑΦΩΝ στην συσχέτιση. Η συσχέτιση ΕΙΔΙΚΕΥΕΤΑΙ (IS-EXPERT-I) προσδιορίζει τους ΤΥΠΟΥΣ ΑΕΡΟΣΚΑ- ΦΩΝ στους οποίους έχει εξειδικευτεί κάθε ΤΕΧΝΙΚΟΣ. Πρόκειται για μια σχέση πολλάπρος-πολλά ( : M), αφού κάθε τεχνικός μπορεί να ασχολείται με πολλά μοντέλα, ενώ για κάθε μοντέλο υπάρχουν διάφοροι ειδικευμένοι τεχνικοί. Από την πλευρά των 2
τεχνικών απαιτείται ολική συμμετοχή, αφού κάθε τεχνικός πρέπει να είναι ειδικευμένος σε έναν ή περισσότερους τύπους αεροσκαφών. Το γνώρισμα Degree-of-Experience φανερώνει τον βαθμό εξειδίκευσης του τεχνικού για κάθε μοντέλο με το οποίο ασχολείται. Η συσχέτιση ΣΥΜΠΙΠΤΕΙ ΕΞΕΙΔΙΚΕΥΣΗ (CO-EXPERTISE) είναι τριπλή (πολλάπρος-πολλά-προς-πολλά), μεταξύ δύο «αντιγράφων» του συνόλου ΤΕΧΝΙΚΟΙ και των ΤΥΠΩΝ ΑΕΡΟΣΚΑΦΩΝ. Πρόκειται για έναν τρόπο καταγραφής των τεχνικών παρόμοιας εξειδίκευσης, η οποία φυσικά αναφέρεται κάθε φορά σε συγκεκριμένο τύπο αεροσκάφους. Παρατηρήστε τους διακριτούς ρόλους (έχει συνάδελφο, είναι συνάδελφος) που έχουν αποδοθεί στις συνδέσεις με την οντότητα ΤΕΧΝΙΚΟΙ και την ολική συμμετοχή των ΤΥΠΩΝ ΑΕΡΟΣΚΑΦΩΝ (εφόσον αυτοί καθορίζουν την ομοιότητα της εξειδίκευσης). Βεβαίως, δεν αποφεύγεται κάποιας μορφής πλεονασμός λόγω αμοιβαιότητας των ζευγών τεχνικών σε κάθε εγγραφή, γεγονός που διπλασιάζει την πληροφορία που πρέπει να τηρείται (λ.χ. ο Νίκος έχει την ίδια εξειδίκευση με τον Γιάννη στα BOEIG-737, αλλά και ο Γιάννης έχει την ίδια εξειδίκευση με τον Νίκο στα BOEIG-737). Εναλλακτικά, η ανεύρεση τεχνικών παρόμοιας εξειδίκευσης θα μπορούσε να προκύπτει από κατάλληλο ερώτημα (query) στην βάση δεδομένων, κάτι που ίσως έχει περισσότερο νόημα σε μια πραγματική εφαρμογή, ιδίως λόγω και του ζητήματος της ενημέρωσης (updates) των περιεχομένων της συσχέτισης. Ωστόσο, προτιμάται ο πρώτος τρόπος εφόσον κάτι τέτοιο ζητείται ρητώς από τις προδιαγραφές. Οι τρείς τελευταίες συσχετίσεις ΠΡΟΣΔΙΟΡΙΖΕΤΑΙ (SPECIFIED), ΕΦΑΡΜΟΖΕΤΑΙ (APPLIED) και ΕΚΤΕΛΕΙ (PERFORMS) αφορούν την αδύναμη οντότητα ΠΡΑΓΜΑΤΟΠΟΙΗΘΕΝΤΕΣ ΕΛΕΓΧΟΙ (Checks) και αποτελούν τις προσδιοριστικές της συσχετίσεις. Πράγματι, κάθε πραγματοποιούμενος έλεγχος ΠΡΟΣΔΙΟΡΙΖΕΤΑΙ βάσει του αντίστοιχου κανόνα της FAA, ΕΦΑΡΜΟΖΕΤΑΙ σε ένα συγκεκριμένο αεροσκάφος και τον ΕΚΤΕΛΕΙ ένας ορισμένος τεχνικός, γι αυτό οι ΠΡΑΓΜΑΤΟΠΟΙΗΘΕΝΤΕΣ ΕΛΕΓΧΟΙ έχουν ολική συμμετοχή και στις τρεις συσχετίσεις. Επίσης, εφόσον κάθε κανόνας μπορεί να εφαρμοστεί σε πολλούς ελέγχους, ο ίδιος τεχνικός γενικά πραγματοποιεί πολλούς ελέγχους και το κάθε αεροσκάφος είναι δυνατόν να υποστεί διάφορους ελέγχους, καθεμιά από τις τρεις συσχετίσεις έχει βαθμό πληθικότητας :. Το συνολικό διάγραμμα οντοτήτων-συσχετίσεων (ER-diagram) για την βάση δεδομένων του αεροδρομίου εικονίζεται στην επόμενη σελίδα. Τέλος, αξίζει να σημειωθεί ότι ένα περισσότερο προωθημένο και πιο περίπλοκο διάγραμμα μπορεί να προκύψει αν τεθούν επιπλέον προδιαγραφές ή περιορισμοί. Λ.χ. τί αλλαγές ή προσθήκες πρέπει να γίνουν αν χρειαστεί να διασφαλιστεί ότι δεν θα ανατεθεί ο έλεγχος αεροσκάφους σε κάποιον τεχνικό, αν εκείνος δεν είναι εξειδικευμένος σ αυτόν τον τύπο αεροσκάφους; Μια (ατελής) απόπειρα θα ήταν η τριπλή συσχέτιση μεταξύ ΤΕΧΝΙΚΟΥ, ΤΥΠΟΥ ΑΕΡΟΣΚΑΦΟΥΣ και ΚΑΝΟΝΩΝ ΕΛΕΓΧΟΥ, αντικαθιστώντας την διπλή ΕΞΕΙΔΙΚΕΥΕΤΑΙ. Μια άλλη λύση θα μπορούσε να επιχειρηθεί με χρήση συνάθροισης για να είναι δυνατή η διασύνδεση συσχετίσεων (όπως δοκίμασαν μερικοί φοιτητές, ορισμένοι εκ των οποίων πλησίασαν αρκετά κοντά σε μια ικανοποιητική λύση). Κατά την γνώμη μου, συναθροίζοντας πρώτα τους ΤΕΧΝΙΚΟΥΣ με τους ΚΑΝΟΝΕΣ ΕΛΕΓΧΟΥ που διενεργούν και τους ΤΥΠΟΥΣ ΑΕΡΟΣΚΑΦΩΝ όπου εξειδικεύονται, είναι δυνατόν να γίνει κατόπιν συσχέτιση με τα ΑΕΡΟΣΚΑΦΗ τα οποία θα υποβληθούν σε ΕΛΕΓΧΟ. Υπάρχει λοιπόν μια τριπλή συσχέτιση (μεταξύ ΤΕΧΝΙΚΩΝ, ΚΑΝΟΝΩΝ ΕΛΕΓΧΟΥ και ΤΥΠΟΥΣ ΑΕΡΟΣΚΑΦΩΝ) εντός συνάθροισης, η οποία με την σειρά της συμμετέχει σε άλλη μια τριπλή συσχέτιση (με ΑΕΡΟΣΚΑΦΗ και ΠΡΑΓΜΑΤΟΠΟΙΗΘΕΝΤΕΣ ΕΛΕΓΧΟΥΣ). Φυσικά, ένα τέτοιο διάγραμμα είναι σαφώς πιο περιεκτικό, αλλά όμως δυσκολότερο στην κατανόηση, πιθανόν δε και προβληματικό στην υλοποίηση σε σχεσιακό σχήμα στην βάση δεδομένων λόγω των υπερβολικά πολλών εξαρτήσεων μεταξύ των πινάκων. 3
ΔΙΑΓΡΑΜΜΑ ΟΝΤΟΤΗΤΩΝ - ΣΥΣΧΕΤΙΣΕΩΝ First-ame Surname Street-ame Street-umber Address ame Union-Membership- umber Postal-Code Phone- umber EMPLOYEES Salary CO- EXPERTISE has colleague ISA Manufacturer Model-Code is colleague disjoint Capacity AIRCRAFT MODEL TECHICIAS M IS- EXPERT -I AIR TRAFFIC COTROLLERS Weight Rank 4 Years-of- Experience Medical-Examination BELOGS PERFORMS Exam-Result Last-Exam- Date Registration- umber Test-ame Test-umber AIRCRAFT APPLIED CHECKS SPECIFIED FAA-TEST Air-Carrier Check-Score Check-ID Max-Score Construction- Date Check-Duration Check-Date
II. ΣΧΕΣΙΑΚΟ ΜΟΝΤΕΛΟ Με βάση το προηγούμενο διάγραμμα οντοτήτων-συσχετίσεων, μπορεί να γίνει η μετατροπή στο σχεσιακό σχήμα. Τα κλειδιά σημειώνονται με έντονα στοιχεία (bold) και υπογράμμιση. Αρχικά, κάθε ισχυρό σύνολο οντοτήτων μετατρέπεται απευθείας σε σχέση: EMPLOYEES (, Union-Membership-umber, First-ame, Surname, Street-ame, Street-umber, Postal-code, Salary) Τα σύνθετα γνωρίσματα Address και ame έχουν αντικατασταθεί με τα συστατικά τους. Εν τούτοις, για το πλειότιμο γνώρισμα Phone-umber δημιουργείται χωριστός πίνακας, όπου ο αριθμός ταυτότητας του υπαλλήλου () συμπεριλαμβάνεται στο κλειδί: PHOES (, Phone-umber) Εξάλλου, οι εξειδικεύσεις διατηρούν το κλειδί της υπερκείμενης κλάσης, μαζί με τα τυχόν πρόσθετα δικά τους γνωρίσματα. Εφόσον η εξειδίκευση είναι μερική, η σχέση EMPLOYEES παραμένει και δεν υποκαθίσταται από τις υποκλάσεις της: TECHICIAS (, Rank) AIR-TRAFFIC-COTROLLERS (, Last-Exam-Date, Exam-Result) αντικαθιστώντας εντελώς το σύνθετο γνώρισμα Medical-Examination. Επίσης, βάσει του διαγράμματος προκύπτουν οι ακόλουθες σχέσεις για τα ομώνυμα σύνολα οντοτήτων: AIRCRAFT-MODEL (, Capacity, Weight, Manufacturer) AIRCRAFT (Registration-umber, Air-Carrier, Construction-Date) FAA-TEST (Test-umber, Test-ame, Max-Score) Τέλος, η αδύναμη οντότητα ΠΡΑΓΜΑΤΟΠΟΙΗΘΕΝΤΕΣ ΕΛΕΓΧΟΙ χρειάζεται τα κλειδιά των ισχυρών οντοτήτων που την προσδιορίζουν προκειμένου να σχηματίσει, μαζί με το δικό της μερικό κλειδί, το σύνθετο κλειδί της τελικής σχέσης: CHECKS (Registration-umber,, Test-umber, Check-ID, Check-Date, Check- Duration, Check-Score) Ακολούθως, κατά την μετατροπή των συσχετίσεων του διαγράμματος, η σχέση ISA μπορεί προφανώς να αγνοηθεί. Επίσης, δεν υπάρχει καμμία συσχέτιση :, ενώ εντοπίζονται διάφορες σχέσεις :, οι οποίες διατυπώνονται έχοντας ως κλειδί εκείνο που αντιστοιχεί στην οντότητα με πληθικότητα, ως εξής: BELOGS (Registration-umber, ) Για τις υπόλοιπες προσδιοριστικές συσχετίσεις SPECIFIED, APPLIED και PERFORMS με βαθμό πληθικότητας :, δεν χρειάζεται να παραχθεί σχέση, διότι είναι περιττή. Ακόμη κι αν παράγονταν, θα μπορούσαν τελικά να συγχωνευτούν με την σχέση για το αδύναμο σύνολο οντοτήτων CHECKS (το οποίο έχει ολική συμμετοχή σ αυτές), εφόσον τα γνωρίσματά τους συμπεριλαμβάνονται σ αυτήν (συναποτελούν το κλειδί της CHECKS). Απομένουν οι συσχετίσεις πολλά-προς-πολλά, για τις οποίες θα πρέπει να συνδυαστούν τα πρωτεύοντα κλειδιά των οντοτήτων που συμμετέχουν σ αυτές: 5
IS-EXPERT-I (,, Degree-of-Experience) CO-EXPERTISE (, -Colleague, ) Αξίζει να σημειωθεί ότι στην δεύτερη σχέση επαναλαμβάνεται δύο φορές το κλειδί της οντότητας ΤΕΧΝΙΚΟΙ, αλλά με άλλη έννοια (γι αυτό και έχει δοθεί ψευδώνυμο): η πρώτη εμφάνιση () δηλώνει τον τεχνικό, ενώ η δεύτερη (-Colleague) προσδιορίζει ποιος είναι ο συνάδελφός του με την ίδια εξειδίκευση. Σε δεύτερη φάση, θα πρέπει να ελεγχθούν τυχόν πλεονασμοί στις σχέσεις που έχουν παραχθεί και να γίνουν συγχωνεύσεις, αν χρειαστεί. Όντως, υπάρχει μια τέτοια δυνατότητα: Η σχέση BELOGS είναι : Ν με κλειδί το Registration-umber, όπως και η σχέση AIRCRAFT. Επίσης, η AIRCRAFT έχει ολική συμμετοχή στην BELOGS, όπως φαίνεται και στο διάγραμμα οντοτήτων συσχετίσεων. Επομένως, μπορούμε να τις συγχωνεύσουμε σε μια ενιαία σχέση με το κοινό τους κλειδί: AIRCRAFT-FLEET (Registration-umber,, Air-Carrier, Construction-Date) καταργώντας τις δύο υφιστάμενες σχέσεις (AIRCRAFT, BELOGS). Στο σχεσιακό σχήμα που μόλις ολοκληρώθηκε δεν είναι δυνατόν να απεικονιστούν κάποιοι δομικοί περιορισμοί, εμφανείς όμως στο διάγραμμα οντοτήτων-συσχετίσεων: Ο βαθμός απεικόνισης, δηλαδή πόσες οντότητες διασυνδέονται με άλλες σε κάποια συσχέτιση. Οι περιορισμοί συμμετοχής μιας οντότητας σε μια συσχέτιση (λ.χ. ολική συμμετοχή). Τυχόν εξειδικεύσεις ή γενικεύσεις οντοτήτων (κλάση-υποκλάση) και η αντίστοιχη κάλυψη (πλήρης, μερική). Αδύναμα σύνολα οντοτήτων. Από την άλλη πλευρά, στο σχεσιακό σχήμα μπορούν να δηλωθούν περιορισμοί αναφοράς με ξένα κλειδιά, υπό την προϋπόθεση ότι θα χρησιμοποιηθεί μια διαγραμματική μορφή για το σχήμα, σαν κι αυτή που παρατίθεται στην επόμενη σελίδα. Βεβαίως, άλλης μορφής περιορισμοί είναι αδύνατον να εκφραστούν και με τις δύο μορφές, όπως λ.χ. οι έλεγχοι περιεχομένου ή πεδίου τιμών («η βαθμολογία που δίνει κάποιος τεχνικός δεν μπορεί να υπερβεί την μέγιστη βαθμολογία που προκαθορίζεται για τον συγκεκριμένο έλεγχο»). Επίσης, όπως θα μάθετε στο κεφ. 7 [SKS02], δεν είναι δυνατόν να παρασταθούν συναρτησιακές εξαρτήσεις (functional dependencies), οπότε λ.χ. είναι δυνατόν να συνάγουμε την τιμή ενός γνωρίσματος κάποιας σχέσης ανάλογα με τις τιμές άλλων γνωρισμάτων που το προσδιορίζουν. ΒΙΒΛΙΟΓΡΑΦΙΑ [E94] R. Elmasri, and S.B. avathe. Fundamentals of Database Systems, pp. 6-74, 4 th edition, Addison-Wesley, 2003. [GUW02] H. Garcia-Molina, J. D. Ullman, and J. Widom. Database Systems: the Complete Book, pp. 23-80, Prentice Hall, 2002. [GR03] J. Gehrke, and R. Ramakrishnan. Database Management Systems, pp. 28-49, 3 rd edition, McGraw-Hill, 2003. [SKS02] A. Silberschatz, H. Korth, and S. Sudarshan. Database System Concepts, pp. 42-68, 79-88, 4 th edition, McGraw-Hill, 2002. [Ull88] J. D. Ullman. Principles of Database and Knowledge-base Systems, Vol., pp. 32-53, Computer Science Press, 988. 6
EMPLOYEES Union-Membership-umber First-ame Surname Street-ame Street-umber Postal-code Salary ΔΙΑΓΡΑΜΜΑ ΣΧΕΣΙΑΚΟΥ ΜΟΝΤΕΛΟΥ TECHICIAS Rank AIR-TRAFFIC- COTROLLERS Last-Exam-Date Exam-Result PHOES Phone-umber AIRCRAFT-MODEL Capacity Weight Manufacturer AIRCRAFT-FLEET Registration-umber Air-Carrier Construction-Date FAA-TEST Test-umber Test-ame Max-Score CHECKS Registration-umber Test-umber Check-ID Check-Date Check-Duration Check-Score IS-EXPERT-I Degree-of-Experience CO-EXPERTISE -Colleague 7