Esquisser les bases de données

Il existe plusieurs paradigmes pour les bases de données, en particulier les données peuvent être représentées sous forme de tableau ou de graphe. Plusieurs types de graphes sont utilisés, par exemple les “graphes RDF” reposent sur l'idée qu'un arc entre deux noeuds correspond à une phrase simple (sujet, verbe, complément) et les "graphes à propriétés" associent des paires attribut-valeur aux noeuds et aux arcs. Avec Rachid Echahed du LIG nous proposons un cadre formel pour décrire uniformément ces différents paradigmes. Ce cadre est fourni par des esquisses, qui elles-mêmes sont des graphes enrichis de contraintes appelées “limites finies” issues de la théorie des catégories. Le but de l'exposé est de présenter des exemples d'esquisses pour spécifier des bases de données et d'appliquer certaines propriétés mathématiques des esquisses dans ce cadre. Aucune connaissance des bases de données ni des esquisses ou catégories n'est présupposée.