Gestion Interne de Données Statistiques

Les bases de donnees statistiques sont pratiquement toutes gerees par des systemes congus sur mesure. Cela vient de ce que les SGBD conventionneis, destines essentiellement aux applications de gestion, ne conviennent pas aux bases statistiques. C'est avant tout en ce qui concerne le stockage des donnees, la gestion interne de la base, que les problemes poses et done les solutions ä apporter sont differents. Les bases statistiques necessitent en particulier des structures de fichier speciales, permettant des lectures rapides de tres nombreuses donnees ainsi que des compactages specifiques. Cet article estune synthese critique des organisations internes proposees pour les bases de donnees statistiques. Des propositions nouvelles sont egalement decrites

Sur la Validité des Schémas de Bases de Données

Les mises a jour (Tun schema de base de donnees peuvent porter sur ses trois Constituante, ( l ) les declarations de structures, (2) les regies de coherence (et de deduction) et (3) les transactions. Ces Constituante doivent verifier certaines proprietes, definissant les Schemas valides. Un Systeme de gestion de Schemas doit pouvoir verifier la validite des sche"mas (independamment de toute extension de la base) et detecter les modifications des Schemas violant les conditions de validite. Dans cet article nous decrivons tout d'abord Papproche que nous avons suivi pour realiser un Systeme de gestion des declarations de structures, premier composant disponible d'un Systeme de gestion de Schemas en cours de developpement. Cette approche fait de la validite de declarations de structures un probleme semblable a la verification des regies de coherence dans une base de donnees. Nous montrons ensuite que la validite des regies (de coherence et de deduction) correspond a une propriete logique plus forte que la consistence, la satisfaisabilite finie. Dans certains cas, cette propriete peut elre detected par des methodes de refutation de preuve automatique de theoremes. Considerant la resolution, sur laquelle s'appuient les procedures de refutation les plus performantes, nous caracterisons les additions necessaires pour etendre une procedure de refutation en une methode complete pour la satisfaisabilite finie. Une telle extension de la resolution est decrite

Automatisation partielle du traitement de la littérature grise dans le service d'information scientifique du CERN

L'automatisation partielle du traitement de la litterature grise est un projet ineluctable dans un service d'information scientifique aussi important que celui du CERN. Ce rapport presente l'automatis ation du rapport annuel par la detection et l'importation automatique d'informations de publication pour les articles ecrits par les physiciens travaillant au CERN et par d'autres utilisant les outils du CERN. La recherche de ces articles est effectuee dans la base de donnees scientifiques INSPEC

Regional and National FITCA database harmonisation. Farming in Tsetse controlled area. Environmental monitoring and management component project n° 7 ACP RPR 578 : Short term consultancy from 15-Feb-2002 to 4 Mar-2002 and from 18-Mar-2002 to 29-Mar-2002

Le Fitca (Farming in Tsetse Controlied Areas) est chargé de travailler à l'amélioration des conditions de vie des fermiers dans les zones où la maladie du sommeil est présente. Cette amélioration passe par une lutte contre la mouche tsé-tsé et peut entraîner des modifications de l'environnement. La mission, menée en parallèle avec des missions de terrain, avait pour but d'étudier l'uniformisation des bases de données disponibles dans les centres Fitca et de proposer la structure d'une base de données pour faciliter le suivi des changements envi ronnementaux. Les bases de données existantes sont peu nombreuses et sont surtout des fichiers de travail (Ms-Excel ou Ms-Access) contenant des données très spécifiques. Le rapport suggère que la gestion de ces bases soit laissée à la discrétion des centres qui les utilisent, une harmonisation ne semblant pas se justifier pour ce type de données. Pour la base d'aide au suivi environnemental, un ensemble de données a été défini en collaboration avec les chercheurs de terrain. Cet ensemble de données a été organisé sous la forme d'un modèle relationnel et constitue un noyau d'informations pour le suivi environnemental qui pourra être complété par la suite. Enfin, le rapport propose l'embauche de spécialistes de la conception et de la gestion de bases de données qui seront chargés de concevoir, de construire et surtout de faire vivre les bases de données constituées au sein du projet. (Résumé d'auteur