Σχεσιακό Μοντέλο Δεδομένων

Παρουσίαση με θέμα: "Σχεσιακό Μοντέλο Δεδομένων"— Μεταγράφημα παρουσίασης:

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

2 Κεφάλαιο 6: Σχεσιακό Μοντέλο
Βασικές Έννοιες Το σχεσιακό (relational) μοντέλο δεδομένων προτάθηκε από τον Codd το 1970. Η ιστορική εργασία του Codd είναι διαθέσιμη στη διεύθυνση Η απλή και κατανοητή δομή του είναι δύο από τα αίτια της τεράστιας απήχησης του μοντέλου σε κλασικές και σύγχρονες εφαρμογές υψηλών απαιτήσεων. Το μεγάλο πλεονέκτημα του μοντέλου είναι ότι μπορεί να περιγραφεί μαθηματικά με τη βοήθεια της Θεωρίας Συνόλων (set theory) ή της Κατηγορηματικής Λογικής (predicate logic). Όλα τα εμπορικά ΣΔΒΔ υποστηρίζουν το σχεσιακό μοντέλο δεδομένων ή επεκτάσεις του.

3 Κεφάλαιο 6: Σχεσιακό Μοντέλο

4 Κεφάλαιο 6: Σχεσιακό Μοντέλο

5 Κεφάλαιο 6: Σχεσιακό Μοντέλο

6 Βασικές Έννοιες Βασικοί στόχοι του σχεσιακού μοντέλου είναι οι εξής:
Κεφάλαιο 6: Σχεσιακό Μοντέλο Βασικές Έννοιες Βασικοί στόχοι του σχεσιακού μοντέλου είναι οι εξής: η υποστήριξη ανεξαρτησίας δεδομένων, έτσι ώστε αλλαγές στη φυσική δομή και οργάνωση της ΒΔ να μην απαιτούν αλλαγές στα προγράμματα εφαρμογής, η αποφυγή του πλεονασμού δεδομένων, ο οποίος εμφανίζεται όταν τα ίδια δεδομένα αποθηκεύονται πολλές φορές σε διαφορετικές περιοχές της ΒΔ, η διατήρηση της ακεραιότητας και της συνέπειας των δεδομένων, η υποστήριξη της ανάπτυξης γλωσσών DDL-DML, οι οποίες στηρίζονται στη θεωρία συνόλων, και διευ-κολύνουν τη διατύπωση ερωτημάτων προς το ΣΔΒΔ.

7 Κεφάλαιο 6: Σχεσιακό Μοντέλο
Τα Πρώτα Συστήματα H ανάπτυξη και η υλοποίησή του οφείλεται κυρίως σε τρεις ανεξάρτητες ερευνητικές προσπάθειες: System R – IBM San Jose, INGRES (Interactive Graphics Retrieval System) – Berkeley, PRTV (Peterlee Relational Test Vehicle) – IBM UK.

8 Κεφάλαιο 6: Σχεσιακό Μοντέλο
Τα Πρώτα Συστήματα Τα βασικά θέματα που απασχόλησαν τότε τους ερευνητές ήταν: η ανάπτυξη μίας δομημένης γλώσσας DDL-DML με την ονομασία SQL (Structured Query Language), η ανάπτυξη μία θεωρίας για τις συναρτησιακές εξαρτήσεις, η ανάπτυξη αποτελεσματικών μεθόδων για τη βελτιστοποίηση ερωτημάτων.

9 Κεφάλαιο 6: Σχεσιακό Μοντέλο
Τα Πρώτα Συστήματα Τα πρώτα εμπορικά διαθέσιμα ΣΔΒΔ που στηρίχθηκαν στο σχεσιακό μοντέλο δεδομένων, εμφανίσθηκαν στη δεκαετία του 1970 και 1980, όπως τα συστήματα: DB2 και SQL/DS της εταιρείας IBM, και Oracle της εταιρείας Oracle. Από την ομάδα της INGRES προέκυψαν δύο εμπορικά ΣΔΒΔ: INGRES της εταιρείας Relational Technologies, IDM (Intelligent Database Machine) της εταιρείας Britton Lee.

10 Michael Stonebraker, Wikipedia
Κεφάλαιο 6: Σχεσιακό Μοντέλο Michael Stonebraker, Wikipedia Stonebraker is a computer scientist specializing in database research and development. His career covers, and helped create, the majority of the exi- sting relational database market today. He is also the founder of Ingres, Illustra, Cohera and StreamBase Systems, and was previously the CTO of Informix. He is also an editor for the book Readings in Database Systems. Stonebraker earned his BSc degree from Princeton University in From the University of Michigan, he earned his MSc degree in 1967 and his PhD in He has received several awards, including the IEEE John von Neumann Medal. Currently he is teaching at MIT.

11 Κεφάλαιο 6: Σχεσιακό Μοντέλο

12 Σύγχρονα Εμπορικά Συστήματα
Κεφάλαιο 6: Σχεσιακό Μοντέλο Σύγχρονα Εμπορικά Συστήματα Μερικά από τα σύγχρονα εμπορικά διαθέσιμα ΣΔΒΔ που υποστηρίζουν το σχεσιακό μοντέλο είναι τα εξής: SQL Server 2016 της Microsoft IBM DB2 Data Server 11.1 (2016) της IBM IBM Informix xC7 (2016) της IBM Oracle 12c (2014) της Oracle

13 Σύγχρονα Συστήματα Ελεύθερου Λογισμικού
Κεφάλαιο 6: Σχεσιακό Μοντέλο Σύγχρονα Συστήματα Ελεύθερου Λογισμικού Μερικά από τα σύγχρονα διαθέσιμα ΣΔΒΔ ΕΛΛΑΚ που υποστηρίζουν το σχεσιακό μοντέλο είναι τα εξής: MySql 5.7 (2016) SUN Oracle PostgreSQL 9.6 (2016) SQLit (2016) Cassandra 3.9 (2016), Apache MongoDB (2016), NoSQL Redis 3.2 (2016), NoSQL

14 Ταξινόμηση ΣΔΒΔ κατά δημοτικότητα
Κεφάλαιο 6: Σχεσιακό Μοντέλο Ταξινόμηση ΣΔΒΔ κατά δημοτικότητα

15 Πίνακες (Σχέσεις) Μία ΒΔ αποτελείται από ένα σύνολο σχέσεων.
Κεφάλαιο 6: Σχεσιακό Μοντέλο Πίνακες (Σχέσεις) Μία ΒΔ αποτελείται από ένα σύνολο σχέσεων. Κάθε σχέση παρίσταται µε έναν πίνακα (αρχείο). Κάθε γραμμή μίας σχέσης καλείται πλειάδα (tuple) και παριστά μία εγγραφή. Κάθε στήλη μίας σχέσης αποτελεί ένα χαρακτηριστικό (attribute) της εγγραφής. Το πλήθος των χαρακτηριστικών μιας σχέσης λέγεται βαθμός (degree), ενώ το πλήθος των πλειάδων λέγεται πληθικότητα (cardinality). Κάθε χαρακτηριστικό έχει ένα σύνολο επιτρεπτών τιμών, το πεδίο ορισμού (domain) του χαρακτηριστικού.

16 Κεφάλαιο 6: Σχεσιακό Μοντέλο
Σχήμα και Στιγμιότυπο Σχήμα σχέσης Συνδρομητής(κωδικός,όνομα,τηλέφωνο,διεύθυνση,ΑΠΚ)

17 Κεφάλαιο 6: Σχεσιακό Μοντέλο
Ιδιότητες Σχέσεων Κάθε σχέση έχει μοναδικό όνομα μεταξύ των σχέσεων της ΒΔ. Κάθε χαρακτηριστικό έχει μοναδικό όνομα μέσα στη σχέση. Επιτρέπεται δύο χαρακτηριστικά διαφορετικών σχέσεων να έχουν ίδιο όνομα. Η τιμή ενός χαρακτηριστικού είναι ατομική. Ο τιμές ενός χαρακτηριστικού ανήκουν στο ίδιο πεδίο ορισμού. Δεν παίζει ρόλο η σειρά δήλωσης των χαρακτηριστικών μίας σχέσης, ούτε η σειρά των πλειάδων στη σχέση. Όμως, η σειρά αποθήκευσης των δεδομένων επηρεάζει το χρόνο επεξεργασίας και λαμβάνεται υπ’όψη. Δεν επιτρέπεται 2 πλειάδες να ταυτίζονται (γιατί?).

18 Κεφάλαιο 6: Σχεσιακό Μοντέλο
Ιδιότητες Σχέσεων

19 Κεφάλαιο 6: Σχεσιακό Μοντέλο
Κλειδιά σχέσεων Ένα χαρακτηριστικό (ή σύνολο χαρακτηριστικών) ενός πίνακα λέγεται κλειδί αν μπορεί να διαχωρίζει τις διαφορετικές γραμμές του πίνακα. Το επιλεγόμενο κλειδί καλείται πρωτεύον (primary), ενώ τα υπόλοιπα καλούνται δευτερεύοντα (secondary) ή υποψήφια (candidate) ή εναλλακτικά (alternative). Σύνθετο (composite) όταν απαιτούνται περισσότερα του ενός χαρακτηριστικά για να συνθέσουν ένα κλειδί.

20 Περιορισμοί Ακεραιότητας
Κεφάλαιο 6: Σχεσιακό Μοντέλο Περιορισμοί Ακεραιότητας Οι περιορισμοί ακεραιότητας (integrity constraints) πρέπει να ισχύουν πάντα για κάθε στιγμιότυπο της ΒΔ (σε κάθε σχέση της ΒΔ). Τότε ένα στιγμιότυπο ονομάζεται έγκυρο (valid). Οι περιορισμοί ακεραιότητας επαληθεύονται κάθε φορά που πραγματοποιούνται αλλαγές στα δεδομένα (εισαγωγή, διαγραφή, ενημέρωση). Οι περιορισμοί ακεραιότητας είναι: Κενές τιμές (null values), Ακεραιότητα οντοτήτων (entity integrity), Ακεραιότητα αναφορών (referential integrity), και Σημασιολογικοί περιορισμοί (semantics).

21 Περιορισμοί Ακεραιότητας
Κεφάλαιο 6: Σχεσιακό Μοντέλο Περιορισμοί Ακεραιότητας Κενές τιμές (NULL): όταν δεν γνωρίζουμε την τιμή ενός χαρακτηριστικού ή για το συγκεκριμένο χαρακτηριστικό δεν μπορούμε να προσδιορίσουμε κάποια τιμή.

22 Περιορισμοί ακεραιότητας
Κεφάλαιο 6: Σχεσιακό Μοντέλο Περιορισμοί ακεραιότητας Ακεραιότητα οντοτήτων: Κάθε γραμμή του πίνακα προσδιορίζεται μοναδικά από το πρωτεύον κλειδί.

23 Περιορισμοί ακεραιότητας
Κεφάλαιο 6: Σχεσιακό Μοντέλο Περιορισμοί ακεραιότητας Ακεραιότητα αναφορών: Αν το κλειδί Κ ενός πίνακα Α αποτελεί χαρακτηριστικό ενός άλλου πίνακα Β, τότε το Κ αποτελεί ξένο κλειδί (foreign key) για τον πίνακα Β.

24 Περιορισμοί Ακεραιότητας
Κεφάλαιο 6: Σχεσιακό Μοντέλο Περιορισμοί Ακεραιότητας Σημασιολογικοί περιορισμοί: Οποιαδήποτε συνθήκη θέλουμε να ικανοποιείται από τα αποθηκευμένα δεδομένα. πχ. ηλικία > 18, προϋπηρεσία > 5 έτη.

25 Περιορισμοί Ακεραιότητας
Κεφάλαιο 6: Σχεσιακό Μοντέλο Περιορισμοί Ακεραιότητας Οι περιορισμοί ακεραιότητας ελέγχονται: πριν την εισαγωγή δεδομένων, πριν τη διαγραφή δεδομένων, και πριν την ενημέρωση δεδομένων. Αν παραβιάζεται κάποιος περιορισμός, τότε η λειτουργία δεν γίνεται αποδεκτή.

26 Μετατροπή ΟΣ μοντέλου σε Σχεσιακό μοντέλο
Κεφάλαιο 6: Σχεσιακό Μοντέλο Μετατροπή ΟΣ μοντέλου σε Σχεσιακό μοντέλο Για κάθε σύνολο οντοτήτων και κάθε σύνολο συσχετί-σεων μπορεί να δημιουργηθεί ένας πίνακας (συνήθως με ίδιο όνομα). Ο πίνακας έχει ως στήλες τα χαρακτη-ριστικά του κάθε συνόλου και κλειδί το αντίστοιχο κλειδί του κάθε συνόλου.

27 Μετατροπή ΟΣ μοντέλου σε Σχεσιακό μοντέλο
Κεφάλαιο 6: Σχεσιακό Μοντέλο Μετατροπή ΟΣ μοντέλου σε Σχεσιακό μοντέλο Η προηγούμενη πρόταση είναι επίτηδες απλουστευτική. Πρέπει να λάβουμε υπόψη το βαθμό της συσχέτισης, την υποχρεωτικότητα, τα χαρακτηριστικά πολλαπλής τιμής, τις αδύναμες οντότητες, τη γενίκευση/ εξειδίκευση, τη συσσωμάτωση κλπ. Υπάρχει περίπτωση η πληροφορία για κάποιο σύνολο οντοτήτων ή συσχετίσεων να ενσωματώνεται σε πίνακα άλλης οντότητας.

28 Μετατροπή ΟΣ μοντέλου σε Σχεσιακό μοντέλο
Κεφάλαιο 6: Σχεσιακό Μοντέλο Μετατροπή ΟΣ μοντέλου σε Σχεσιακό μοντέλο Ας υποθέσουμε υποχρεωτική συμμετοχή. Συσχέτιση 1:1. Απαιτείται 1 πίνακας (με όλα τα χαρακτηριστικά). Συσχέτιση 1:Ν. Απαιτούνται 2 πίνακες (ένας για κάθε σύνολο οντοτήτων, και ξένο κλειδί στον πίνακα της πλευράς Ν, το κύριο κλειδί του πίνακα της πλευράς 1). Συσχέτιση Ν:Μ. Απαιτούνται 3 πίνακες (ένας για κάθε σύνολο οντοτήτων, και ένας για το σύνολο συσχετίσεων).

29 Μετατροπή ΟΣ μοντέλου σε Σχεσιακό μοντέλο
Κεφάλαιο 6: Σχεσιακό Μοντέλο Μετατροπή ΟΣ μοντέλου σε Σχεσιακό μοντέλο Ας υποθέσουμε προαιρετική συμμετοχή. Με βάση τα προηγούμενα, θα έχουμε κενές τιμές. Διδάσκων …… Μάθημα Μανωλόπουλος … Βάσεις Δεδομένων Παπαδόπουλος Δομές Δεδομένων ... Νανόπουλος Εξόρυξη Δεδομένων

30 Μετατροπή ΟΣ μοντέλου σε Σχεσιακό μοντέλο
Κεφάλαιο 6: Σχεσιακό Μοντέλο Μετατροπή ΟΣ μοντέλου σε Σχεσιακό μοντέλο Ας υποθέσουμε προαιρετική συμμετοχή. Συσχέτιση 1:1. απαιτούνται 2 πίνακες αν μόνο το ένα σύνολο οντο-τήτων συμμετέχει προαιρετικά. Στον πίνακα της υπο-χρεωτικής πλευράς μετέχει το κλειδί της προαιρετικής πλευράς και τα χαρακτηριστικά της συσχέτισης. απαιτούνται 3 πίνακες αν και τα δύο σύνολα οντοτήτων συμμετέχουν προαιρετικά (ένας πίνακας για τη συσχέτιση).

31 Μετατροπή ΟΣ μοντέλου σε Σχεσιακό μοντέλο
Κεφάλαιο 6: Σχεσιακό Μοντέλο Μετατροπή ΟΣ μοντέλου σε Σχεσιακό μοντέλο Ας υποθέσουμε προαιρετική συμμετοχή. Συσχέτιση 1:Ν. απαιτούνται 2 πίνακες αν μόνο το σύνολο οντοτήτων της 1 πλευράς συμμετέχει προαιρετικά. Στον πίνακα της υποχρεωτικής πλευράς μετέχει το κλειδί της προαιρετικής πλευράς και τα χαρακτηριστικά της συσχέτισης. απαιτούνται 3 πίνακες αν μόνο το σύνολο οντοτήτων της Ν πλευράς συμμετέχει προαιρετικά ή αν και τα δύο σύνολα οντοτήτων συμμετέχουν προαιρετικά (ένας πίνακας για τη συσχέτιση).

32 Μετατροπή ΟΣ μοντέλου σε Σχεσιακό μοντέλο
Κεφάλαιο 6: Σχεσιακό Μοντέλο Μετατροπή ΟΣ μοντέλου σε Σχεσιακό μοντέλο Ας υποθέσουμε προαιρετική συμμετοχή. Συσχέτιση Ν:Μ. Σε κάθε περίπτωση απαιτούνται 3 πίνακες.

33 Μετατροπή ΟΣ μοντέλου σε Σχεσιακό μοντέλο
Κεφάλαιο 6: Σχεσιακό Μοντέλο Μετατροπή ΟΣ μοντέλου σε Σχεσιακό μοντέλο

34 Μετατροπή ΟΣ μοντέλου σε Σχεσιακό μοντέλο
Κεφάλαιο 6: Σχεσιακό Μοντέλο Μετατροπή ΟΣ μοντέλου σε Σχεσιακό μοντέλο

35 Μετατροπή ΟΣ μοντέλου σε Σχεσιακό μοντέλο
Κεφάλαιο 6: Σχεσιακό Μοντέλο Μετατροπή ΟΣ μοντέλου σε Σχεσιακό μοντέλο Συσχετίσεις ανώτερου βαθμού d: d+1 πίνακες. Χαρακτηριστικά πολλαπλής τιμής: ξεχωριστός πίνακας με το κλειδί της αντίστοιχης σχέσης. Αδύναμες οντότητες: ξεχωριστός πίνακας με διακριτικό συν κλειδί της αντίστοιχης σχέσης Εξειδίκευση/γενίκευση: ένας πίνακας για κάθε κλάση/ υποκλάση (αν δεν υπάρχει κάλυψη, τότε δεν χρειάζεται πίνακας για κλάση). Συσσωμάτωση: ένας ξεχωριστός πίνακας με σύνθετο κλειδί.

36 Μετατροπή ΟΣ μοντέλου σε Σχεσιακό μοντέλο
Κεφάλαιο 6: Σχεσιακό Μοντέλο Μετατροπή ΟΣ μοντέλου σε Σχεσιακό μοντέλο

37 Μετατροπή ΟΣ μοντέλου σε Σχεσιακό μοντέλο
Κεφάλαιο 6: Σχεσιακό Μοντέλο Μετατροπή ΟΣ μοντέλου σε Σχεσιακό μοντέλο

38 Κεφάλαιο 6: Σχεσιακό Μοντέλο
Όψεις Μία όψη είναι μία εικονική (virtual) ή παραγόμενη (derived) σχέση, που προκύπτει από μία ή περισσότερες βασικές σχέσεις (base relations). Οι βασικές σχέσεις έχουν φυσική υπόσταση (στο δίσκο), ενώ μία όψη είναι ένας απλός ορισμός.

39 Όψεις Οι όψεις είναι χρήσιμες διότι: Κεφάλαιο 6: Σχεσιακό Μοντέλο
παρέχουν ασφάλεια με έναν απλό αλλά ισχυρό μηχανισμό από-κρυψης δεδομένων από συγκεκριμένους χρήστες ή εφαρμογές, το ίδιο σύνολο δεδομένων μπορεί να δίνεται στους χρήστες με διαφορετικό τρόπο, ανάλογα με τον ορισμό της όψης (ευελιξία), απλοποιείται η διατύπωση ερωτημάτων, καθώς είναι δυνατόν πολύπλοκες συνδέσεις μεταξύ των σχέσεων να ομαδοποιηθούν μέσα στον ορισμό της όψης.

40 Κεφάλαιο 6: Σχεσιακό Μοντέλο
Όψεις (Views)

41 Υλοποιημένες Όψεις (Materialized Views)
Κεφάλαιο 6: Σχεσιακό Μοντέλο Υλοποιημένες Όψεις (Materialized Views) Υπάρχει μία κατηγορία όψεων με φυσική υπόσταση, οι οποίες καλούνται υλοποιημένες (materialized). Οι όψεις τέτοιου τύπου χρησιμοποιούνται κυρίως για λόγους ταχύτητας στην επεξεργασία των δεδομένων.

42 Σύνοψη Κεφάλαιο 6: Σχεσιακό Μοντέλο
Το σχεσιακό μοντέλο αναπτύχθηκε από τον Codd το 1970. Γνωρίζει μεγάλη απήχηση στη βιομηχανία (RDBMS). Χρησιμοποιεί σχέσεις (πίνακες) για την αναπαράσταση των δεδομένων. Κάθε πίνακας αποτελείται από ένα σύνολο πλειάδων (γραμμών) και χαρακτηριστικών (στηλών). Ένα ή περισσότερα χαρακτηριστικά ορίζουν το πρωτεύον κλειδί του πίνακα. Δύο πλειάδες δεν μπορούν να συμφωνούν στην τιμή του κλειδιού. Κάθε στήλη λαμβάνει τιμές από κάποιο πεδίο ορισμού με ατομικές τιμές σε κάθε κελί. Με περιορισμούς ακεραιότητας διατηρείται η καλή κατάσταση των δεδομένων μετά από εισαγωγές, διαγραφές και ενημερώσεις. Οι όψεις αποτελούν μηχανισμό απόκρυψης δεδομένων και απλοποίησης των ερωτημάτων.