 |
|
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
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.
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
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