Το Σχεσιακό Μοντέλο
Ένα σχεσιακό σχήμα βάσης δεδομένων είναι ένα σύνολο από σχήματα σχέσεων Σ = {R1, R2, …, Rn} και ένα σύνολο από περιορισμούς ακεραιότητας.
Ένα στιγμιότυπο μιας σχεσιακής βάσης δεδομένων ΒΔ του Σ είναι ένα σύνολο από στιγμιότυπα σχέσεων (σχέσεις) ΒΔ = {r1, r2, …, rn} τέτοια ώστε κάθε ri είναι ένα στιγμιότυπο του Ri που ικανοποιούν τους περιορισμούς ορθότητας (πεδίου ορισμού, κλειδιού, ακεραιότητας οντοτήτων, και αναφορικής ακεραιότητας)
Προσοχή: οι περιορισμοί ακεραιότητας πρέπει να ισχύουν σε κάθε στιγμιότυπο.