Η παρουσίαση φορτώνεται. Παρακαλείστε να περιμένετε

Η παρουσίαση φορτώνεται. Παρακαλείστε να περιμένετε

ΣΧΕΣΙΑΚΗ ΑΛΓΕΒΡΑ ΜΑΘΗΜΑ 4. ΣΧΕΣΙΑΚΗ ΑΛΓΕΒΡΑ Σχεσιακή Άλγεβρα είναι ένα σύνολο από τελεστές για πράξεις ανάμεσα σε σχέσεις. Κλειστότητα είναι το γεγονός.

Παρόμοιες παρουσιάσεις


Παρουσίαση με θέμα: "ΣΧΕΣΙΑΚΗ ΑΛΓΕΒΡΑ ΜΑΘΗΜΑ 4. ΣΧΕΣΙΑΚΗ ΑΛΓΕΒΡΑ Σχεσιακή Άλγεβρα είναι ένα σύνολο από τελεστές για πράξεις ανάμεσα σε σχέσεις. Κλειστότητα είναι το γεγονός."— Μεταγράφημα παρουσίασης:

1 ΣΧΕΣΙΑΚΗ ΑΛΓΕΒΡΑ ΜΑΘΗΜΑ 4

2 ΣΧΕΣΙΑΚΗ ΑΛΓΕΒΡΑ Σχεσιακή Άλγεβρα είναι ένα σύνολο από τελεστές για πράξεις ανάμεσα σε σχέσεις. Κλειστότητα είναι το γεγονός ότι το αποτέλεσμα οποιασδήποτε σχεσιακής πράξης είναι σχέση. Το αποτέλεσμα αυτό μπορεί να συμμετάσχει ως τελεστέος σε μία νέα σχεσιακή πράξη. Η συμμετοχή αυτή λέγεται εμφώλευση. Σχεσιακή Άλγεβρα είναι ένα σύνολο από τελεστές για πράξεις ανάμεσα σε σχέσεις. Κλειστότητα είναι το γεγονός ότι το αποτέλεσμα οποιασδήποτε σχεσιακής πράξης είναι σχέση. Το αποτέλεσμα αυτό μπορεί να συμμετάσχει ως τελεστέος σε μία νέα σχεσιακή πράξη. Η συμμετοχή αυτή λέγεται εμφώλευση.

3 ΑΠΟΤΕΛΕΣΜΑ ΠΡΑΞΕΩΝ Για κάθε σχεσιακή πράξη πρέπει να ορίζεται το σχήμα της σχέσης, ο βαθμός και η πληθικότητα. Το αποτέλεσμα των πράξεων μεταξύ σχέσεων είναι και αυτό σχέση με συγκεκριμένη επικεφαλίδα ή αλλιώς σχήμα της σχέσης. Άρα με βάση αυτό μπορεί να οριστεί ο βαθμός της σχέσης,δηλαδή το πλήθος των γνωρισμάτων της σχέσης. Επίσης η σχέση που προκύπτει έχει κορμό, δηλαδή ένα σύνολο από πλειάδες άρα έχει πληθικότητα. Για κάθε σχεσιακή πράξη πρέπει να ορίζεται το σχήμα της σχέσης, ο βαθμός και η πληθικότητα. Το αποτέλεσμα των πράξεων μεταξύ σχέσεων είναι και αυτό σχέση με συγκεκριμένη επικεφαλίδα ή αλλιώς σχήμα της σχέσης. Άρα με βάση αυτό μπορεί να οριστεί ο βαθμός της σχέσης,δηλαδή το πλήθος των γνωρισμάτων της σχέσης. Επίσης η σχέση που προκύπτει έχει κορμό, δηλαδή ένα σύνολο από πλειάδες άρα έχει πληθικότητα.

4 ΣΥΜΒΑΤΟΤΗΤΑ ΤΥΠΟΥ Δύο σχέσεις r και s έχουν συμβατότητα τύπου αν και μόνο αν: Έχουν τον ίδιο βαθμό, δηλαδή το ίδιο πλήθος γνωρισμάτων (αριθμό στηλών) Τα αντίστοιχα γνωρίσματα έχουν το ίδιο πεδίο ορισμού (μόνο αριθμούς ή μόνο αλφαριθμητικά κλπ). Δύο σχέσεις r και s έχουν συμβατότητα τύπου αν και μόνο αν: Έχουν τον ίδιο βαθμό, δηλαδή το ίδιο πλήθος γνωρισμάτων (αριθμό στηλών) Τα αντίστοιχα γνωρίσματα έχουν το ίδιο πεδίο ορισμού (μόνο αριθμούς ή μόνο αλφαριθμητικά κλπ).

5 ΕΝΩΣΗΕΝΩΣΗ Ένωση (union) δυο σχέσεων r(R) και s(S) που έχουν συμβατότητα τύπου είναι μια νέα σχέση που έχει επικεφαλίδα ίδια με αυτή των r και s και κορμό το σύνολο των κορμών των r και s. Δηλαδή όλες τις πλειάδες που ανήκουν στην r, ή στην s, ή και στις δύο πλειάδες. Ή r UNION s Ένωση (union) δυο σχέσεων r(R) και s(S) που έχουν συμβατότητα τύπου είναι μια νέα σχέση που έχει επικεφαλίδα ίδια με αυτή των r και s και κορμό το σύνολο των κορμών των r και s. Δηλαδή όλες τις πλειάδες που ανήκουν στην r, ή στην s, ή και στις δύο πλειάδες. Ή r UNION s

6 ΕΝΩΣΗ (ΣΥΝΕΧΕΙΑ) Ισχύει η αντιμεταθετική ιδιότητα: Ισχύει επίσης και η προσεταιριστική ιδιότητα: ή Ισχύει η αντιμεταθετική ιδιότητα: Ισχύει επίσης και η προσεταιριστική ιδιότητα: ή

7 ΤΟΜΗΤΟΜΗ Τομή (intersection) δυο σχέσεων r(R) και s(S) που έχουν συμβατότητα τύπου είναι μια νέα σχέση που έχει επικεφαλίδα ίδια με αυτή των r και s και κορμό τις πλειάδες που ανήκουν και στην r και στην s. Δηλαδή τις κοινές πλειάδες. ή r INTERSECT s Τομή (intersection) δυο σχέσεων r(R) και s(S) που έχουν συμβατότητα τύπου είναι μια νέα σχέση που έχει επικεφαλίδα ίδια με αυτή των r και s και κορμό τις πλειάδες που ανήκουν και στην r και στην s. Δηλαδή τις κοινές πλειάδες. ή r INTERSECT s

8 ΤΟΜΗ (ΣΥΝΕΧΕΙΑ) Ισχύει η αντιμεταθετική ιδιότητα: Ισχύει επίσης και η προσεταιριστική ιδιότητα: ή Ισχύει η αντιμεταθετική ιδιότητα: Ισχύει επίσης και η προσεταιριστική ιδιότητα: ή

9 ΔΙΑΦΟΡΑΔΙΑΦΟΡΑ Διαφορά δυο σχέσεων r(R) και s(S) που έχουν συμβατότητα τύπου είναι μια νέα σχέση που έχει επικεφαλίδα ίδια με αυτή των r και s και κορμό τις πλειάδες που ανήκουν στην r αλλά όχι στην s. Δηλαδή όχι τις κοινές πλειάδες. r-s ή r MINUS s Διαφορά δυο σχέσεων r(R) και s(S) που έχουν συμβατότητα τύπου είναι μια νέα σχέση που έχει επικεφαλίδα ίδια με αυτή των r και s και κορμό τις πλειάδες που ανήκουν στην r αλλά όχι στην s. Δηλαδή όχι τις κοινές πλειάδες. r-s ή r MINUS s

10 ΔΙΑΦΟΡΑ (ΣΥΝΕΧΕΙΑ) Δεν ισχύει η αντιμεταθετική ιδιότητα: Ως εκ τούτου η σειρά των τελεστέων έχει σημασία. Δεν ισχύει ούτε η προσεταιριστική ιδιότητα. Δεν ισχύει η αντιμεταθετική ιδιότητα: Ως εκ τούτου η σειρά των τελεστέων έχει σημασία. Δεν ισχύει ούτε η προσεταιριστική ιδιότητα.

11 ΓΙΝΟΜΕΝΟΓΙΝΟΜΕΝΟ Καρτεσιανό γινόμενο δυο σχέσεων r(R) και s(S) είναι μια νέα σχέση που έχει επικεφαλίδα το σύνολο των γνωρισμάτων των σχέσεων και κορμό το σύνολο όλων των συνδυασμών των πλειάδων που ανήκουν στην r(R) και στην s(S). r x s ή r TIMES s Καρτεσιανό γινόμενο δυο σχέσεων r(R) και s(S) είναι μια νέα σχέση που έχει επικεφαλίδα το σύνολο των γνωρισμάτων των σχέσεων και κορμό το σύνολο όλων των συνδυασμών των πλειάδων που ανήκουν στην r(R) και στην s(S). r x s ή r TIMES s

12 ΓΙΝΟΜΕΝΟ (ΣΥΝΕΧΕΙΑ) Εάν η σχέση r είναι m R βαθμού και έχει n R πληθικότητα και η σχέση s είναι m S βαθμού και έχει n S πληθικότητα, τότε το αποτέλεσμα είναι: m R +m S βαθμού n R * n S πληθικότητας Εάν η σχέση r είναι m R βαθμού και έχει n R πληθικότητα και η σχέση s είναι m S βαθμού και έχει n S πληθικότητα, τότε το αποτέλεσμα είναι: m R +m S βαθμού n R * n S πληθικότητας

13 ΓΙΝΟΜΕΝΟ (ΣΥΝΕΧΕΙΑ 2) Ισχύει η αντιμεταθετική ιδιότητα: Ισχύει επίσης και η προσεταιριστική ιδιότητα: ή Ισχύει η αντιμεταθετική ιδιότητα: Ισχύει επίσης και η προσεταιριστική ιδιότητα: ή

14 ΕΠΙΛΟΓΗΕΠΙΛΟΓΗ Επιλογή ή περιορισμός μιας σχέσης r(R) είναι μία σχέση που έχει το ίδιο σχήμα με την r και κορμό ένα υποσύνολο του κορμού της r που ικανοποιεί μια συνθήκη. Π.χ. Χ τελεστής Υ. σ contition (R) ή Α WHERE Χ τελεστής Υ Ο τελεστής μπορεί να είναι λογικός: Ή ένας από τους: Επιλογή ή περιορισμός μιας σχέσης r(R) είναι μία σχέση που έχει το ίδιο σχήμα με την r και κορμό ένα υποσύνολο του κορμού της r που ικανοποιεί μια συνθήκη. Π.χ. Χ τελεστής Υ. σ contition (R) ή Α WHERE Χ τελεστής Υ Ο τελεστής μπορεί να είναι λογικός: Ή ένας από τους:

15 ΠΡΟΒΟΛΗΠΡΟΒΟΛΗ Προβολή μιας σχέσης προκύπτει από την αφαίρεση κάποιων γνωρισμάτων της και την απαλοιφή πιθανών διπλοεγγραφών από τις πλειάδες που προκύπτουν. π Α 1,Α 2,…….Α m (r) Προβολή μιας σχέσης προκύπτει από την αφαίρεση κάποιων γνωρισμάτων της και την απαλοιφή πιθανών διπλοεγγραφών από τις πλειάδες που προκύπτουν. π Α 1,Α 2,…….Α m (r)


Κατέβασμα ppt "ΣΧΕΣΙΑΚΗ ΑΛΓΕΒΡΑ ΜΑΘΗΜΑ 4. ΣΧΕΣΙΑΚΗ ΑΛΓΕΒΡΑ Σχεσιακή Άλγεβρα είναι ένα σύνολο από τελεστές για πράξεις ανάμεσα σε σχέσεις. Κλειστότητα είναι το γεγονός."

Παρόμοιες παρουσιάσεις


Διαφημίσεις Google