Les bases de données déductives et relationnelles

Résumé du document

Ce document est un comparatif très détaillé entre les bases de données déductives (Prolog/Datalog) et les bases de données relationnelles.
Il explique la théorie et les principes fondamentaux de ces 2 types de bases de données, tout en l'illustrant par de nombreux exemples.
Il évoque également dans sa dernière partie le principe de normalisation des bases de données (5 formes normales).

Extraits

[...] Les arguments peuvent être des atomes, des nombres, des variables, ou bien des structures comme par exemple bio(louis13, h henri4, marie_medicis). B. Un programme Prolog Un programme Prolog est composé d'une suite de faits et de relations entre ces faits exprimées par des règles selon la syntaxe introduite dans la section précédente. Considérons la liste suivante indiquant quelques faits de la généalogie des rois et reines de France : /*bio (personnage, sexe, ne_en, decede_en, pere, mere)*/ bio(louis13,h,1601,1643,henri4,marie_medicis). bio(elisabeth_france,f,1603,1644,henri4,marie_medicis). bio(marie_therese_autriche,f,1638,1683,pilippe4,elisabeth_france). bio(louis14,h,1638,1715,louis13,anne_autriche). [...]

[...] bio(grand_dauphin,h,1661,1711,louis14,marie_therese_autriche). bio(louis_bourbon,h,1682,1712,grand_dauphin,marie_anne_baviere). bio(philippe5,h,1683,1746,grand_dauphin,marie_anne_baviere). bio(louis15,h,1710,1774,louis_bourbon,marie_adelaide_savoie). bio(louis_dauphin,h,1729,1765,louis15,marie_leczcynska). bio(louis16,h,1754,1793,louis_dauphin,marie_josephe_saxe). bio(louis18,h,1755,1824,louis_dauphin,marie_josephe_saxe). bio(charles10,h,1757,1836,louis_dauphin,marie_josephe_saxe). bio(clotilde,f,1759,1802,louis_dauphin,marie_josephe_saxe) bio(louis17,h,1785,1795,louis16,marie_antoinette). [...]

[...] Six formes normales ont été mises au point dont nous allons expliquer les tenants et les aboutissants dans les paragraphes suivants. Notons que chacune de ces formes normales présentent une implication ascendante envers celles qui les précèdent A. La 1ère Forme Normale : C'est la première règle fondamentale énoncée par Codd en 1969. Définition de la 1-FN : Tous les attributs d'une table doivent avoir un type atomique. Plusieurs configurations d'attributs peuvent susciter un réarrangement de la table afin d'éviter une redondance d'informations dans la table et respecter ainsi cette forme normale. Analysons quelques cas : A. [...]

[...] Les bases de données déductives et relationnelles Table des matières I. Introduction sur les bases de données II. Le modèle déductif : un modèle relationnel enrichi Les bases de données relationnelles Les bases de données déductives A. Les éléments fondamentaux de Prolog A.1 Les faits A.2 Les règles A.3 Les types en Prolog B. Un programme Prolog C. De SQL à Prolog D. L'arbre de calcul de Prolog III.La normalisation A. B. C. [...]

[...] Une règle est une formule de la forme H 1 2 n C (où les Hi et C sont des formules atomiques pouvant K contenir des variables) qui est décrite en Prolog sous la forme : C H1, H Hn . Ceux sont les règles qui font passer du modèle relationnel au modèle déductif. Remarque : l'implication est renversée en Prolog, la conclusion à gauche et les prémisses à droite. C est appelé la tête et H1, H Hn le corps de la règle. [...]