文摘
Le but du projet DOMINUS est de dé;finir un modè;le de SGBD adapté; au dé;veloppement de services de dé;pô;t de donné;es autonomes capables de maintenir un haut standard d inté;grité; et de fiabilité; dans un contexte applicatif contemporain. Le pré;sent mé;moire,ré;alisé; dans le cadre du projet DOMINUS,vise à; contribuer à; la dé;finition dun premier langage conforme à; ce modè;le,Discipulus,et à; mettre en œuvre un premier traducteur expé;rimental de ce langage. Le modè;le DOMINUS demeure basé; sur le modè;le relationnel de E. F. Codd tout dabord parce quil est simple,facile à; appré;hender,et repose sur de solides bases thé;oriques qui permettent notamment de dé;finir de faç;on formelle les langages de manipulation associé;s et,en second lieu,parce quil est é;prouvé;,comme le dé;montrent plus de trente anné;es de pré;dominance ininterrompue. Lé;volution de la gestion dinformation a vu apparaî;tre de nouvelles applications systè;mes de gestion inté;gré;e,traitement dimages,vidé;o...) né;cessitant lutilisation de bases de donné;es complexes de plus en plus importantes. Ces nouvelles applications ont mis en é;vidence les insuffisances majeures des systè;mes relationnels existants fondé;s sur le langage SQL: 1) Linadé;quation du modè;le relationnel à; repré;senter directement des donné;es complexes,comme des dossiers mé;dicaux structuré;s,des images radiographiques ou des textes annoté;s. 2) Les performances insuffisantes dans la manipulation de ces mê;mes donné;es. Ces lacunes ont conduit certains à; vouloir remplacer le modè;le relationnel par le modè;le orienté; objet. En effet,la notion dobjet plus exactement de classe) permet de modé;liser des é;lé;ments complexes et composites du monde ré;el. En 1990 sont apparus les premiers systè;mes de gestion de bases de donné;es à; objets,mais,vu les performances et la maturité; des systè;mes de bases de donné;es relationnelles,les systè;mes à; objets nont pas pris une place significative au sein des organisations. La voie exploré;e ici est plutô;t celle de linté;gration du modè;le objet au modè;le relationnel,ce dernier demeurant pré;é;minent. Ladoption des deux structures la relation et la classe) semble donc né;cessaire afin de ré;pondre aux besoins et aux exigences des applications complexes tout en gardant la simplicité; et la cohé;sion conceptuelle né;cessaire à; la vé;rification et à; la validation. Le modè;le DOMINUS est donc inspiré; des travaux fondamentaux de E. F. Codd et de ses continuateurs,dont C. J. Date et H. Darwen [S1] ainsi que des modè;les algorithmiques et de typage de B. Meyer[L13]. Au final,le langage Discipulus retient plusieurs acquis du langage SQL,sinspire é;galement de langage Tutorial D et emprunte la structure gé;né;rale et plusieurs mé;canismes syntaxiques du langage Eiffel[L13]. Notre proposition comporte é;galement de nombreuses diffé;rences sensibles tant sur le fond que sur la forme[L1,L7]. Ces apports sont pré;senté;s au fil du mé;moire. Le langage Discipulus a é;té; conç;u dans le but de permettre lexpression rigoureuse de modè;les complexes inté;gration complè;te des classes,des tuples et des relations dans un seul systè;me de typage homogè;ne et cohé;rent) tout en favorisant la ré;utilisation lutilisation dun systè;me de paquetage destiné; à; dé;velopper des modules cohé;rents tout en permettant leur ré;utilisation simple pour le dé;veloppement dautres systè;mes),lé;volutivité; ladoption de lhé;ritage multiple permet dé;viter la redondance de code et facilite lextensibilité; du logiciel et,par consé;quent,lé;volutivité; sans compromettre son inté;grité; et sa fiabilité;) et la fiabilité; incorporation des principes de programmation par contrat et leur extension aux opé;rateurs relationnels,traitement cohé;rent de lannulabilité;).