Conception et réalisation d’un contrôleur d'inférence pour les bases de données déductives multi-niveaux.

Abstract

تتكون قاعدة البيانات الاستنتاجية من مجموعة من الأسس )العلاقات( تسمى المشتقة أو المتعمدة، التي يعرف امتدادها بقواعد استنتاجية. هذا النوع من قاعدة البيانات يسمح للحد من المعلومات عبر مستويات مختلفة. ومن أجل الحفاظ على سرية المعلومات، حاولنا من خلال عملنا حل مشاكل حماية هذه البيانات. وقد تم ذلك من خلال تطوير نظام خبير مع وحدة تحكم الاستدلال على أساس سلسلة متخلفة. من أجل تحقيق أهدافنا أجرينا دراسة حالة حيث استخدمنا برولوغ. وقد قدم لنا هذا التنفيذ نتائج مرضية للغاية.Une base de données déductive (BDD) est constituée d'un ensemble de prédicats (relations), dits dérivés ou intentionnels, dont l'extension est définie par des règles déductives. Ce type de base de données permet la déduction des informations à travers les différents niveaux. Afin de maintenir la confidentialité des informations secrètes, nous avons à travers notre travail essayé de résoudre les problèmes de protection de ces données. Ceci a été effectué par la réalisation d’un système expert avec un contrôleur d'inférence basé sur le chainage arrière. Afin de réaliser nos objectifs nous effectué un cas d’étude où nous avons utilisé Prolog. Cette