Σχεσιακός Λογισμός Πεδίων
Διαφορά από το σχεσιακό λογισμό πλειάδων: οι μεταβλητές είναι απλές τιμές του πεδίου ορισμού των γνωρισμάτων
{x1, x2, …, xn | COND(x1, x2, …, xn, xn+1, xn+2, … xn+m}
x1, x2, …, xn : μεταβλητές πεδίου τιμών που παίρνουν τιμές από πεδία ορισμού γνωρισμάτων
COND μια συνθήκη ή τύπος του σχεσιακού λογισμού πεδίων