Le langage fonctionnel de programmation pour bases de données GRIFFON

The GRIFFON functional database programming language

• Auteur / Autrice : Jacques Le Maitre
• Direction : Michael Griffiths
• Type : Thèse de doctorat
• Discipline(s) : Informatique et mathématiques
• Date : Soutenance en 1991
• Etablissement(s) : Aix-Marseille 2

Résumé

Cette these decrit le langage fonctionnel, sans variable, de programmation pour bases de donnees griffon. Elle est divisee en cinq chapitres. Le premier chapitre contient une etude de quelques langages fonctionnels de programmation pour bases de donnees, choisis parmi les plus representatifs, et met en evidence leurs principales proprietes. Les trois chapitres suivants sont consacres a la description du langage griffon. Le deuxieme chapitre specifie le langage: les objets manipules, la notion de fonction, l'organisation modulaire d'une base de donnees enfin la facon de programmer. Le troisieme chapitre est une etude detaillee des operateurs predefinis et notamment tous ceux, fondamentaux pour les bases de donnees, qui manipulent les collections d'objets structures. Le quatrieme chapitre decrit le mecanisme de pattern-matching qui a ete introduit pour pallier au manque de lisibilite des programmes, considere comme un serieux desavantage des langages fonctionnels sans variables. Enfin, le cinquieme chapitre presente les travaux menes sur l'implantation de griffon et les prototypes qui ont ete realises