Περιεχόμενο

• Περιεχόμενο: Σχεσιακή Άλγεβρα με Σχεσιακό Λογισμό
• Συγκριτικό διάγραμμα
• Ορισμός της σχεσιακής άλγεβρας
• Ορισμός του Σχεσιακού Λογισμού
• Συμπέρασμα:

Η Σχεσιακή Άλγεβρα και ο Σχεσιακός Λογισμός είναι οι επίσημες γλώσσες ερωτημάτων για ένα σχεσιακό μοντέλο. Και οι δύο αποτελούν τη βάση για τη γλώσσα SQL που χρησιμοποιείται στα περισσότερα από τα σχεσιακά DBMS. Σχεσιακή άλγεβρα είναι μια διαδικαστική γλώσσα. Από τα άλλα χέρια, Σχεσιακός Λογισμός είναι μια δηλωτική γλώσσα. Η σχεσιακή άλγεβρα και ο σχεσιακός υπολογισμός μπορούν να διαφοροποιηθούν περαιτέρω σε πολλές πτυχές, τις οποίες έχω συζητήσει παρακάτω με τη βοήθεια του πίνακα σύγκρισης.

Περιεχόμενο: Σχεσιακή Άλγεβρα με Σχεσιακό Λογισμό

1. Συγκριτικό διάγραμμα
2. Ορισμός
3. Βασικές διαφορές
4. συμπέρασμα

Συγκριτικό διάγραμμα

Βάση σύγκρισης	Σχεσιακή άλγεβρα	Σχεσιακός Λογισμός
Βασικός	Η Σχεσιακή Άλγεβρα είναι μια Διαδικαστική γλώσσα.	Ο σχετικός Claculus είναι δηλωτική γλώσσα.
Κράτη μέλη	Η σχεσιακή άλγεβρα αναφέρει πώς να αποκτήσετε το αποτέλεσμα.	Ο Σχεσιακός Λογισμός δηλώνει το αποτέλεσμα που πρέπει να έχουμε.
Σειρά	Η σχεσιακή άλγεβρα περιγράφει τη σειρά με την οποία πρέπει να εκτελεστούν οι λειτουργίες.	Ο Σχεσιακός Λογισμός δεν καθορίζει τη σειρά των λειτουργιών.
Τομέα	Η σχεσιακή άλγεβρα δεν εξαρτάται από τον τομέα.	Η σχέση Claculus μπορεί να εξαρτάται από τον τομέα.
Σχετιζομαι με	Είναι κοντά σε μια γλώσσα προγραμματισμού.	Είναι κοντά στη φυσική γλώσσα.

Ορισμός της σχεσιακής άλγεβρας

Η σχεσιακή άλγεβρα παρουσιάζει το βασικό σύνολο λειτουργιών για σχεσιακό μοντέλο. Είναι ένα διαδικαστικός γλώσσα, η οποία περιγράφει τη διαδικασία απόκτησης του αποτελέσματος. Η σχεσιακή άλγεβρα είναι συντακτική επειδή περιγράφει την σειρά εργασιών στο ερώτημα που καθορίζει πως για να ανακτήσετε το αποτέλεσμα ενός ερωτήματος.

Η αλληλουχία των λειτουργιών σε μια άλγεβρα σχέσης καλείται έκφραση σχεσιακής άλγεβρας.Η Έκφραση Σχεσιακής Άλγεβρας παίρνει είτε μία σχέση είτε δύο σχέσεις ως είσοδο στην έκφραση και ως αποτέλεσμα δημιουργεί μια νέα σχέση. Η προκύπτουσα σχέση που προκύπτει από τις εκφράσεις της σχεσιακής άλγεβρας μπορεί να συντίθεται περαιτέρω από την άλλη έκφραση σχεσιακής άλγεβρας, το αποτέλεσμα της οποίας θα είναι και πάλι μια νέα σχέση.

Η Άλγεβρα Σχέσεων αποτελεί το πλαίσιο για την υλοποίηση και βελτιστοποίηση των ερωτημάτων κατά την επεξεργασία των ερωτημάτων. Η σχεσιακή άλγεβρα αποτελεί αναπόσπαστο μέρος των σχεσιακών ΣΔΒΔ. Η θεμελιώδης λειτουργία που περιλαμβάνεται στη σχεσιακή άλγεβρα είναι { Επιλέξτε (σ), Έργο (π), Ένωση (∪), Διαφορά Διαφοράς (-), Καρτεσιανό προϊόν (×) και Μετονομασία (ρ)}.

Ορισμός του Σχεσιακού Λογισμού

Σε αντίθεση με την Σχεσιακή Άλγεβρα, ο Σχεσιακός Λογισμός είναι ένα υψηλότερο επίπεδο Δηλωτικός Γλώσσα. Σε αντίθεση με τη σχετική άλγεβρα, ο σχεσιακός υπολογισμός ορίζει τι πρέπει να επιτευχθεί το αποτέλεσμα. Όπως η Σχεσιακή Άλγεβρα, Σχεσιακός Λογισμός δεν καθορίζει τη σειρά λειτουργιών στην οποία το ερώτημα θα αξιολογηθεί.

Η ακολουθία των λειτουργιών σχεσιακού λογισμού ονομάζεται έκφραση σχεσιακού λογισμού που παράγει επίσης μια νέα σχέση ως αποτέλεσμα. Ο Σχεσιακός Λογισμός έχει δύο παραλλαγές δηλαδή Λογική σχεσιακή Λογισμός και Σχεσιακός Λογισμός Domain.

Το Λογικό Σχεσιακό Λογισμός ορίστε τις πλειάδες να επιλεγεί από μια σχέση, με βάση ένα συγκεκριμένο κατάσταση υπό την προϋπόθεση. Ονομάζεται επίσημα ως:

P (t)

Που t είναι το σύνολο πλειάδων για το οποίο η κατάσταση Π είναι αλήθεια.

Η επόμενη παραλλαγή είναι ο Domain Relational Calculus, ο οποίος σε αντίθεση με τον Tuple Relational Calculus λίστα των χαρακτηριστικών να επιλέγεται από μια σχέση, βασισμένη σε ορισμένες κατάσταση. Ο τυπικός ορισμός του Domain Relational Calculus έχει ως εξής:

Που Χ1, Χ2, Χ3,. . . Xn είναι τα χαρακτηριστικά και Π είναι η συγκεκριμένη κατάσταση.

1. Η βασική διαφορά μεταξύ της σχεσιακής άλγεβρας και του σχεσιακού λογισμού είναι ότι η σχεσιακή άλγεβρα είναι μια διαδικαστική γλώσσα ενώ ο σχεσιακός υπολογισμός είναι μη-διαδικαστικός, αντιθέτως είναι μια δηλωτική γλώσσα.
2. Η Σχεσιακή Άλγεβρα καθορίζει τον τρόπο απόκτησης του αποτελέσματος, ενώ ο Σχεσιακός Λογισμός καθορίζει ποιες πληροφορίες πρέπει να περιέχει το αποτέλεσμα.
3. Η σχεσιακή άλγεβρα καθορίζει την αλληλουχία στην οποία πρέπει να εκτελεστούν οι λειτουργίες στο ερώτημα. Στα άλλα χέρια, ο Σχεσιακός Λογισμός δεν καθορίζει τη σειρά των λειτουργιών που πρέπει να εκτελεστούν στο ερώτημα.
4. Η Σχεσιακή Άλγεβρα δεν εξαρτάται από τον τομέα, ενώ ο Σχεσιακός Λογισμός μπορεί να εξαρτάται από τον τομέα καθώς έχουμε Λογική Σχεδίασης Τομέα (Domain Relational Calculus).
5. Η γλώσσα ερωτημάτων της σχεσιακής άλγεβρας συνδέεται στενά με τη γλώσσα προγραμματισμού, ενώ ο σχεσιακός υπολογισμός σχετίζεται στενά με τη φυσική γλώσσα.

Συμπέρασμα:

Η σχεσιακή άλγεβρα και ο σχεσιακός υπολογισμός έχουν ισοδύναμη εκφραστική ισχύ. Η κύρια διαφορά μεταξύ τους είναι ότι η Σχεσιακή Άλγεβρα καθορίζει τον τρόπο ανάκτησης δεδομένων και ο Σχεσιακός Λογισμός καθορίζει ποια δεδομένα πρόκειται να ανακτηθούν.