Stefania-Gabriela Dumbrava. Formalisation en Coq de Bases de Données Relationnelles et Déductives -et Mécanisation de Datalog. (A Coq Formalization of Relational and Deductive Databases -and a Mechanizations of Datalog). PhD thesis, University of Paris-Saclay, France, 2016. [doi]
Abstract is missing.