Το Σχεσιακό Μοντέλο
Μια σχέση ορίζεται ως ένα σύνολο πλειάδων, άρα όλες οι πλειάδες πρέπει να είναι διαφορετικές.
Υποσύνολο γνωρισμάτων SK του σχήματος σχέσης R τέτοια ώστε σε κάθε στιγμιότυπο r(R) κανένα ζευγάρι πλειάδων δε μπορεί να έχει τον ίδιο συνδυασμό τιμών για τα γνωρίσματα αυτά, δηλαδή
για δυο διαφορετικές πλειάδες t1 και t2, t1[SK] ? t2[SΚ]