Telecharger Cours

Logique et bases de données - Centre Universitaire d'Informatique

La méthode ci-dessus calcule effectivement l'unique point fixe minimal, c'est aussi un modèle minimal contenant les relations BDE. Exemple: chemin(X, Y) :? arc( ...



Download