Datenbanken, also Systeme zur SPeicherung von Datentupeln, werden in verschiedene Modelle Unterschieden, die mehr oder weniger unabhängig von Datenbanksprachen wie SQL, Access oder Oracle entstanden sind. Zu diesen Modellen gehören zum Beispiel das hierachische Datenbankmodell, das relationale Datenbankmodell oder semi-strukturierte Datenbanken (XML). Eine zentrale Rolle bei der theoretischen Betrachtung von Datenbanken spielt die relationale Algebra. Die Daten werden in verschiedenen Tabellen gespeichert, die untereinander in Beziehung stehen (in der Regel referenziert durch Schlüsselattribute). Eine Zeile in einer Tablle stellt einen Datensatz, oder mathematischer formuliert eine Relation dar.
