The calculus of an unnormalized relational model of data.

Cet article decrit du langage d'un calcul oriente vers le domaine dans lequel le symbole de la relation ou de celui de l'attribut peut completer le terme de la meme maniere qu'aucun autre symbole interprete par un element du domaine de l'attribut. La structure d'interpretation est composee d'un modele relationnel de donnee ou les elements du domaine peuvent aussi etre des attributs de relations