| Titre : | Fondements des bases de données |
| Auteurs : | Serge Abiteboul, Auteur ; Richard Hull, Auteur ; Victor Vianu, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Paris : Vuibert informatique, 2000 |
| ISBN/ISSN/EAN : | 978-2-7117-8645-9 |
| Format : | XVI-715 p. / 24 x 17 cm |
| Note générale : |
Bibliogr. Index. Glossaire
|
| Langues: | Français |
| Langues originales: | Anglais |
| Index. décimale : | 005.6 |
| Catégories : | |
| Mots-clés: | bases de données |
| Résumé : |
Depuis vingt ans, la théorie relative à la logique des systèmes de gestion de bases de données a mûri jusqu'à devenir une pièce maîtresse du domaine scientifique. Fondements des bases de données couvre l'ensemble de cette vaste théorie et développe quelques-uns des thèmes les plus récents. Rédigé par trois chercheurs renommés, cet ouvrage offre un panorama complet et actualisé de ce domaine. Un effort tout particulier a conduit les auteurs à souligner les intuitions sous-jacentes au développement théorique pur. Cet ouvrage vise notamment à :
présenter un large tour d'horizon des recherches les plus actuelles concernant la théorie des bases de données, incluant la puissance d'expression et la complexité des langages, les bases de données déductives et orientées objet ; donner une perspective unifiée des divers éléments fondamentaux composant les bases de données ainsi que les liens les unissant à d'autres secteurs voisins des sciences informatiques et mathématiques, comme la logique mathématique, la programmation logique, la complexité et la théorie des modèles finis ; offrir un ouvrage de référence complet et pratique tant aux chercheurs et praticiens spécialistes des bases de données qu'aux informaticiens intéressés par ce domaine ; fournir une base solide pour l'étude de la théorie des bases de données, enrichie de démonstrations détaillées et de multiples exemples et exercices, indispensables pour des cours de 2e et 3e cycles ; compléter chaque chapitre de nombreuses notes bibliographiques explicitant sources et recherches qui l'ont étayé. |
| Note de contenu : |
ANTICHAMBRE. Systèmes de bases de données. Présupposés théoriques. Le modèle relationnel. BASES : LANGAGES DE REQUETES RELATIONNELLES. Requêtes conjonctives. Ajouter la négation : algèbre et calcul. Analyse statique et optimisation. Remarques sur les langages concrets. CONTRAINTES. Dépendances fonctionnelles et de jointure. Dépendances d'inclusion. Un point de vue plus large. Conception et dépendances. DATALOG ET RECURSIVITE. Datalog. Evaluation de datalog. Récursivité et négation. La négation dans datalog. EXPRESSION ET COMPLEXITE. Etalonner les langages. Premier ordre, fixpoint et while. Langages hautement expressifs. FINAL. Information incomplète. Valeurs complexes. Bases de données objets. Aspects dynamiques |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| TEC014124 | INF04537 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
