Copyright 2007 Ramez Elmasri and Shamkant B. NavatheΕλληνικήΈκδοση ίαυλος. ιαφάνεια 4-1

Σχετικά έγγραφα

Βάσεις Δεδομένων Ι. 4 ο Φροντιστήριο. Πέρδικα Πολίνα [perdika]

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


Η εταιρεία είναι οργανωµένη σε τµήµατα Κάθε ΤΜΗΜΑένα όνοµα, κωδικό και έναν εργαζόµενο που διευθύνει το τµήµα. Αποθηκεύεται η ηµεροµηνία που ανέλαβε

ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ. Κανόνες μετατροπής Διαγράμματος Οντοτήτων-Συσχετίσεων σε Σχεσιακό Σχήμα. Δρ. Βαγγελιώ Καβακλή ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ,

Διάγραμμα Οντοτήτων - Συσχετίσεων

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

Διαγράμματα UML στην Ανάλυση. Μέρος Β Διαγράμματα Κλάσεων Διαγράμματα Αντικειμένων

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

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

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


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

Διαδικασία Ανάπτυξης ΣΔΒΔ

Εισαγωγή. Σχεδιασµός µιας Β

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

ΑΝΑΛΥΣΗ ΑΠΑΙΤΗΣΕΩΝ ανάλυση απαιτήσεων Σε αυτό το μάθημα θα ασχοληθούμε με : Δημιουργία μοντέλων

Εννοιολογικός Σχεδιασμός Βάσεων Δεδομένων & ER-Μοντέλο. ER-Μοντέλο ER-Διαγράμματα (1 & 2) ER- Συσχετίσεις Υψηλότερου Βαθμού EER Μοντέλο & Διαγράμματα

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

Μοντελοποίηση Συστημάτων. Διαγράμματα Κλάσεων ClassDiagrams

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

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

Μοντέλο Οντοτήτων-Συσχετίσεων. Η ανάγκη Διαγράμματα ΟΣ Σύνολα Οντοτήτων-Συσχετίσεων Απεικονίσεις Επεκτάσεις

Διάλεξη 05: Εννοιολογική Σχεδίαση Βάσης Δεδομένων III (Entity Relationship Modelling) Διδάσκων: Παναγιώτης Ανδρέου

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

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

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

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

Σχεσιακή δοµή δεδοµένων

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

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

ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ

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

2. Εννοιολογική Μοντελοποίηση Δεδομένων

Πληροφοριακά Συστήματα Διοίκησης Ενότητα 5: Διαγράμματα Κλάσης (1ο Μέρος)

Εργαστήριο Βάσεων Δεδομένων. Entity-Relationship Diagram (ER)

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

Βάσεις Δεδομένων. Σταύρος Βαλσαμίδης Βάσεις Δεδομένων Διάγραμμα Ο-Σ 1

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

Διαγράμματα Κλάσεων στη Σχεδίαση

ER Diagram Συσχετίσεις Ασθενείς Οντότητες Παράδειγμα ER.. Εργαστήριο Βάσεων Δεδομένων. Entity-Relationship Diagram (ER)

Βάσεις εδοµένων. Βασίλειος Βεσκούκης, Εµµ. Στεφανάκης. Το µοντέλο Οντοτήτων Συσχετίσεων Το Σχεσιακό Μοντέλο εδοµένων

Μοντελοποίηση Πεδίου

Περιεχόμενο του μαθήματος

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

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

Ενότητα 2: Οι Θεµελιώδεις Αρχές των Ψηφιακών Εικόνων

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

Ελληνικό Ανοικτό Πανεπιστήµιο. Βασικές έννοιες αντικειµενοστρεφούς τεχνολογίας. ρ. Πάνος Φιτσιλής

ΗΥ360 - Αρχεία και Βάσεις Δεδομένων Χειμερινό Eξάμηνο Μοντέλο Οντοτήτων-Συσχετίσεων Σχεσιακό Μοντέλο

ΑΠΛΗ ΚΛΗΡΟΝΟΜΙΚΟΤΗΤΑ

ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ

Βάσεις Δεδομένων Ι. 2 ο Φροντιστήριο. Πέρδικα Πολίνα [perdika]

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

Η στοίβα (stack) H στοίβα είναι ένας αποθηκευτικός χώρος οργανωµένος κατά τέτοιο τρόπο ώστε να υποστηρίζει δύο βασικές λειτουργίες:

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

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

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

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

Τα διαγράµµατα κλάσεων

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

HY118- ιακριτά Μαθηµατικά

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

Βάσεις εδοµένων. Βασίλειος Βεσκούκης, Εµµ. Στεφανάκης ΜΟΝΤΕΛΟΠΟΙΗΣΗ Ε ΟΜΕΝΩΝ, ΚΛΑΣΙΚΑ ΜΟΝΤΕΛΑ Ε ΟΜΕΝΩΝ

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

Μερικές διατάξεις. HY118- ιακριτά Μαθηµατικά. Μερικές διατάξεις, παράδειγµα. ιαγράµµατα Hasse: Αναπαράσταση σχέσεων µερικής διάταξης

Γ. Κορίλη Αλγόριθµοι ροµολόγησης

Συνάρτηση f, λέγεται η διαδικασία µε βάση την. Παρατηρήσεις - Σχόλια f

Copyright 2007 Ramez Elmasr and Shamkant B. NavatheiΕλληνικήΈκδοση ίαυλος. ιαφάνεια 3-1

Σχεσιακό Μοντέλο. Εισαγωγή. Βάσεις εδοµένων : Σχεσιακό Μοντέλο 1

Department of Computer Science University of Cyprus. EPL342 Databases. Lecture 6: ER III. ER Model + Enhanced ER Model

06 Αντικειμενοστρεφής ανάλυση και σχεδιασμός

Η γλώσσα μοντελοποίησης UML. Βασικές αρχές Τεχνολογίας Λογισμικού, 8η αγγ. έκδοση

Department of Computer Science University of Cyprus. EPL342 Databases. Lecture 5: ER II. Data Modeling Using the ER Model

Σχεδιασμός μιας Β : Βήματα

Υποδείγματα Ανάπτυξης

Ασφάλεια Πληροφοριακών Συστηµάτων. Επαναληπτικές Ασκήσεις


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

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

Εξαγωγή κανόνων από αριθµητικά δεδοµένα

Μάθημα: ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ Διδάσκοντες: Καθ. Ιωάννης Βασιλείου, Καθ. Τιμολέων Σελλής ΕΝΔΕΙΚΤΙΚΗ ΛΥΣΗ ΚΑΙ ΣΧΟΛΙΑ ΣΤΗΝ ΠΡΩΤΗ ΑΣΚΗΣΗ

HY118- ιακριτά Μαθηµατικά. Συναρτήσεις. Συνάρτηση. Συνάρτηση: Τυπικός ορισµός Συναρτήσεις

ιανυσµατικά πεδία Όπως έχουµε ήδη αναφέρει ένα διανυσµατικό πεδίο είναι µια συνάρτηση

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

HY118- ιακριτά Μαθηµατικά

Κεφάλαιο 2ο. Κατανοώντας την αντικειμενοστρέφεια

Τεχνολογία Λογισμικού & Ανάλυση Συστημάτων

Διάλεξη 04: Εννοιολογική Σχεδίαση Βάσης Δεδομένων II (Entity Relationship Modelling) Διδάσκων: Παναγιώτης Ανδρέου

Διαχείριση Δεδομένων

Διάγραμμα Οντοτήτων Συσχετίσεων (ΔΟΣ) Entity Relationship Diagram (ERD)

Μάθημα: ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ Διδάσκων: Καθ. Ιωάννης Βασιλείου ΕΝΔΕΙΚΤΙΚΗ ΛΥΣΗ ΚΑΙ ΣΧΟΛΙΑ ΣΤΗΝ ΠΡΩΤΗ ΑΣΚΗΣΗ

Ισοδυναµίες, Μερικές ιατάξεις

Γνωριµία. ιακριτά Μαθηµατικά. Βιβλία Μαθήµατος. Επικοινωνία. ιδάσκων: Ορέστης Τελέλης. Ωρες γραφείου (502, Γρ.


Περιπτώσεις Χρήσης και Διαγράµµατα Περιπτώσεων Χρήσης. Use Cases and Use Case Diagrams

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

ιακριτά Μαθηµατικά Ορέστης Τελέλης Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 1 / 36

Εισαγωγή. Βάσεις εδοµένων : Μοντέλο Οντοτήτων/Συσχετίσεων 1

Transcript:

ιαφάνεια 4-1

Κεφάλαιο 4 Μοντελοποίηση µε το Επεκτεταµένο µοντέλο Οντοτήτων-Συσχετίσεων (ΕΟΣ)

οµήτουκεφαλαίου ΕΟΣ επεκτεταµένο µοντέλο οντοτήτων συσχετίσεων Έννοιες του ΕΟΣ Περιλαµβάνει όλες τις έννοιες του ΟΣ ΕπιπλέονΈννοιες: υποκλάσεις/ύπερκλασεις εξειδίκευση/γενίκευση κατηγορίες (τύποι ΕΝΩΣΗΣ) κληρονοµικότητα γνωρισµάτων και συσχετίσεων Αυτές είναι βασικές για εννοιολογική µοντελοποίηση ΟιεπιπλέονέννοιεςτουΕΟΣγιατηνπιοπλήρηκαιπιο ακριβή µοντελοποίηση εφαρµογών ΤοΕΟΣπεριλαµβάνεικάποιεςαντικειµενοστρεφείς έννοιες, όπως η κληρονοµικότητα ιαφάνεια 4-3

ΥποκλάσειςκαιΥπερκλάσεις (1) Ένας τύπος οντότητας µπορεί να έχει επιπλέον σηµασιολογικές υποοµαδοποιήσεις των οντοτήτων του Παράδειγµα: η ΕΡΓΑΖΟΜΕΝΟΣ µπορεί να οµαδοποιηθεί περαιτέρωσε: ΓΡΑΜΜΑΤΕΑΣ, ΜΗΧΑΝΙΚΟΣ, ΤΕΧΝΙΚΟΣ, Με βάση την εργασία του ΕΡΓΑΖΟΜΕΝΟΣ ΙΕΥΘΥΝΤΗΣ για τους διευθυντές από την ΕΡΓΑΖΟΜΕΝΟΣ ΕΜΜΙΣΘΟΣ, ΩΡΟΜΙΣΘΙΟΣ Με βάση τον τρόπο πληρωµής του ΕΡΓΑΖΟΜΕΝΟΣ Τα διαγράµµατα του ΕΟΣ επεκτείνουν τα διαγράµµατα του ΟΣγιαναπαριστάνουντιςεπιπλέονοµαδοποιήσεις, που ονοµάζονται υποκλάσεις ή υποτύποι ιαφάνεια 4-4

Υποκλάσεις και Υπερκλάσεις ιαφάνεια 4-5

ΥποκλάσειςκαιΥπερκλάσεις (2) Κάθε µια από αυτές τις υποοµάδες είναι ένα υποσύνολο της οντότητας ΕΡΓΑΖΟΜΕΝΟΣ Κάθε µια ονοµάζεται µια υποκλάση της ΕΡΓΑΖΟΜΕΝΟΣ Η ΕΡΓΑΖΟΜΕΝΟΣ είναι η υπερκλάση κάθε µιας από αυτές τις υπερκλάσεις Ονοµάζονται συσχετίσεις υπερκλάσης/υποκλάσης: ΕΡΓΑΖΟΜΕΝΟΣ/ΓΡΑΜΜΑΤΕΑΣ ΕΡΓΑΖΟΜΕΝΟΣ/ΤΕΧΝΙΚΟΣ ΕΡΓΑΖΟΜΕΝΟΣ/ ΙΕΥΘΥΝΤΗΣ ιαφάνεια 4-6

ΥποκλάσειςκαιΥπερκλάσεις (3) Ονοµάζονται επίσης και ΕΙΝΑΙ_ΕΝΑ(Σ) (IS-A) συχετίσεις ΓΡΑΜΜΑΤΕΑΣ ΕΙΝΑΙ-ΕΝΑΣ ΕΡΓΑΖΟΜΕΝΟΣ, ΤΕΧΝΙΚΟΣ ΕΙΝΑΙ-ΕΝΑΣΕΡΓΑΖΟΜΕΝΟΣ,. Σηµείωση: Μια οντότητα που είναι µέλος µιας υποκλάσης παριστάνει την ίδια οντότητα του πραγµατικού κόσµου σαν κάποιο µέλος της υπερκλάσης: Τοµέλοςτηςυποκλάσηςείναιηίδιαοντότητασεένα διακριτό συγκεκριµένο ρόλο Μια οντότητα δεν µπορεί να υπάρχει στη βάση δεδοµένων απλά σαν µέλος µιας υποκλάσης πρέπει επίσης να είναι µέλος της υπερκλάσης Ένας µέλος της υπερκλάσης µπορεί προαιρετικά να συµπεριληφθεί σαν µέλος οποιουδήποτε πλήθους υποκλάσεων της ιαφάνεια 4-7

ΥποκλάσειςκαιΥπερκλάσεις (4) Παραδείγµατα: Ένας έµµισθος εργαζόµενος που είναι και µηχανικός ανήκει στις δύο υποκλάσεις: ΜΗΧΑΝΙΚΟΣ, και ΕΜΜΙΣΘΟΣ Ένας έµµισθος εργαζόµενος διευθυντής και µηχανικός ανήκει στις τρεις υποκλάσεις: ΙΕΥΘΥΝΤΗΣ, ΜΗΧΑΝΙΚΟΣ,και ΕΜΜΙΣΘΟΣ εν είναι απαραίτητο ότι κάθε οντότητα σε µια υπερκλαση να είναι µέλος κάποιας υποκλάσης ιαφάνεια 4-8

Παράσταση της Εξειδίκευσης στα ιαγράµµατα του ΕΟΣ ιαφάνεια 4-9

Κληρονοµικότητα Γνωρισµάτων σε συσχετίσεις υπερκλάσης/υποκλάσης Μια οντότητα που είναι µέλος µιας υποκλάσης κληρονοµεί Όλα τα γνωρίσµατα της οντότητας σαν µέλος της υπερκλάσης Όλες τις συσχετίσεις της οντότητας σαν µέλος της υπερκλάσης Παράδειγµα: ΓΡΑΜΜΑΤΕΑΣ (όπωςκαιτεχνικοσκαιμηχανικοσ) κληρονοµούν τα γνωρίσµατα Ονοµα, ΑρΤαυτ,, από την ΕΡΓΑΖΟΜΕΝΟΣ Κάθε οντότητα ΓΡΑΜΜΑΤΕΑΣ θα έχει τιµές για τα κληρονοµούµενα γνωρίσµατα ιαφάνεια 4-10

Εξειδίκευση (1) Εξειδίκευση είναι η διαδικασία ορισµού ενός συνόλου υποκλάσεων µιας υπερκλάσης Το σύνολο των υποκλάσεων βασίζεται σε κάποια διακριτα χαρακτηριστικά της υπερκλάσης Παράδειγµα: {ΓΡΑΜΜΑΤΕΑΣ, ΜΗΧΑΝΙΚΟΣ, ΤΕΧΝΙΚΟΣ} αποτελούν εξειδίκευση της ΕΡΓΑΖΟΜΕΝΟΣ µε βάση το ΕιδοςΕργασιας. Μπορεί να υπάρχουν πολλές εξειδικέυσεις της ίδιας υπερκλάσης ιαφάνεια 4-11

Εξειδίκευση (2) Παράδειγµα: Μια άλλη εξειδίκευση της ΕΡΑΖΟΜΕΝΟΣ πουβασίζεταιστον τρόποπληρωµήςείναι {ΕΜΜΙΣΘΟΣ, ΩΡΟΜΙΣΘΙΟΣ}. Οι συσχετίσεις υποκλάσης/υπερκλάσης και εξειδίκευσης µπορούν να παρασταθούν διαγραµµατικά µε διαγράµµατα ΕΟΣ Τα γνωρίσµατα µιας υποκλάσης ονοµάζονται τοπικά γνωρίσµατα. Για παράδειγµα, το γνώρισµα Ταχ ακτυλ της ΓΡΑΜΜΑΤΕΑΣ Η υποκλάση µπορεί επίσης να συµµετέχει σε συγκεκριµένους τύπους συσχετίσεων. Για παράδειγµα, η συσχέτιση ΑΝΗΚΕΙ της ΩΡΟΜΙΣΘΙΟΣ ιαφάνεια 4-12

Εξειδίκευση (3) ιαφάνεια 4-13

Γενίκευση Η γενίκευση είναι το αντίστροφο της διαδικασίας εξειδίκευσης ιάφορες κλάσεις µε κοινά χαρακτηριστικά γενικεύονται σε µια υπερκλάση Οι αρχικές κλάσεις γίνονται οι υποκλάσεις της Παράδειγµα: ΕΠΙΒΑΤΗΓΟ, ΦΟΡΤΗΓΟγενικεύονταιστην ΟΧΗΜΑ τόσο η ΕΠΙΒΑΤΗΓΟ όσο και η ΦΟΡΤΗΓΟ CAR, γίνονται υποκλάσεις της υπερκλάσης ΟΧΗΜΑ. Μπορούµε να θεωρούµε τις {ΕΠΙΒΑΤΗΓΟ, ΦΟΡΤΗΓΟ } σαν εξειδίκευση της ΟΧΗΜΑ Εναλλακτικά, µπορούµε να θεωρούµε την ΟΧΗΜΑ σαν γενίκευση των ΕΠΙΒΑΤΗΓΟ και ΦΟΡΤΗΓΟ ιαφάνεια 4-14

Γενίκευση (2) ιαφάνεια 4-15

Γενίκευση (3) ιαφάνεια 4-16

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

Γενίκευση και Εξειδίκευση (2) Μοντελοποίηση δεδοµένων µε Εξειδίκευση και Γενίκευση Μια υπερκλάση ή µια υποκλάση παριστάνει µια συλλογή (ή σύνολο ή οµαδοποίηση) οντοτήτων Παριστάνει επίσης ένα συγκεκριµένο τύπο οντότητας Στα διαγράµµατα του ΕΟΣ εµφανίζονται σαν παραλληλόγραµµα (καθώςείναιτύποιοντοτήτων) Μπορούµε να ονοµάζουµε όλους τους τύπους οντοτήτων (και τις αντίστοιχες συλλογές τους) κλάσεις, είτε είναι τύποι οντοτήτων, ήυπερκλάσεις, ήυποκλάσεις ιαφάνεια 4-18

Περιορισµοί στην Γενίκευση και Εξειδίκευση (1) Αν µπορούµε, µε µια συνθήκη, να προσδιορίσουµε ακριβώς εκείνες τις οντότητες που θα γίνουν µέλη κάθε υποκλάσης, λέµε ότι οι υποκλάσεις οριζόµενες βάσει κατηγορήµατος (ή µε οριζόµενες βάσει συνθήκης) υποκλάσεις Η συνθήκη είναι ένας περιορισµός που προσδιορίζει τα µέλη της υποκλάσης Μια υποκλάση που ορίζεται βάσει κατηγορήµατος παρουσιάζεται γράφοντας την συνθήκη του κατηγορήµατος δίπλα στη γραµµή που συνδέει την υποκλάση µε την υπερκλάση της ιαφάνεια 4-19

Περιορισµοί στην Γενίκευση και Εξειδίκευση (2) Αν όλες οι υποκλάσεις σε µια εξειδίκευση έχουν συνθήκη µέλους στο ίδιο γνώρισµα µε την υπερκλάση, η εξειδίκευση ονοµάζεται εξειδίκευση οριζόµενη από γνώρισµα Το γνώρισµα ονοµάζεται ορίζον γνώρισµα της εξειδίκευσης Παράδειγµα: ΕιδοςΕργασιας είναι το ορίζον την εξειδίκευση {ΓΡΑΜΜΑΤΕΑΣ, ΤΕΧΝΙΚΟΣ, ΜΗΧΑΝΙΚΟΣ} γνώρισµατης ΕΡΓΑΖΟΜΕΝΟΣ Αν δεν υπάρχει συνθήκη που να προσδιορίζει την ιδιότητα του µέλους, η υποκλάση ονοµάζεται οριζόµενη από τον χρήστη Η ιδιότητα του µέλους µιας υποκλάσης ορίζεται από τους χρήστες της βάσης δεδοµένων εφαρµόζοντας µια πράξη προσθήκης µιας οντότητας σε µια υποκλάση Η ιδιότητα του µέλους µιας υποκλάσης ορίζεται ατοµικά από το χρήστη για κάθε οντότητα στην υπερκλάση ιαφάνεια 4-20

Παρουσίαση της οριζόµενης από γνώρισµα εξειδίκευσης σε διαγράµµατα ΕΟΣ ιαφάνεια 4-21

Περιορισµοί στην Γενίκευση και Εξειδίκευση (3) Σε µια εξειδίκευση/γενίκευση µπορούν να εφαρµοσθούν δύο βασικοί περιορισµοί : Περιορισµός µη επικάλυψης (Disjointness Constraint) Περιορισµός Πληρότητας ιαφάνεια 4-22

Περιορισµοί στην Γενίκευση και Εξειδίκευση (4) Περιορισµόςµηεπικάλυψης : Ορίζει ότι οι υποκλάσεις της εξειδίκευσης πρέπει να είναι ξένες µεταξύ τους: µιαοντότηταµπορείναείναιµέλοςτοπολύµιας από τις υποκλάσεις της εξειδίκευσης Προσδιορίζεται µε το d στο διάγραµµα ΕΟΣ Αν δεν είναι ξένες, η εξειδίκευση είναι επικαλυπτόµενη: δηλαδήηίδιαοντότηταµπορείναείναιµέλοςµιαςή περισσότερων υποκλάσεων της εξειδίκευσης Προσδιορίζεται µε o στο διάγραµµα ΕΟΣ ιαφάνεια 4-23

Περιορισµοί στην Γενίκευση και Εξειδίκευση (5) Περιορισµόςπληρότητας: Ολική ορίζει ότι κάθε οντότητα στην υπερκλάση πρέπει να είναι µέλος κάποιας υποκλάσης στην εξειδίκευση/γενίκευση Στα διαγράµµατα ΕΟΣ παρουσιάζεται µε διπλή γραµµή Μερικήεπιτρέπεισεµιαοντότηταναµηνανήκεισε υποκλάση Στα διαγράµµατα ΕΟΣ παρουσιάζεται µε απλή γραµµή ιαφάνεια 4-24

Περιορισµοί στην Γενίκευση και Εξειδίκευση (6) Εποµένως, έχουµε τέσσερεις τύπους εξειδίκευσης/γενίκευσης: Μη επικαλυπτόµενη, ολική Μη επικαλυπτόµενη, µερική Επικαλυπτόµενη, ολική Επικαλυπτόµενη, µερική Σηµείωση: Η γενίκευση συνήθως είναι ολική επειδή η υπερκλάση παράγεται από τις υποκλάσεις. ιαφάνεια 4-25

Παράδειγµα µη επικαλυπτόµενης µερικής Εξειδίκευσης ιαφάνεια 4-26

Παράδειγµα επικαλυπτόµενης µερικής Εξειδίκευσης ιαφάνεια 4-27

ΙεραρχίεςΕξειδίκευσης/Γενίκευσης, Πλέγµατα & Κοινές υποκλάσεις (1) Σε µια υποκλάση µπορεί να ορίζονται περαιτέρω δικές της υποκλάσεις Σχηµατίζεται µια ιεραρχία ή ένα πλέγµα Ηιεραρχίαέχειέναπεριορισµόότικάθε υποκλάση έχει µόνο µια υπερκλάση (ονοµάζεται απλή κληρονοµικότητα) βασικά αυτή είναι µια δενδρική δοµή Σε ένα πλέγµα, µια υποκλάση µπορεί να είναι υποκλάση περισσότερων από µιας υπερκλάσεων (ονοµάζεται πολλαπλή κληρονοµικότητα) ιαφάνεια 4-28

Κοινή υποκλάση ΙΕΥΘΥΝΩΝ_ΜΗΧΑΝΙΚΟΣ ιαφάνεια 4-29

ΙεραρχίεςΕξειδίκευσης/Γενίκευσης, Πλέγµατα & Κοινές υποκλάσεις(2) Σε ένα πλέγµα ή ιεραρχία, µια υποκλάση κληρονοµεί γνωρίσµατα όχι µόνο των άµεσων υπερκλάσεων, αλλά και όλων των πρόγονων υπερκλάσεων της Μια υποκλάση µε περισσότερες από µια υπερκλάσεις ονοµάζεται κοινή υποκλάση (πολλαπλή κληρονοµικότητα) Μπορεί να έχει: ιεραρχίες ή πλέγµατα εξειδίκευσης, ή ιεραρχίεςήπλέγµαταγενίκευσης, Εξαρτάται από τον τρόπο που παράγονται Χρησιµοποιούµε την εξειδίκευση (σαν το τελικό αποτέλεσµα είτε της εξειδίκευσης ή της γενίκευσης) ιαφάνεια 4-30

ΙεραρχίεςΕξειδίκευσης/Γενίκευσης, Πλέγµατα & Κοινές Υποκλάσεις (3) Στην εξειδίκευση, ξεκινάµε µε ένα τύπο οντότητας και στη συνέχεια ορίζουµε υποκλάσεις του τύπου οντότητας µε διαδοχικές εξειδικεύσεις ονοµάζεται προς τα κάτω διαδικασία εννοιολογικής εκλέπτυνσης Στη γενίκευση, ξεκινάµε µε πολλούς τύπους οντοτήτων και γενικεύουµε αυτούς που έχουν κοινές ιδιότητες ονοµάζεται προς τα πάνω διαδικασία σύνθεσης Στην πράξη, συνήθως εφαρµόζεται ένας σχεδιασµός των δύο διαδικασιών ιαφάνεια 4-31

ιαφάνεια 4-32

Κατηγορίες (ΤΥΠΟΙΕΝΩΣΗΣ) (1) Όλες οι συσχετίσεις υπερκλάσης/υποκλάσης που έχουµε εξετάσει µέχρι στιγµής έχουν µια υπερκλάση Μια κοινή υποκλάση είναι µια υποκλάση σε: περισσότερες από µια διακριτές συσχετίσεις υπερκλάσης/ υποκλάσης κάθε µια από τις συσχετίσεις έχει µια υπερκλάση η κοινή υποκλάση οδηγεί σε πολλαπλή κληρονοµικότητα Σε µερικές περιπτώσεις, χρειάζεται να µοντελοποιήσουµε µια απλή συσχέτιση υπερκλάσης/υποκλάσης µε περισσότερες από µια υπερκλάσεις Οι υπερκλάσεις µπορεί να παριστάνουν διαφορετικούς τύπους οντοτήτων Μια τέτοια υποκλάση ονοµάζεται κατηγορία ή ΤΥΠΟΣ ΕΝΩΣΗΣ ιαφάνεια 4-33

Κατηγορίες (ΤΥΠΟΙΕΝΩΣΗΣ) (2) Παράδειγµα: Σε µια βάση δεδοµένων για καταγραφή οχηµάτων, ο ιδιοκτήτης ενός οχήµατος µπορεί να είναι ένα ΑΤΟΜΟ, µια ΤΡΑΠΕΖΑ (µε εµπράγµατο δικαίωµα σε ένα όχηµα) ή µια ΕΤΑΙΡΕΙΑ. Μια κατηγορία (τύπος ένωσης) ονοµάζεται Ι ΙΟΚΤΗΤΗΣ δηµιουργείται για την αναπαράσταση ενός υποσυνόλου της ένωσης των τριών υπερκλάσεων ΕΤΑΙΡΕΙΑ, ΤΡΑΠΕΖΑ, και ΑΤΟΜΟ Έναµέλοςµιαςκατηγορίαςπρέπειναυπάρχεισε i τουλάχιστον µια από τις υπερκλάσεις της ιαφορά από την κοινή υποκλάση, που είναι ένα: υποσύνολο της τοµής των υπερκλάσεών της Το µέλος της κοινή υποκλάσης πρέπει να υπάρχει σε όλες τις υπερκλάσεις του ιαφάνεια 4-34

ύοκατηγορίες (τύποιενωσησ): Ι ΙΟΚΤΗΤΗΣ, ΟΧΗΜΑ_ΜΕ_Α ΕΙΑ ιαφάνεια 4-35

Τυπικοί ορισµοί του µοντέλου ΕΟΣ (1) Κλάση C: Ένας τύπος οντότητας µε ένα αντίστοιχο σύνολο οντοτήτων: Θα µπορούσε να είναι τύπος οντότητας, υποκλάση, υπερκλάση, ή κατηγορία Σηµείωση: Στον ορισµός του τύπου οντότητας στο ΟΣ/ΕΟΣ θα πρέπει ο τύπος οντότητας' να αντικατασταθεί µε κλάση για να υποστηρίζονται γενικά συσχετίσεις µεταξύ κλάσεων Ηυποκλάση S είναιµιακλάσητηςοποίας : Ο τύπος κληρονοµεί όλα τα γνωρίσµατα και τις συσχετίσεις µιας κλάσης C Το σύνολο των οντοτήτων πρέπει να είναι πάντα υποσύνολο του συνόλου οντοτήτων της άλλης C S C Η C ονοµάζεται υπερκλάση της S Υπάρχει µια συσχέτιση υπερκλάσης/υποκλάσης µεταξύ S και C ιαφάνεια 4-36

Τυπικοί ορισµοί του µοντέλου ΕΟΣ (1)(2) Εξειδίκευση Z: Z = {S1, S2,, Sn} είναιένα σύνολουποκλάσεωνµετηνίδιαυπερκλάση G; εποµένως, η G/Si είναι µια συσχέτιση υπερκλάσηςγιαr i = 1,., n. Η G ονοµάζεται µια γενίκευση των υποκλάσεων {S1, S2,, Sn} Η Z είναιολικήανέχουµεπάντα: S1 S2 Sn = G; ιαφορετικά, η Z είναι µερική. Η Z είναι µη επικαλυπτόµενη αν ισχύει πάντα: Si Sj= για i j; ιαφορετικά, η Z είναι επικαλυπτόµενη. ιαφάνεια 4-37

ΤυπικοίορισµοίτουµοντέλουΕΟΣ(3) Η υποκλάση S της C ορίζεται βάσει κατηγορήµατος αν χρησιµοποιείταιτοκατηγόρηµα (συνθήκη) p σταγνωρίσµατατης C γιατονορισµότουµέλουςστην S δηλαδή, S = C[p], όπουτο C[p] είναιένασύνολοοντοτήτωνστη C που ικανοποιεί την συνθήκη p Μια υποκλάση που δεν ορίζεται µέσω κατηγορήµατος ονοµάζεται οριζόµενη από τον χρήστη Εξειδίκευση οριζόµενη µέσω γνωρίσµατος : αν για τον ορισµό του µέλους σε κάθε υποκλάση Si της Z χρησιµοποιείται ένα κατηγόρηµα A = ci (όπου το A είναι ένα γνώρισµα της G και το ci είναι µια σταθερή τιµήαπότοπεδίοορισµούτης A) Σηµείωση: Αν ci cj για i j, και το A έχει απλή τιµή, τότε η εξειδίκευση που ορίζεται µέσω κατηγορήµατος θα είναι µη επικαλυπτόµενη. ιαφάνεια 4-38

ΤυπικοίορισµοίτουµοντέλουΕΟΣ(4) Κατηγορία ή τύπος ένωσης (UNION) T Μιακλάσηείναιέναυποσύνολοτηςένωσης n υπερκλάσεων που την ορίζουν D1, D2, Dn, n>1: T (D1 D2 Dn) Για τον προσδιορισµό των οντοτήτων της Di που είναι µέλη της T µπορεί να υπάρχει ένα κατηγόρηµα pi σταγνωρίσµατα. Ανένακατηγόρηµαορίζεταιγιακάθε Di: T = (D1[p1] D2[p2] Dn[pn]) ιαφάνεια 4-39

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

Παράδειγµα UML πουναδείχνει Εξειδίκευση / Γενίκευση ιαφάνεια 4-41

Γενικές Έννοιες Εννοιολογικής Μοντελοποίησης ΓΕΝΙΚΕΣ ΑΦΑΙΡΕΣΕΙΣ Ε ΟΜΕΝΩΝ ΚΑΤΑΞΗ και ΣΤΙΓΜΙΟΤΥΠΙΑ ΣΥΝΑΘΡΟΙΣΗ και ΣΥΝ ΕΣΗ (συσχετίσεις) ΓΕΝΙΚΕΥΣΗ και ΕΞΕΙ ΙΚΕΥΣΗ ΚΑΘΟΡΙΣΜΟΣ ΤΑΥΤΟΤΗΤΩΝ ΠΕΡΙΟΡΙΣΜΟΙ ΠΛΗΘΙΚΟΤΗΤΑ (Min και Max) ΚΑΛΥΨΗ (Ολική έναντι Μερικής, και Αποκλειστικής (µη επικάλυψη) έναντι Επικαλυπτόµενης) ιαφάνεια 4-42

Οντολογίες Χρησιµοποιούν εννοιολογική µοντελοποίηση και άλλα εργαλεία για ανάπτυξη ενός ορισµού εννοιολογιών Ο προσδιορισµός αναφέρεται στη γλώσσα και τους όρους του λεξιλογίου που χρησιµοποιούνται για τον προσδιορισµό των εννοιών. Ο προσδιορισµός εννοιών αναφέρεται στην περιγραφή (σχήµα) των εννοιών ενός συγκεκριµένου πεδίου γνώσης καιτωνσυσχετίσεωνµεταξύαυτώντωνεννοιών. Αναπτύσσονταιπολλέςοντολογίεςιατρικών, επιστηµονικών, και θεµάτων µηχανικών, σαν µέσα τυποποίησηςεννοιώνκαιορολογίας. ιαφάνεια 4-43

Σύνοψη Εισήχθησαν οι έννοιες του µοντέλου ΕΟΣ Συσχετίσεις κλάσης/υποκλάσης Εξειδίκευση και γενίκευση Κληρονοµικότητα Επεκτείνουν τις βασικές έννοιες του µοντέλου ΟΣ Παρουσιάσθηκαν τα διαγράµµατα και εναλλακτικοί συµβολισµοί του ΕΟΣ ιαφάνεια 4-44