Author: Workshop on Formal Bases for Data Bases (1979 Centre d'études et de recherches de l'Ecole nationale supérieure de l'aéronautique et de l'espace)