Σχεσιακός Λογισμός Πλειάδων
Πρέπει να αποτιμάται σε πεπερασμένο αριθμό πλειάδων
Πεδίο ορισμού μιας έκφρασης Ρ: σύνολο τιμών που αναφέρονται στο Ρ, δηλαδή οι τιμές που εμφανίζονται άμεσα στο Ρ (ως σταθερές) και οι τιμές πλειάδων σχέσεων που εμφανίζονται στο Π
Ασφαλής: τιμές στο αποτέλεσμα από το πεδίο ορισμού
Παράδειγμα μη ασφαλούς: {t | not(Πελάτης(t)}