Σχεσιακός Λογισμός
- Στη σχεσιακή άλγεβρα έχουμε μια ακολουθία πράξεων ενώ στον σχεσιακό λογισμό έχουμε δηλωτικές εκφράσεις (μη διαδικαστικός τρόπος)
- Δυο προσαρμογές (από παίρνουν τιμές οι μεταβλητές):
-- σχεσιακός λογισμός πλειάδων
-- σχεσιακός λογισμός πεδίου
- Ισοδυναμία = ίδια εκφραστική δύναμη
όποια ανάκτηση μπορεί να προσδιοριστεί σε σχεσιακή άλγεβρα μπορεί και σε σχεσιακό λογισμό και αντιστρόφως