Il s’agit d’un type de calcul relationnel, qui est assez proche de SQL.
On réalise nos formules sur des tuples et non pas sur des variables indépendantes comme en DRC (Domain Relational Calculs).
Syntaxe
Nom de relations
Représenté par des lettres majuscules : R, S, T, chacun avec une arité fixé dans {1,2,…}
Nom des tuples
Représenté par des lettres minuscules chacun avec leur propre arité Si r est un tuple d’arité n, Pour tous les , on peut accéder aux termes individuels du tuple avec r.i
Todo
Ajouter les autres éléments de slides notamment sur les formules atomiques et faire les abréviations. Il va trop vite pour la faire en même temps