Search

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.

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.