Skip to Main content Skip to Navigation
Theses

Traitement logique de l'intégrité et de l'organisation sémantique des connaissances dans les systèmes de gestion de bases de données

Résumé : Ce travail présente une approche générale du traitement de l'intégrité sémantique des données gérées par les systèmes de gestion de bases de données. Une organisation des connaissances (lois générales, données, etc.) d'une réalité/environnement est également présentée, accompagnée d'une méthode permettant leur définition cohérente. Les idées proposées ont été formalisées au moyen du calcul des prédicats du 1(e)r ordre puis mises en œuvre par l'intermédiaire du langage Prolog.
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00320451
Contributor : Thèses Imag <>
Submitted on : Thursday, September 11, 2008 - 7:21:14 AM
Last modification on : Friday, November 6, 2020 - 4:14:00 AM
Long-term archiving on: : Thursday, June 3, 2010 - 9:13:59 PM

Identifiers

  • HAL Id : tel-00320451, version 1

Collections

Citation

Judith Olivares. Traitement logique de l'intégrité et de l'organisation sémantique des connaissances dans les systèmes de gestion de bases de données. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1986. Français. ⟨tel-00320451⟩

Share

Metrics

Record views

428

Files downloads

336