Formules bien formées du calcul conjonctif

Le calcul conjonctif est défini formellement de la manière suivante et correspond informellement à la logique du premier ordre avec uniquement des conjonctions et le quantificateur existentiel.

DéfinitionTerme

Un terme \(t\) est une constante ou une variable, on note \(t\in{\bf var} \cup {\bf dom}\). Pour un schéma de base de donnée \(R\) et \(r \in \textbf{R}\), un atome sur \(r\) est une expression \(r(t_1,\dots,t_{n})\)\(n = arite(r)\) et chaque \(t_i\) est un terme.

Exemple

La constante \("Chiens\ de\ paille"\) et les variables \(x_d, x_a\) sont des termes et \(Film("Chiens\ de\ paille", x_d, x_a)\) est un atome sur \(Film\).