Précédent : Données spatiales et temporelles Remonter : Résultats nouveaux Suivant : Contrats industriels (nationaux, européens et
Précédent : Données spatiales et temporelles
Remonter : Résultats nouveaux Suivant :
Contrats industriels
(nationaux, européens et
Participants : Serge Abiteboul, Bernd Amann, Daniel Chan,
Sophie Cluet, Victor Vianu.
Mots clés : régles de production, base de données active, parallélisme, déduction, datalog, workflow, commerce électronique, calcul relationnel, non-déterminisme .
Nous avons débuté des travaux sur les "vues actives". Il s'agit de pouvoir offrir des vues d'une base de données définies déclarativement et qui incluent des aspects actifs comme d'être notifié de certains événements ou d'être averti quand certaines valeurs de la vue ont (peuvent avoir) été modifiées dans la base de données. Le but à long terme est de pouvoir offrir un tel outil sur le Web. Nous pensons y intégrer des modules comme : (i) le maintien de trace de l'activité du système interrogeable avec le langage de requête standard, (ii) un système de régles actives permettant au système de réagir à des notifications[[21]], (iii) une description (peut-être sous forme de state charts) de l'activité de l'utilisateur.
Nous considérons en particulier deux grandes applications. D'abord le développement de catalogues de vente électronique sur le Web. Ceci fait l'objet du projet GAEL labellisé RNRT en commun avec le LRI (Marie-Christine Rousset) et EZEcom, une start-up en cours de création. Il s'agit de faciliter à des non-informaticiens le développement de boutiques sur le Web en s'appuyant sur des langages déclaratifs. La seconde concerne les systèmes de gestion d'information pour la fabrication. Ceci est l'objet d'un projet commun AFIRST avec l'Université de Tel Aviv (Tova Milo).
Une première ébauche du système AViews est décrite dans [[17]]. M. Bani et F. Hubert ont développé au cours de leur stage une interface générique du système en Java. S. Arnoud a écrit un premier compilateur qui traduit une spécification déclarative de la vue (pour un langage minimum) en une application tournant sur le SGBD O2. Il a dû pour ce faire adapter le mécanisme de notification de O2 (pour C++) à l'interface Java de ce système. Ce code est maintenant intégré au système OO2. Enfin, R. Dhaou, dans son DEA, a développé des applications sur Aviews et a participé à l'écriture du compilateur.
Des travaux sur les ordonnancements de tâches et l'utilisation de bases de données comme technologie support ont aussi été entrepris. Un processus de développement de logiciel est vu comme un ordonnancement de tâches avec des spécifications précises. Un modèle a été défini ainsi que son langage de spécification. Des études détaillées sur la spécification, le raisonnement, l'implémentation au-dessus d'une base de données ont été entreprises [[25],[24],[27],[23],[26]]. Cela inclut la gestion des transactions et de la sécurité.
Un modèle de calcul, appelé machine relationnelle, avait été introduit dans [[4]] pour modéliser le style de calcul en bases de données consistant en un langage de requêtes (e.g., SQL) associé à un langage de programmation (e.g., C). Des résultats importants avaient permis de mieux cerner la puissance et les limites de ce modèle.
Nous étendons cette machine en utilisant la génération dynamique de requêtes, une forme de réflexivité dans le modèle [[10]]. Nos résultats concernent la puissance des machines obtenues (machines relationnelles réflexives) sous certaines restrictions de ressources en temps et en espace dans des modèles d'exécution parallèle, et suivant des limites sur le nombre de variables autorisées dans les formules logiques.
Serge Abiteboul a publié en 1998 des travaux réalisés à Stanford et qui se situent hors des grands axes du projet Verso. Dans [[41]], des travaux sur la fouille de données proposent un formalisme, les "query flocks", pour spécifier le type d'information que l'on cherche à trouver dans une grande masse de données et des techniques d'optimisation pour trouver ces informations.
Enfin, dans [[18]], nous considérons quelques problèmes de complexité mettant en jeu des vues (relationnelles dans ce cas).
Nous avons aussi publié cette année des travaux antérieurs sur l'interrogation et la mise à jour depuis une base de données de documents stockés dans des fichiers[[9]].