In deduktiven Datenbanken entspricht eine Sicht einer intensionalen Relation, die über Regeln definiert ist. Üblicherweise werden die Regeln in Datalog dargestellt. Eine Datalog-Regel hat die Form
wobei p das neue abgeleitete Prädikat ist, und die 
die Basisrelationen
bzw. selbst abgeleitete Prädikate sind. Die Prädikate können
auch Variablen enthalten, die aber wegen der Übersichtlichkeit im
folgenden nicht betrachtet werden.
Rekursion und Negation innerhalb der Regeln ist ebenfalls möglich.
Bis auf den Counting-Algorithmus
können alle nachfolgenden Algorithmen Sichten mit Rekursion
und Negation warten.