Σχεσιακός Λογισμός Πλειάδων

Τυπικός Ορισμός

{t1.A1, t2.A2, …, tn.An | COND(t1, t2, …, tn, tn+1, tn+2, … tn+m}

t1, t2, …, tn+m : μεταβλητές πλειάδων

Α1, Α2, …, Αn : γνωρίσματα

COND μια συνθήκη ή τύπος του σχεσιακού λογισμού πλειάδων

Προηγούμενη διαφάνεια

Επόμενη διαφάνεια

Μετάβαση στην πρώτη διαφάνεια

Προβολή έκδοσης γραφικών