3. Exemples de SGBD déductifs
Parmi les SGBD déductifs opérationnels, nous pouvons citer :
SGBD déductifs relationnels (par couplage) : BIM-Prolog/Oracle, BIM‐Prolog/Ingres, BIM‐Prolog/UNIFY, Delphia‐Prolog/Oracle ;
SGBD objet déductifs : Validity (Bull, France), ConceptBase (Université d’Aachen, Allemagne), ROLL (Université Heriot‐Watt, Écosse), XSB (Université de Stony Brook, États‐Unis), CORAL (Université du Wisconsin, États‐Unis).
3.1 SGBD déductifs relationnels
De très nombreux logiciels permettant d’avoir des fonctionnalités de systèmes déductifs existent. La plupart du temps, il s’agit de systèmes proposant un langage de règles dont la manipulation est assurée par un moteur d’inférence. Une passerelle entre ces logiciels et des SGBD permet d’obtenir des...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Exemples de SGBD déductifs
Conclusion
Références bibliographiques
- (1) - ABITEBOUL (S.), HULL(R.), VIANU (V.) - Foundations of Databases. - Addison‐Wesley Publishing Company, ISBN 0‐201‐53771‐0 (1995).
- (2) - FRIESEN (O.), GAUTHIER‐VILLARS (G.), LEFEBVRE (A.), VIEILLE (L.) - Applications of deductive object‐oriented databases using DEL, - in Applications of Logic...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Technologies logicielles Architectures des systèmes"
(
408 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
