ملخص: Cette thèse présente la façon dontest réalisée la définition et l'utilisation de relations déduites dans un SGBD relationnel: la machine BD SABRE. Ces relations sont définies à l'aide du formalisme des systéme de production. La définition d'une relation est donc non procédurale et peut faire intervenir des relations initiales, d'autres relations déduites ou la relation déduite elle même. La puissance d'expression des relation déduites permet ainsi entre autres de calculer une fermeture transitive ou la résistance d'un circuit électrique. Toute relation déduite peut être intérrogée de la même façon qu'une relation initiale, le système prenant à sa charge la compilation de la question en un programme efficace.

طبعة: Paris: Université Pierre et Marie Curie Paris VI
لغة: فرنسية
الوصف المادي: 135 p. ill. ;30 cm
الشهادة: Docteur de 3eme cycle
مؤسسة مناقشة الرسالة: Université Pierre et Marie Curie Paris VI

ملاحظة: Bibliogr.pp.131-135