Return to search

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

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.

Identiferoai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00320451
Date19 June 1986
CreatorsOlivares, Judith
Source SetsCCSD theses-EN-ligne, France
LanguageFrench
Detected LanguageFrench
TypePhD thesis

Page generated in 0.0018 seconds