http://petitl.fr French - Music fanatic - Speedcuber - eSport enthusiast - PhD Student - Database Expert Tue, 25 Sep 2012 21:51:02 +0000 hourly 1 http://wordpress.org/?v=3.5.1 http://petitl.fr/?p=186#comment-7 petitl Tue, 25 Sep 2012 21:51:02 +0000 http://petitl.fr/?p=186#comment-7 Wopla j’avais loupé le commentaire.
D’un point de vue strict, et si ma mémoire est bonne, le théorème de Codd indique que l’algèbre relationnelle est équivalente au « domain independent calculus » (je ne connais pas la traduction française officielle). Mais il est aussi possible de prouver que le « domain independent calculus » est équivalent au datalog non-récursif avec négation. Donc en gros, du calcul de prédicat du premier ordre MAIS sans récursion (ce qui est une grosse épine dans le pied).
J’espère que ça vous ça éclairé.
LP

]]> http://petitl.fr/?p=186#comment-6 LolCat Wed, 12 Sep 2012 20:24:10 +0000 http://petitl.fr/?p=186#comment-6 Bonjour,
J’aime beaucoup votre site et les informations que vous y mettez, j’y apprend beaucoup .
Je m’interroge au sujet de votre phrase « Peut-être que ça avancera mieux quand je dirais que le théorème de Codd montre que l’algèbre relationnelle a une puissance d’expression inférieure à la logique du premier ordre. » et je suis quelque peu intrigué car selon moi le théorème de Codd indique une expressivité équivalente entre l’algèbre relationnelle et le « calcul relationnel ».
Pourriez-vous nous en dire plus sur ce sujet ?
Bien Cordialement.
LolCat

]]>