XSB- un système de BD déductives

Bonjour tout le monde.
Avez-vous une idée sur les BDD et XSB?
Merci!!!

Personnellement j'ai pas une idée claire sur BDD ni XSB.

Mais je vais voir ... peut être ça me dirait quelques choses.

Ok mon ami.

http://crinfo.univ-paris1.fr/BDDeductive.htm a écrit:
Un premier axe de recherche concernant les langages de requêtes pour bases de données a consisté à définir des langages de type programmation logique. Cet axe a donné naissance aux 'Bases de Données Déductives'.

Les Bases de Données Déductives introduisent, outre une partie de données qui sont stockées, une partie de connaissances qui sont définies par des règles de déduction logiques, et qui ne seront calculées que lorsque nécessaire. Le problème consiste donc à associer de manière satisfaisante une sémantique à un ensemble de règles; par 'sémantique satisfaisante' on entend une sémantique qui puisse être définie à la fois de manière déclarative et de manière opérationnelle. La définition déclarative d'une sémantique définit en termes de propriétés les faits qui seront dérivés des règles mais ne définit aucune procédure de calcul de ces
faits dérivés; à l'inverse la définition opérationnelle d'une sémantique précise ces procédures.

Lorsque les règles sont des clauses définies (sans prémisses négatives), l'ensemble des règles constitue un programme logique positif. La sémantique de tels programmes est maintenant parfaitement définie et comprise.

En revanche l'introduction de négations dans le corps des règles pose divers problèmes et plusieurs sémantiques ont été proposées pour les résoudre:
sémantique stratifiée, sémantique bien fondée, sémantique stable.

Voici quelques liens:

A propose des BDD (Bases de données déductives)
http://www.montefiore.ulg.ac.be/~pw/cours/psfiles/bd-chap7-print.pdf

Plusieurs cours au format PS (PostScript)
http://www.info.univ-tours.fr/~mirian/mi-BD-DESS.html
http://odile.papini.perso.esil.univmed.fr/sources/BD/cours-datalog-3.ps



à suivre ...

Merci pour votre réponse et pour le xsb connais tu quelqun qui peut m'aider?

Franchement, je ne connais personne pour le moment ... essaie de voir les forums français !