L’objectif de l’UE est de fournir aux étudiants les clés pour comprendre les aspects fondamentaux des bases de données déductives, lesquelles trouvent des applications directes pour les raisonnement et l'inférence de connaissances à partir de faits comme nécessaire dans l'intelligence Artificielle Symbolique.
Partie A : Bases de données déductives
- Datalog, fondements logiques de l'interrogation de données
- Sémantiques d'évaluation de règles Datalog
- Réécriture de requêtes pour l’optimisation
- Les systèmes de bases de données utilisant Datalog comme langage d'interrogation
Partie B : Transformations entre modèles de données
- Le Data Exchange pour la transformation de données ayant des schémas différents: définition, problème, complexité et algorithmes pour calculer les solutions
