Université Lyon 1
Arqus
Accueil  >>  Master  >>  Informatique  >>  Systèmes, réseaux et infrastructures virtuelles  >>  Bases de données déductives
  • Domaine : Masters du domaine SCIENCES ET TECHNOLOGIES
  • Diplôme : Master
  • Mention : Informatique
  • Parcours : Systèmes, réseaux et infrastructures virtuelles
  • Unité d'enseignement : Bases de données déductives
Nombre de crédits de l'UE : 3
Code APOGEE : INF1101M
UE Libre pour ce parcours
UE valable pour le semestre 1 de ce parcours
    Responsabilité de l'UE :
HACID MOHAND SAID
 mohand-said.haciduniv-lyon1.fr
04.72.43.27.74
    Type d'enseignement
Nb heures *
Cours Magistraux (CM)
15 h
Travaux Dirigés (TD)
6 h
Travaux Pratiques (TP)
9 h

* Ces horaires sont donnés à titre indicatif.

    Compétences attestées (transversales, spécifiques) :
Non rédigé
    Programme de l'UE / Thématiques abordées :

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


Date de la dernière mise-à-jour : 13/04/2018
SELECT MEN_ID, `MEN_DIP_ABREVIATION`, `MEN_TITLE`, `PAR_TITLE`, `PAR_ID` FROM parcours INNER JOIN ue_parcours ON PAR_ID_FK=PAR_ID INNER JOIN mention ON MEN_ID = PAR_MENTION_FK WHERE PAR_ACTIVATE = 0 AND UE_ID_FK='16778' ORDER BY `MEN_DIP_ABREVIATION`, `MEN_TITLE`, `PAR_TITLE`