Βάσεις Δεδομένων II Αντικειμενοστρεφείς Βάσεις Δεδομένων Πάνος Βασιλειάδης.

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

1 Βάσεις Δεδομένων II Αντικειμενοστρεφείς Βάσεις Δεδομένων Πάνος Βασιλειάδης

2 2 Περιεχόμενα Βασικές έννοιες αντικειμενοστρεφούς μοντέλου Ταυτότητα αντικειμένου Ενθυλάκωση Τύποι και Κλάσεις Collection Types – Σύνθετα Αντικείμενα Κληρονομικότητα Λειτουργίες & Περιορισμοί ODMG-93 Μοντέλο Αντικειμένων Object Definition Language Object Query Language Language Bindings

3 3 Περιεχόμενα Βασικές έννοιες αντικειμενοστρεφούς μοντέλου Ταυτότητα αντικειμένου Ενθυλάκωση Τύποι και Κλάσεις Collection Types – Σύνθετα Αντικείμενα Κληρονομικότητα Λειτουργίες & Περιορισμοί ODMG-93 Μοντέλο Αντικειμένων Object Definition Language Object Query Language Language Bindings

4 4 Αντικειμενοστρεφής Προγραμματισμός – Object Oriented Programming (OOP) «μοντελοποίηση του λογισμικού και κάποιες αρχές ανάπτυξης που διευκολύνουν την κατασκευή σύνθετων συστημάτων από ξεχωριστά συστατικά» Object-Oriented (ΟΟ) = αντικειμενοστρεφής, οντολογικός, προσανατολισμένος στα αντικείμενα ΟΧΙ αντικειμενοστραφής

5 5 Αντικειμενοστρεφής Προγραμματισμός Η βασική ιδέα πίσω από τον OOP: οι οντότητες προσδιορίζονται από τις λειτουργίες τους! Ερώτηση: Ποια η βασική ιδέα πίσω από το μοντέλο οντοτήτων-συσχετίσεων, το σχεσιακό μοντέλο, τον δομημένο προγραμματισμό... ?? Οντότητες OOP = αντικείμενα

6 6 Αντικείμενα Αντικείμενο είναι μια ξεχωριστή οντότητα, που προσπαθεί να μοντελοποιήσει και να προσεγγίσει όσον το δυνατό καλύτερα, το φυσικό κόσμο. Συγκριτικά, ότι και μια εγγραφή (πλειάδα) στο σχεσιακό μοντέλο

7 7 Αντικείμενα Αντικείμενο  συμπεριφορά Η συμπεριφορά καθορίζεται από τη διαπροσωπεία (interface) του αντικειμένου, ήτοι, από ένα σύνολο λειτουργιών τις οποίες το αντικείμενο μπορεί να επιτελέσει Η συμπεριφορά καθορίζεται ακόμα, και από τις συγκεκριμένες τιμές που έχουν τα χαρακτηριστικά του αντικειμένου. Το διάνυσμα αυτών των τιμών είναι η τιμή του αντικειμένου

8 8 Αντικείμενα Τα χαρακτηριστικά των αντικειμένων ονομάζονται instance variables (ελληνιστί, πεδία, χαρακτηριστικά, μεταβλητές,...). Η υλοποίηση μιας λειτουργίας της διαπροσωπείας ενός αντικειμένου ονομάζεται μέθοδος (το αντίστοιχο των συναρτήσεων). Η κλήση μιας λειτουργίας ενός αντικειμένου, ονομάζεται αποστολή μηνύματος στο αντικείμενο

9 9 Ένα μοντέλο ΒΔ που σέβεται τον εαυτό του διαθέτει... Οντότητες (που περιγράφουν τη δομή των δεδομένων) Λειτουργίες (που περιγράφουν πώς μπορούμε να επεξεργαστούμε τα δεδομένα) Περιορισμούς ακεραιότητας (που εγγυώνται την αξιοπιστία των δεδομένων και την καλή ποιότητα της δικής μας σχεδίασης) Εμείς θα επικεντρώσουμε στη δομή του ΟΟ μοντέλου για ΒΔ– δε σημαίνει όμως ότι τα υπόλοιπα είναι δευτερεύοντα...

10 10 Για προχωρημένους... Ο όρος «μοντέλο» είναι ατυχής. Ο κανονικός όρος είναι «μεταμοντέλο» (π.χ., με βάση το σχεσιακό μεταμοντέλο, φτιάχνουμε τα δικά μας μοντέλα = τα σχήματα των ΒΔ που υλοποιούμε κάθε φορά) Μια data base (κανονικά, γράφεται database) χωρίς περιορισμούς ακεραιότητας = data dump (αχούρι, σκουπιδότοπος) χωρίς λειτουργίες = data graveyard (νεκροταφείο)

11 11 Δομή των αντικειμένων Ταυτότητα αντικειμένου Ενθυλάκωση Τύποι και Κλάσεις Σύνθετοι Τύποι Ιεραρχίες Κλάσεων – Κληρονομικότητα Πολυμορφισμός – Late Binding

12 12 Περιεχόμενα Βασικές έννοιες αντικειμενοστρεφούς μοντέλου Ταυτότητα αντικειμένου Ενθυλάκωση Τύποι και Κλάσεις Collection Types – Σύνθετα Αντικείμενα Κληρονομικότητα Λειτουργίες & Περιορισμοί ODMG-93 Μοντέλο Αντικειμένων Object Definition Language Object Query Language Language Bindings

13 13 OID – Object Identity Ταυτότητα Αντικειμένου: προσδιορίζει ένα αντικείμενο μονοσήμαντα στην ΒΔ Δεν αλλάζει ποτέ – συνυπάρχει με το αντικείμενο για όλη τη διάρκεια ζωής του αντικειμένου (object’s lifetime) Απονέμεται από το σύστημα και είναι κρυμμένο από το χρήστη Πιο προφανής χρήση: υλοποίηση αναφορών (μοίρασμα και ενημερώσεις αντικειμένων)

14 14 OID – Object Identifier Ο Πέτρος και η Μαρία έχουν το ίδιο παιδί OID: OID12 Name: Πέτρος Age: 40 Children: {OID15} OID: OID13 Name: Μαρία Age: 41 Children: {OID15} OID: OID15 Name: Γιάννης Age: 15 Children: {} OID: OID105 Name: Γιάννης Age: 105 Children: {}

15 15 Περιεχόμενα Βασικές έννοιες αντικειμενοστρεφούς μοντέλου Ταυτότητα αντικειμένου Ενθυλάκωση Τύποι και Κλάσεις Collection Types – Σύνθετα Αντικείμενα Κληρονομικότητα Λειτουργίες & Περιορισμοί ODMG-93 Μοντέλο Αντικειμένων Object Definition Language Object Query Language Language Bindings

16 16 Ενθυλάκωση (Encapsulation) OOP  διάκριση μεταξύ καθορισμού και υλοποίησης μιας εφαρμογής, ήτοι,... Interface vs. Implementation object = interface part + implementation part

17 17 Ενθυλάκωση (Encapsulation) object = interface part + implementation part Τμήμα Διαπροσωπείας = ο ορισμός των λειτουργιών που μπορεί να επιτελέσει το αντικείμενο (πρβλ., υπογραφή συναρτήσεων) Τμήμα Υλοποίησης = η αναπαράσταση του αντικειμένου (όπως π.χ., σε ένα struct στη C) + η υλοποίηση των λειτουργιών (π.χ., ο κώδικας μιας συνάρτησης), ήτοι, implementation part = (data part + procedural part)

18 18 Ενθυλάκωση (Encapsulation) Σχεσιακό μοντέλο: αν είχαμε τον πίνακα CAR_FACTORY[NAME,CAPACITY,ADDRESS], η εφαρμογή RAISE_CAPACITY(PERCENTAGE) θα ήταν ένα εξωτερικό πρόγραμμα ΟΟ: CAR_FACTORY[NAME,CAPACITY,ADDRESS, RAISE_CAPACITY(PERCENTAGE)]

19 19 Ενθυλάκωση (Encapsulation) Interface Part: RAISE_CAPACITY(PERCENTAGE) Data Part: NAME,CAPACITY,ADDRESS Implementation Part: RAISE_CAPACITY(PERCENTAGE){ return CAPACITY * (1+ PERCENTAGE); }

20 20 Ενθυλάκωση (Encapsulation) Καμιά λειτουργία πέραν αυτών που καθορίστηκαν στο τμήμα διαπροσωπείας δεν μπορεί να εκτελεστεί! Για το προηγούμενο παράδειγμα, το ΜΟΝΟ που μπορώ να κάνω είναι να αυξήσω την παραγωγή. ΔΕΝ ΜΠΟΡΩ να ορίσω τιμή στο όνομα, ή να ρωτήσω ποια είναι η δ/ση του εργοστασίου

21 21 Ενθυλάκωση (Encapsulation) Ενσωματώνει, εκτός από δεδομένα, και λειτουργίες στα αντικείμενα Αποκρύπτει τον τρόπο υλοποίησης των μεθόδων, οπότε, απεξαρτά τη διαχείριση του αντικειμένου από τη δομή του, Επιβάλει τη διαχείριση του κάθε αντικειμένου, αυστηρά και μόνο από τις δικές του μεθόδους*, μέσω των αντίστοιχων μηνυμάτων. * Πολλές φορές θα δείτε τον όρο «μέθοδος» να χαρακτηρίζει το interface part …

22 22 Ενθυλάκωση (Encapsulation) Από το μάθημα Γλωσσών Προγραμματισμού: θυμάστε τη διαφορά μεταξύ Private, Public, Protected πεδίων ?

23 23 Από C++ … class Square{ private: int height, width; public: Square(int, int); ~Square(); int area(void); }; Square::Square(int ht, int wd) { height = ht; width = wd; } Square::~Square() { } int Square::area(){ return height*width; }

24 24 Περιεχόμενα Βασικές έννοιες αντικειμενοστρεφούς μοντέλου Ταυτότητα αντικειμένου Ενθυλάκωση Τύποι και Κλάσεις Collection Types – Σύνθετα Αντικείμενα Κληρονομικότητα Λειτουργίες & Περιορισμοί ODMG-93 Μοντέλο Αντικειμένων Object Definition Language Object Query Language Language Bindings

25 25 Τύποι και Κλάσεις Τύποι Αντιστοιχούν σε αφηρημένους τύπους δεδομένων (abstract data types), ήτοι, Αποτελούνται από interface part και implementation part Έχουν τιμές (values) ως στιγμιότυπα Διαισθητικά, πρόκειται για «καλούπια» αντικειμένων (για την ακρίβεια: τιμών), π.χ., σαν structs επεκτεταμένα με μεθόδους...

26 26 Τύποι και Κλάσεις Κλάσεις Ομαδοποιούν αντικείμενα με ίδιες σημασιολογικές ιδιότητες Χτίζονται πάνω σε τύπους Έχουν αντικείμενα ως στιγμιότυπα Διαισθητικά, πρόκειται για «συλλογές» αντικειμένων, π.χ., σαν σχεσιακοί πίνακες, των οποίων το σχήμα προκύπτει από ένα τύπο...

27 27 Τύποι και Κλάσεις Αντιστοιχούν σε αφηρημένους τύπους δεδομένων (abstract data types) Ομαδοποιούν αντικείμενα με ίδιες σημασιολογικές ιδιότητες Αποτελούνται από interface part και implementation part Χτίζονται πάνω σε τύπους Έχουν τιμές (values) ως στιγμιότυπα Έχουν αντικείμενα ως στιγμιότυπα

28 28 Τιμές και Αντικείμενα Απλές (string, integer, κ.λ.π.), ή Σύνθετες (αποτελούμενες από άλλες τιμές) Χαρακτηρίζονται μονοσήμαντα από την ταυτότητα αντικειμένου Είναι αναλλοίωτες (κάθε μεταβολή επιφέρει την παραγωγή νέας τιμής). Μια αλλαγή σε ένα αντικείμενο επιφέρει την αλλαγή της τιμής του, χωρίς τη δημιουργία νέου αντικειμένου Η μεταβολή γίνεται μέσω τελεστών της γλώσσας προγραμματισμού Η μεταβολή γίνεται μόνο μέσω μηνυμάτων που μας παρέχει το interface του αντικειμένου

29 29 Τύποι και Κλάσεις add class Monument type tuple(name: string, address: Address, description: string, closing_days: list(string), admission_fee: integer) add method increase_fee(amount: integer) in class Monument

30 30 Τύποι και Κλάσεις Οι τύποι μοντελοποιούν τη δομική ομοιότητα κάποιων τιμών, ενώ οι κλάσεις μοντελοποιούν τη σημασιολογική ομοιότητα αντικειμένων Στην πράξη (π.χ., στα συστήματα ή στα στάνταρτ): η διάκριση αυτή είναι ορατή, αν και πρακτικά όχι μεγάλη!

31 31 Τύποι και Κλάσεις Τύποι και Κλάσεις στην Πληροφορική γενικότερα: Τεχνητή Νοημοσύνη: η διάκρισή τους είναι σημαντική (π.χ., οντολογίες) Γλώσσες Προγραμματισμού: δεν έχουν μεγάλη διαφορά, συνήθως δεν τα διακρίνουμε

32 32 Περιεχόμενα Βασικές έννοιες αντικειμενοστρεφούς μοντέλου Ταυτότητα αντικειμένου Ενθυλάκωση Τύποι και Κλάσεις Collection Types – Σύνθετα Αντικείμενα Κληρονομικότητα Λειτουργίες & Περιορισμοί ODMG-93 Μοντέλο Αντικειμένων Object Definition Language Object Query Language Language Bindings

33 33 Collection Types Σύνολα (Sets) αντικειμένων Πολυσύνολα (Bags) αντικειμένων = σύνολα με διπλοεγγραφές Λίστες (Lists) αντικειμένων = διατεταγμένα πολυσύνολα Πίνακες (Arrays) αντικειμένων = λίστες πεπερασμένου μεγέθους Πλειάδες (Tuples) αντικειμένων = παράθεση αντικειμένων, με συγκεκριμένο τρόπο

34 34 Collection Types Οι σύνθετοι τύποι είναι ορθογώνιοι: οποιοσδήποτε από αυτούς μπορεί να εφαρμοστεί σε ένα αντικείμενο, μια τιμή, ή ένα σύνθετο τύπο. tuple[set{string},set{integer},bag{string}] Μάλλον καλύτερη μετάφραση: «τύποι συλλογών»

35 35 Σύνθετα Αντικείμενα Δομές αντικειμένων με σχέση Part-Of Η ύπαρξη ενός αντικειμένου εξαρτάται από την ύπαρξη ενός άλλου Υλοποιούνται είτε με φώλιασμα των αντικειμένων, είτε με αναφορές

36 36 Σύνθετα Αντικείμενα OID: OID12 Name: Πέτρος Age: 40 Children: {OID15} OID: OID15 Name: Γιάννης Age: 15 Children: {} OID: OID10 Name: Μαμά Καγκουρό Age: 4 Children: { [OID: OID15 Name: Μωρό Κ. Age: 0.5 Children: {}] }

37 37 Σύνθετα Αντικείμενα OID: OID12 Name: Πέτρος Age: 40 Father: NULL Children: {OID15} OID: OID15 Name: Γιάννης Age: 15 Father: OID12 Children: {} Children Father H ίδια αναφορά έχει και την ευθεία και την ανάστροφη φορά (inverse)

38 38 Περιεχόμενα Βασικές έννοιες αντικειμενοστρεφούς μοντέλου Ταυτότητα αντικειμένου Ενθυλάκωση Τύποι και Κλάσεις Collection Types – Σύνθετα Αντικείμενα Κληρονομικότητα Λειτουργίες & Περιορισμοί ODMG-93 Μοντέλο Αντικειμένων Object Definition Language Object Query Language Language Bindings

39 39 Ιεραρχίες Τύπων και Κλάσεων Κληρονομικότητα (Inheritance): Κατασκευάζουμε ένα δέντρο (ιεραρχία) κλάσεων. Κάθε κλάση που είναι κόμβος του δέντρου «κληρονομεί», από την πατρική της κλάση όλα τα δομικά και λειτουργικά χαρακτηριστικά της -τις instance variables και τις μεθόδους, δηλαδή. Στα χαρακτηριστικά αυτά, κάθε κλάση νομιμοποιείται να προσθέσει τα δικά της χαρακτηριστικά και λειτουργίες. Οι ιεραρχίες αφορούν και τύπους και κλάσεις

40 40 Ιεραρχίες Τύπων και Κλάσεων Vehicle - Name - Weight - Color + GetName() + GetWeight + GetColor() FourWheels - MaxVelocity +GetMaxVelocity() Bike - NumSpeeds +GetNumSpeeds() Van - MaxCargo +GetMaxCargo() Car - NumDoors +GetNumDoors()

41 41 Ιεραρχίες Τύπων και Κλάσεων Η ιεραρχία των κλάσεων πρέπει να σέβεται την ιεραρχία των τύπων Πολλαπλή κληρονομικότητα (Multiple Inheritance): μια κλάση έχει περισσότερους από έναν προγόνους Αφηρημένη κλάση (abstract class): απαγορεύεται να έχει στιγμιότυπα

42 42 Υπερφόρτωση και πολυμορφισμός Υπερφόρτωση (overloading): Το φαινόμενο όπου δύο μηνύματα, σε διαφορετικές κλάσεις, συμφωνούν στο interface τους Υπέρβαση (overriding): Το φαινόμενο όπου κάποιο μήνυμα υλοποιείται με διαφορετική μέθοδο στην κορυφή της ιεραρχίας, απ’ ότι σε κάποιο χαμηλότερο επίπεδο

43 43 Υπερφόρτωση και πολυμορφισμός Vehicle - Name - Weight - Color + GetName() + GetWeight + GetColor() FourWheels - MaxVelocity +GetMaxVelocity() Bike - NumSpeeds +GetNumSpeeds() Van - MaxCargo +GetMaxCargo() +GetWeight() Car - NumDoors +GetNumDoors()

44 44 Υπερφόρτωση και πολυμορφισμός Late Binding: Για να υποστηριχθεί η υπέρβαση, τα ονόματα των λειτουργιών "επιλύονται" (resolved) -μεταφράζονται σε διευθύνσεις- στο χρόνο εκτέλεσης Πολυμορφισμός (polymorphism): Το φαινόμενο όπου διαφορετικά αντικείμενα (ή κλάσεις) αντιδρούν με διαφορετικό τρόπο στο ίδιο μήνυμα

45 45 Τυπικός ορισμός αντικειμένου Αντικείμενο = [OID, τιμή, κατάσταση, κλάση] OID = μοναδικός προσδιοριστής Τιμή = διάνυσμα τιμών των instance variables + τιμές επιστροφής των μεθόδων (public) Κατάσταση = διάνυσμα τιμών των instance variables βάσει του τύπου στον οποίο δομείται το αντικείμενο (private) Κλάση = η κλάση στην οποία ανήκει το αντικείμενο

46 46 Τυπικός ορισμός κλάσης όνομα κλάσης, τύπος της τιμής των στιγμιοτύπων, τύπος της κατάστασης των στιγμιοτύπων, {μηνύματα στιγμιοτύπων}, {μέθοδοι στιγμιοτύπων}, τιμή της κλάσης, κατάσταση της κλάσης, {μηνύματα της κλάσης}, {μέθοδοι της κλάσης} τύπος της τιμής της κλάσης, τύπος της κατάστασης της κλάσης Η κλάση είναι μια συλλογή στιγμιοτύπων αλλά είναι κι η ίδια ένα αντικείμενο οπότε ανήκει κι αυτή σε μια μετα-κλάση

47 47 Από το σύστημα O 2 add class City with extension type tuple(name: string, map: Bitmap, hotels: set(Hotel)) add class Monument type tuple(name: string, address: Address, description: string, closing_days: list(string), admission_fee: integer)

48 48 Από το σύστημα O 2 add class Address type tuple(street: string, city: City) add class Hotel type tuple(name: string, address: Address, facilities: list(string), stars: integer, rate: float)

49 49 Από το σύστημα O 2 add name Eiffel_tower: Monument, ή ισοδύναμα Eiffel_tower = new(Monument) add method increase_fee(amount: integer) in class Monument is private add class Historical_hotel inherits Monument, Hotel add method print_height(amount: float) in object Eiffel_tower

50 50 Από το σύστημα GemStone (που ακολουθεί το παράδειγμα της Smalltalk) Object subclass: 'Department' instVarNames: #('dptID' 'dptName' 'SubDpts' 'BelongsTo' 'manager') classVars: #() constraints: #[ #[#dptID, Integer], #[#dptName, String], #[#manager, String]]. method: Department dptName ^dptName %

51 51 Περιεχόμενα Βασικές έννοιες αντικειμενοστρεφούς μοντέλου Ταυτότητα αντικειμένου Ενθυλάκωση Τύποι και Κλάσεις Collection Types – Σύνθετα Αντικείμενα Κληρονομικότητα Λειτουργίες & Περιορισμοί ODMG-93 Μοντέλο Αντικειμένων Object Definition Language Object Query Language Language Bindings

52 52 Λειτουργίες στα δεδομένα Λειτουργίες για την ταυτότητα αντικειμένου Ταύτιση (OID = OID) Ρηχή Ισότητα (τιμή1 = τιμή2, σε επίπεδο αντικειμένων) Βαθειά Ισότητα Ασθενής (τιμή1 = τιμή2, σε επίπεδο τιμών) Ισχυρή (ασθενής + ισομορφικοί γράφοι)

53 53 Λειτουργίες - Identity

54 54 Λειτουργίες - Shallow Equality Rectangular1: I1 Ρηχή ισότητα αντικειμένων Rectangular1 = Rectangular2 Rectangular2: I2 LowerLeft Corner UpperRight Corner X Y 2 3 X Y 5 7

55 55 Λειτουργίες – Deep Equality XY 23 XY 46 I3I2 Array1: I1 XY 23 XY 46 I6I5 Array2: I4 XY 23 XY 46 I10I8 Array3: I7 XY 23 I9 •ARRAY1 not deep-equal ARRAY3 (στην ισχυρή εκδοχή ισομορφικών γράφων) •ARRAY1 deep-equal ARRAY3 (στην ασθενή εκδοχή) •ARRAY1 deep-equal ARRAY2 (και στις δύο εκδοχές)

56 56 Λειτουργίες στα δεδομένα Λειτουργίες για bags, sets, lists Ένωση Τομή Διαφορά DupEliminate Γενική Επιλογή (General Selection) Φώλιασμα (Nest) Από-Φώλιασμα (UnNest) Άνοιγμα (Flatten)

57 57 Περιορισμοί Ακεραιότητας Περιορισμοί Ακεραιότητας Κλειδιού (Key constraints) Υπαρξιακός Περιορισμός Ακεραιότητας (Existential constraint) Περιορισμοί Ακεραιότητας Μη Κενού Χαρακτηριστικού (NOT NULL contraints) Περιορισμός Συνέπειας Αντίστροφου Δείκτη (Inverse Link Consistency Constraint) Περιορισμός Διαχωρισιμότητας (Disjointness constraint) Περιορισμός Επικάλυψης (Covering constraint)

58 58 Περιεχόμενα Βασικές έννοιες αντικειμενοστρεφούς μοντέλου Ταυτότητα αντικειμένου Ενθυλάκωση Τύποι και Κλάσεις Collection Types – Σύνθετα Αντικείμενα Κληρονομικότητα Λειτουργίες & Περιορισμοί ODMG-93 Μοντέλο Αντικειμένων Object Definition Language Object Query Language Language Bindings

59 59 ODMG - 93 Το Object Database Management Group (ODMG) είναι μια επιτροπή που, στις αρχές της δεκαετίας του 1990, πρότεινε ένα κοινό interface (ODMG ‑ 93) στους διάφορους κατασκευαστές αντικειμενοστρεφών συστημάτων βάσεων δεδομένων Σήμερα: version 3.0 του στάνταρτ

60 60 Βασικά κομμάτια του ODMG - 93 Μοντέλο Αντικειμένων (Object Model) Γλώσσα Ορισμού Αντικειμένων (Object Definition Language - ODL) Object Query Language - OQL C++ Language Binding Smalltalk Language Binding

61 61 Περιεχόμενα Βασικές έννοιες αντικειμενοστρεφούς μοντέλου Ταυτότητα αντικειμένου Ενθυλάκωση Τύποι και Κλάσεις Collection Types – Σύνθετα Αντικείμενα Κληρονομικότητα Λειτουργίες & Περιορισμοί ODMG-93 Μοντέλο Αντικειμένων Object Definition Language Object Query Language Language Bindings

62 62 Μοντέλο Αντικειμένων Η βασική οντότητα είναι το αντικείμενο (object) Τα αντικείμενα κατηγοριοποιούνται σε τύπους (types) Η συμπεριφορά των αντικειμένων χαρακτηρίζεται από τις λειτουργίες του Η κατάσταση (state) των αντικειμένων χαρακτηρίζεται από τις τιμές των ιδιοτήτων (properties) = attributes & relationships Εδώ: κατάσταση = τιμή

63 63 Μοντέλο Αντικειμένων Για κάθε λειτουργία, ο προγραμματιστής πρέπει να καθορίσει την υπογραφή της. Κάθε λειτουργία είναι συνδεδεμένη με μόνο ένα τύπο μπορεί να έχει ορίσματα, να επιστρέφει μία τιμή, να έχει παρενέργειες και να καλεί μια εξαίρεση

64 64 Πώς δουλεύει... Δηλώσεις σε ODL ή σε PL ODL Κώδικας της εφαρμογής σε PL Preprocessor για τις δηλώσεις PL Compiler Linker ODBMS runtime Application Binary Running Application metadata Data access Database

65 65 Περιεχόμενα Βασικές έννοιες αντικειμενοστρεφούς μοντέλου Ταυτότητα αντικειμένου Ενθυλάκωση Τύποι και Κλάσεις Collection Types – Σύνθετα Αντικείμενα Κληρονομικότητα Λειτουργίες & Περιορισμοί ODMG-93 Μοντέλο Αντικειμένων Object Definition Language Object Query Language Language Bindings

66 66 Γλώσσα Ορισμού Αντικειμένων (Object Definition Language, ODL) Υποστηρίζει όλες τις σημασιολογικές δομές του ODMG μοντέλου αντικειμένων Είναι μια γλώσσα προσδιορισμού interface signatures Είναι ανεξάρτητη από προγραμματιστικές γλώσσες Είναι συμβατή με την Interface Definition Language του OMG Είναι επεκτάσιμη Καθορίζει τα χαρακτηριστικά των τύπων και τις υπογραφές των μεθόδων Το ODMG-93 δεν καθορίζει κάποια συγκεκριμένη OML. Περιγράφει, δύο interfaces για τη σύνδεση των C++ και Smalltalk Είναι ανεξάρτητη από την οποιαδήποτε γλώσσα προγραμματισμού

67 67 Object Definition Language, ODL interface Person ( extent people ) { attribute String name; attribute Struct Address { Unsigned Short number, String Street, String city_name} address; relationship Person spouse inverse Person::spouse; relationship Set children inverse Person::parents {order by birth_date } relationship List parents inverse Person::children; void birth (in String name); Boolean marriage (in String person_name) raises (no_such_person); Unsigned Short ancestors (out Set all_ancestors) raises (no_such_person); void move (in String new_address); };

68 68 Object Definition Language, ODL interface Employee: Person ( extent employees key(name, id) ) { attribute Short id; attribute Unsigned Short annual_salary; }; interface City ( extent cities key city_code) ) { attribute Unsigned Short city_code; attribute String name; attribute Set population; };

69 69 Περιεχόμενα Βασικές έννοιες αντικειμενοστρεφούς μοντέλου Ταυτότητα αντικειμένου Ενθυλάκωση Τύποι και Κλάσεις Collection Types – Σύνθετα Αντικείμενα Κληρονομικότητα Λειτουργίες & Περιορισμοί ODMG-93 Μοντέλο Αντικειμένων Object Definition Language Object Query Language Language Bindings

70 70 Object Query Language - OQL Δεν είναι από μόνη της υπολογιστικά πλήρης Παρέχει δηλωτικό τρόπο προγραμματισμού Βασίζεται στο μοντέλο αντικειμένων του ODMG Έχει αφηρημένο συντακτικό (abstract syntax) Έχει εύκολα καθορίσιμα semantics Έχει συντακτικό SQL-like Παρέχει την ευκολία της άμεσης διαχείρισης για collections αντικειμένων Δεν παρέχει τελεστές για update αλλά βασίζεται στις μεθόδους των αντικειμένων, που έχουν καθοριστεί γι' αυτό το σκοπό Βελτιστοποιείται εύκολα

71 71 Object Query Language - OQL Person με τα χαρακτηριστικά name, birthdate, salary και τη μέθοδο age. Extent: Persons Employee ISA Person και τον εξειδικεύει με την αναφορά subordinates και τη μέθοδο seniority. Extent: Employees Department, με το χαρακτηριστικό name και την αναφορά employees, η οποία τυχαίνει να είναι και αντίστροφη (στον τύπο Employee υπάρχει η αντίστροφη αναφορά department

72 72 Object Query Language - OQL select distinct struct(name: x.name, hps: (select y from x.subordinates as y where y.age > 30)) from Employees x Μπορούμε να ονομάζουμε τα χαρακτηριστικά του αποτελέσματος της ερώτησης Στο from clause μπορούμε να πούμε from Employees x, ή from Employees as x, ή ακόμα και from x in Employees. Μπορούμε να έχουμε φώλιασμα ερωτήσεων και μεταβλητών. Μπορούμε να χρησιμοποιούμε εκφράσεις μονοπατιών μέσα σε μια ερώτηση Μπορούμε να χρησιμοποιούμε μεθόδους οπουδήποτε μέσα σε μια ερώτηση Αποτέλεσμα: set )>

73 73 Object Query Language - OQL select department, avg_salary: avg(select e.salary from partition x) from Employees e group by department: e.department having count(select * from partition x) > 5 order by department.name Το clause group by χωρίζει τους υπαλλήλους σε ομάδες (partitions). Κάθε ομάδα χαρακτηρίζεται από το γεγονός ότι όλοι οι υπάλληλοι δουλεύουν στο ίδιο τμήμα και ονομάζεται partition (που είναι δεσμευμένη λέξη στην OQL). Το clause having περιορίζει τα τμήματα σ’ αυτά που έχουν αριθμό υπαλλήλων πάνω από 5. Η συντόμευση * διατηρείται και στην OQL (όπως και στην SQL) Το order by λειτουργεί όπως και στην SQL Αποτέλεσμα: set

74 74 Περιεχόμενα Βασικές έννοιες αντικειμενοστρεφούς μοντέλου Ταυτότητα αντικειμένου Ενθυλάκωση Τύποι και Κλάσεις Collection Types – Σύνθετα Αντικείμενα Κληρονομικότητα Λειτουργίες & Περιορισμοί ODMG-93 Μοντέλο Αντικειμένων Object Definition Language Object Query Language Language Bindings

75 75 C++ Language Binding Είναι μια βιβλιοθήκη κλάσεων και μια επέκταση στη γραμματική της C++ Η βιβλιοθήκη παρέχει κλάσεις για να υλοποιηθεί το μοντέλο αντικειμένων του ODMG-93 Η επέκταση του συντακτικού της γλώσσας έχει να κάνει με την υποστήριξη σχέσεων μεταξύ των κλάσεων Υπάρχει και μια απεικόνιση της OQL για C++. Τα queries μπορούν να δηλωθούν μέσα σε ένα πρόγραμμα μέσω μιας συναρτήσεως για queries, η οποία παίρνει strings για ορίσματα

76 76 C++ Language Binding Για να δηλωθούν τα διαρκή (persistent) δεδομένα στη C++ binding, μια κλάση πρέπει να είναι υποκλάση της κλάσης Persistent_Object. Μια κλάση μπορεί να έχει και διαρκή (persistent) και μεταβατικά (transient) αντικείμενα. Ref profP;

77 77 C++ Language Binding class City : public Persistent_Object { public: int city_code; String name; Ref >> population; City(int, const char*); //Extension static Ref >> cities; static const char * const; };

78 78 C++ Language Binding //Classes implementation in C++ #include "schema.hxx" const char * const City::extent_name = "cities" ; City::City(int code, const char* cname) : city_code(code), name(cname) { cities->insert_element(this); }

79 79 C++ ODL Declarations ODL Preprocessor Generated C++ Header [and source] files User C++ Source [and Header] files with OML C++ Compiler ODBMS Runtime Object Code Linker Executable Application ODBMS Runtime ODBMS Metadata Database

80 80 Smalltalk Binding Αντίστοιχο με το C++ Binding Εγγυάται την αντιστοιχία μεταξύ transient και persistent δεδομένων ODL DeclarationsODL Compiler Meta Objects Object Instances Class Objects Object Instances Language Binding DatabaseImage

81 81 Smalltalk Binding Object subclass: #City instanceVariableNames: 'cityCode name population' classVariableNames: 'Cities' poolDictionaries: '' "attributes" cityCode "return the cityCode" ^cityCode cityCode: aCityCode "set the cityCode" ^cityCode := aCityCode