Περιεχόμενο: Σχεσιακή Άλγεβρα με Σχεσιακό Λογισμό
- Συγκριτικό διάγραμμα
- Ορισμός
- Βασικές διαφορές
- συμπέρασμα
Συγκριτικό διάγραμμα
| Βάση σύγκρισης | Σχεσιακή άλγεβρα | Σχεσιακός Λογισμός |
|---|---|---|
| Βασικός | Η Σχεσιακή Άλγεβρα είναι μια Διαδικαστική γλώσσα. | Ο σχετικός Claculus είναι δηλωτική γλώσσα. |
| Κράτη μέλη | Η σχεσιακή άλγεβρα αναφέρει πώς να αποκτήσετε το αποτέλεσμα. | Ο Σχεσιακός Λογισμός δηλώνει το αποτέλεσμα που πρέπει να έχουμε. |
| Σειρά | Η σχεσιακή άλγεβρα περιγράφει τη σειρά με την οποία πρέπει να εκτελεστούν οι λειτουργίες. | Ο Σχεσιακός Λογισμός δεν καθορίζει τη σειρά των λειτουργιών. |
| Τομέα | Η σχεσιακή άλγεβρα δεν εξαρτάται από τον τομέα. | Η σχέση Claculus μπορεί να εξαρτάται από τον τομέα. |
| Σχετιζομαι με | Είναι κοντά σε μια γλώσσα προγραμματισμού. | Είναι κοντά στη φυσική γλώσσα. |
Ορισμός της σχεσιακής άλγεβρας
Η σχεσιακή άλγεβρα παρουσιάζει το βασικό σύνολο λειτουργιών για σχεσιακό μοντέλο. Πρόκειται για μια διαδικαστική γλώσσα, η οποία περιγράφει τη διαδικασία απόκτησης του αποτελέσματος. Η σχεσιακή άλγεβρα είναι συντακτική επειδή περιγράφει τη σειρά των λειτουργιών στο ερώτημα που καθορίζει τον τρόπο ανάκτησης του αποτελέσματος ενός ερωτήματος.
Η ακολουθία των λειτουργιών σε μια άλγεβρα σχέσης ονομάζεται έκφραση σχεσιακής άλγεβρας. Η Έκφραση Σχεσιακής Άλγεβρας παίρνει είτε μία σχέση είτε δύο σχέσεις ως είσοδο στην έκφραση και ως αποτέλεσμα δημιουργεί μια νέα σχέση. Η προκύπτουσα σχέση που προκύπτει από τις εκφράσεις της σχεσιακής άλγεβρας μπορεί να συντίθεται περαιτέρω από την άλλη έκφραση σχεσιακής άλγεβρας, το αποτέλεσμα της οποίας θα είναι και πάλι μια νέα σχέση.
Η Άλγεβρα Σχέσεων αποτελεί το πλαίσιο για την υλοποίηση και βελτιστοποίηση των ερωτημάτων κατά την επεξεργασία των ερωτημάτων. Η σχεσιακή άλγεβρα αποτελεί αναπόσπαστο μέρος των σχεσιακών ΣΔΒΔ. Η βασική λειτουργία που περιλαμβάνεται στη σχεσιακή άλγεβρα είναι { Select (σ), Έργο (π), Ένωση (∪), Διαφορά τιμής (-), Καρτεσιανό προϊόν (×) και Μετονομασία (ρ) }.
Ορισμός του Σχεσιακού Λογισμού
Σε αντίθεση με την Σχεσιακή Άλγεβρα, ο Σχεσιακός Λογισμός είναι ένα υψηλότερο επίπεδο δηλωτικής γλώσσας. Σε αντίθεση με τη σχεσιακή άλγεβρα, ο σχεσιακός υπολογισμός καθορίζει ποιο αποτέλεσμα πρέπει να επιτευχθεί. Όπως η Σχεσιακή Άλγεβρα, ο Σχεσιακός Λογισμός δεν καθορίζει τη σειρά των λειτουργιών στις οποίες θα αξιολογηθεί το ερώτημα.
Η ακολουθία των πράξεων σχεσιακού λογισμού ονομάζεται έκφραση σχεσιακού λογισμού που παράγει επίσης μια νέα σχέση ως αποτέλεσμα. Ο Σχεσιακός Λογισμός έχει δύο παραλλαγές, συγκεκριμένα τον Λογικό Σχεσιακό Λογισμό και τον Λογικό Σχεσιακό Λογισμό .
Ο Σχεσιακός Λογισμός Πληροφορίας (Tuple Relational Calculus) απαριθμεί τις πλειάδες που επιλέγονται από μια σχέση, βάσει μιας συγκεκριμένης προϋπόθεσης. Ονομάζεται επίσημα ως:
P (t)
Όπου t είναι το σύνολο των πλειάδων για το οποίο ισχύει η συνθήκη P.
Η επόμενη παραλλαγή είναι ο Domain Relational Calculus, ο οποίος σε αντίθεση με τον Tuple Relational Calculus απαριθμεί τα χαρακτηριστικά που πρέπει να επιλεγούν από μια σχέση, με βάση συγκεκριμένες συνθήκες . Ο τυπικός ορισμός του Domain Relational Calculus έχει ως εξής:
Όπου Χ1, Χ2, Χ3, . . . Xn είναι τα χαρακτηριστικά και το P είναι η συγκεκριμένη συνθήκη.
Βασικές διαφορές μεταξύ της σχεσιακής άλγεβρας και του σχεσιακού λογισμού
- Η βασική διαφορά μεταξύ της σχεσιακής άλγεβρας και του σχεσιακού λογισμού είναι ότι η σχεσιακή άλγεβρα είναι μια διαδικαστική γλώσσα ενώ ο σχεσιακός υπολογισμός είναι μη-διαδικαστικός, αντιθέτως είναι μια δηλωτική γλώσσα.
- Η Σχεσιακή Άλγεβρα καθορίζει τον τρόπο απόκτησης του αποτελέσματος, ενώ ο Σχεσιακός Λογισμός καθορίζει ποιες πληροφορίες πρέπει να περιέχει το αποτέλεσμα.
- Η σχεσιακή άλγεβρα καθορίζει την αλληλουχία στην οποία πρέπει να εκτελεστούν οι λειτουργίες στο ερώτημα. Στα άλλα χέρια, ο Σχεσιακός Λογισμός δεν καθορίζει τη σειρά των λειτουργιών που πρέπει να εκτελεστούν στο ερώτημα.
- Η Σχεσιακή Άλγεβρα δεν εξαρτάται από τον τομέα, ενώ ο Σχεσιακός Λογισμός μπορεί να εξαρτάται από τον τομέα καθώς έχουμε Λογική Σχεδίασης Τομέα (Domain Relational Calculus).
- Η γλώσσα ερωτημάτων της σχεσιακής άλγεβρας συνδέεται στενά με τη γλώσσα προγραμματισμού, ενώ ο σχεσιακός υπολογισμός σχετίζεται στενά με τη φυσική γλώσσα.
Συμπέρασμα:
Η σχεσιακή άλγεβρα και ο σχεσιακός υπολογισμός έχουν ισοδύναμη εκφραστική ισχύ. Η κύρια διαφορά μεταξύ τους είναι ότι η Σχεσιακή Άλγεβρα καθορίζει τον τρόπο ανάκτησης δεδομένων και ο Σχεσιακός Λογισμός καθορίζει ποια δεδομένα πρόκειται να ανακτηθούν.
