Outils de la page

Piste:

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision 		Révision précédente
Dernière révision Les deux révisions suivantes
ter [2014/10/30 10:30]
ecoquery 		ter [2015/01/28 08:40]
ecoquery [Extraction de règles d'inférence dans les bases de données RDF]
Ligne 14: Ligne 14:
  
 [2] Alexander Nadel: "Generating Diverse Solutions in SAT", Theory and Applications of Satisfiability Testing - SAT 2011, Lecture Notes in Computer Science Volume 6695, 2011, pp 287-301  [2] Alexander Nadel: "Generating Diverse Solutions in SAT", Theory and Applications of Satisfiability Testing - SAT 2011, Lecture Notes in Computer Science Volume 6695, 2011, pp 287-301 
 +
 +**mots-clés**: SAT, fouille de motifs
 +
 +=====  Synthèse sur les mécanismes de contrôle d’accès dans les bases de données RDF =====
 +
 +Le web sémantique [8] est défini comme une extension du Web courant dans lequel l'information a un sens bien défini permettant à la machine de capturer la sémantique des données. Il fournit un cadre commun qui permet aux données d'être partagées et réutilisées entre les applications Web. 
 +
 +Le Web sémantique est basé sur le modèle de données RDF (Resource Description Framework) [9] pour représenter les données et les relations entre elles. RDF permet de décomposer l'information en portions appelées "triplets" qui sont stockées dans des entrepôts de données (triple store).
 +
 +Il existe une vaste gamme de bases de données de données RDF tels que : OpenLink Virtuoso, Oracle Database Semantic Technologies, Allegro Graph, Sesame ...
 +
 +Les données RDF stockées dans ces bases de données peuvent être sensibles, et requièrent donc d'être protégées contre les accès non autorisés. Les bases de données RDF possèdent des mécanismes de contrôle d'accès qui permettent de définir la façon par laquelle les triplets RDF sont divulgués à l’utilisateur.
 +
 +Ce TER vise à faire un tour d’horizon et un comparatif des différents mécanismes de contrôle d’accès disponibles dans les SGBD RDF du marché. Ce comparatif se fera aussi bien au niveau théorique (e.g. expressivité) que de la mise en œuvre en pratique, ce qui sous entend une expérimentation sur les différents systèmes.
 +
 +[8] Berners-Lee, Tim, James Hendler, and Ora Lassila. "The semantic web." Scientific american 284.5 (2001): 28-37.
 +
 +[9] Manola, Frank, Eric Miller, and Brian McBride. "RDF primer." W3C recommendation 10.1-107 (2004).
 +
  
 ===== Extraction de règles d'inférence dans les bases de données RDF ===== ===== Extraction de règles d'inférence dans les bases de données RDF =====
Ligne 22: Ligne 41:
  
 [3] http://www.w3.org/TR/2014/REC-rdf11-mt-20140225/ [3] http://www.w3.org/TR/2014/REC-rdf11-mt-20140225/
 +
 [4] http://fr.wikipedia.org/wiki/R%C3%A8gle_d%27association [4] http://fr.wikipedia.org/wiki/R%C3%A8gle_d%27association
 +
 +**mots-clés**: RDF, règles d'association, volumétrie
  
 ===== Bibilothèque d'algorithmes de réécriture dans le cadre de l'intégration de données ===== ===== Bibilothèque d'algorithmes de réécriture dans le cadre de l'intégration de données =====
Ligne 35: Ligne 57:
  
 [7] http://iris-reasoner.org/ [7] http://iris-reasoner.org/
 +
 +**mots-clés**: Intégration de données, Datalog
  
 ===== Refonte d'un démonstrateur pour un langage de fouille de règles ===== ===== Refonte d'un démonstrateur pour un langage de fouille de règles =====
Ligne 42: Ligne 66:
 L'objectif de ce TER est de refondre le code du moteur de requête et de l'interface web de façon à faciliter les futures évolutions du démonstrateur. L'objectif de ce TER est de refondre le code du moteur de requête et de l'interface web de façon à faciliter les futures évolutions du démonstrateur.
  
-====== Sujets de TER 2013 ====== +**mots-clés**: fouille de règles, SQL
-  +
-===== Refonte d'un prototype de génération de vues pour le contrôle d'accès ===== +
- +
-Dans le cadre de sa thèse, [[http://liris.cnrs.fr/sarah.nait-bahloul/wiki/doku.php|Sarah Nait Bahloul]] a développé un prototype permettant, à partir d'un ensemble de vue spécifiant le contrôle d'accès sur une base de donnée relationnelles, d'inférer des vues pour le contrôle d'accès sur des vues matérialisées stockées à distance. L'objectif de ce TER est d'effectuer une refonte du code de ce prototype afin d'en réaliser un démonstrateur accessible via une page Web. +
- +
- +
-===== Prototype de moteur de fouille de données basé sur SAT Modulo Theory ===== +
- +
-La fouille de données consiste à extraire des informations pertinentes à partir d'un gros volume de données. Un exemple consiste à extraire de données sur les prescriptions des patients les combinaisons de médicaments ayant eu des effets indésirables. Un autre exemple consiste à extraire les combinaisons d'articles achetés souvent ensemble, afin de découvrir les habitudes des clients. De telles combinaisons intéressantes sont appelées motifs. +
- +
-Depuis quelques années, l'utilisation de la programmation par contraintes afin de découvrir des motifs intéressants à suscité un intérêt dans la communauté scientifique (voir par exemple http://dtai.cs.kuleuven.be/CP4IM/).  +
- +
-L'objectif de ce TER est de mesurer l'apport que peut apporter l'utilisation de solveurs SAT Modulo Theory (SMT) par rapport aux solveurs de contraintes utilisés aujourd'hui dans ce cadre. On débutera par une mise à niveau sur la fouille de données et sur les solveurs SAT et SMT, puis on adaptera à la fouille le solveur [[http://verify.inf.usi.ch/opensmt|OpenSMT]].  +
- +
-mots-clé: SAT, pattern mining, SMT +
- +
-===== Amélioration d'un langage de recherche de motifs ===== +
- +
-RLT [1] est un langage permettant d'exprimer des requêtes pour chercher des motifs intéressants dans des bases de données relationnelles. Une implémentation en Java existe et a permis de faire quelques expérimentations. L'objectif de ce TER est de: +
-  * Mener une campagne d'expérimentation plus large, avec des requêtes plus réalistes. +
-  * Étendre le langage avec des construction additionnelles telles que le comptage. +
  
-mots-clé: SAT, SQL, compilation, benchmark 
CC Attribution-Noncommercial-Share Alike 3.0 Unported Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Noncommercial-Share Alike 3.0 Unported
ter.txt · Dernière modification: 2015/11/06 08:21 de ecoquery Haut de page