Université Lyon 1
Université de Lyon
Arqus
Accueil  >>  Master  >>  Informatique  >>  M2 Data and Intelligence for Smart Systems (DISS)  >>  Bases de données déductives
  • Domaine : Masters du domaine SCIENCES, TECHNOLOGIES, SANTE
  • Diplôme : Master
  • Mention : Informatique
  • Parcours : M2 Data and Intelligence for Smart Systems (DISS)
  • 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 :
BONIFATI ANGELA
 angela.bonifatiuniv-lyon1.fr
    Type d'enseignement
Nb heures *
Cours Magistraux (CM)
15 h
Travaux Dirigés (TD)
6 h
Travaux Pratiques (TP)
9 h
Durée de projet en autonomie de l'étudiant (PRJ)
0 h
Durée du stage
0 h
Effectifs Cours magistraux (CM)
210 étudiants
Travaux dirigés (TD)
35 étudiants
Travaux pratiques (TP)
18 étudiants

* 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


    Liste des autres Parcours / Spécialité / Filière / Option utilisant cette UE :
Date de la dernière mise-à-jour : 13/04/2018
SELECT * 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 UE_ID_FK ASC, PAR_ID_FK ASC