Description formelle, représentation, interrogation des informations complexes, système pivoines / par Marion Créhange ; [sous la direction de Claude Pair]

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Langages de programmation

Bases de données -- Gestion

Systèmes informatiques

Classification Dewey : 500

Pair, Claude (1934-.... ; auteur en mathématiques et informatique) (Directeur de thèse / thesis advisor)

Université de Nancy I (1970-2012) (Organisme de soutenance / degree-grantor)

Relation : Description formelle, représentation, interrogation des informations complexes, système pivoines / par Marion Créhange ; sous la direction de Claude Pair / , 2022

Résumé / Abstract : Etude d'un générateur de programmes. Un des buts de notre étude est que l'auteur d'un système de données, aussi complexe soit-il, n'ait à fournir à l'ordinateur que des renseignements sur le genre et la représentation des informations que ce système doit traiter et que, pour chaque mise en oeuvre du système, l'utilisateur n'ait à transmettre que l'énoncé de cette mise en oeuvre.