Grégoire Bonin, doctorant au sein de l’équipe GDD, soutiendra sa thèse intitulée « Structures de Données pour environnements distribués à grande échelle » / « Data Structures for Large Scale Distributed Environments »

mercredi 17 novembre 2021 à 14h30, dans l’amphi du bâtiment 34, sur le site de l’UFR Sciences et Techniques.

Jury :
– Directeur de thèse : Achour Mostéfaoui – Professeur, Université de Nantes
– Co-encadrant : Matthieu Perrin – Maître de conférences, Université de Nantes
– Rapporteurs : Bernadette Charron-Bost – Directrice de recherche CNRS, LIX, Ecole Normale Supérieure ; Stéphane Devismes – Professeur, Université de Picardie Jules Verne
– Examinateurs : François Taiani – Professeur, Université de Rennes 1 ; Corentin Travers – Maître de conférences, Labri/ENSEIRB Bordeaux

Résumé : Dans les systèmes tels que les Foglets utilisés dans le projet O’Browser, ou les systèmes multi-thread modernes, de nouveaux processus peuvent arriver au cours de l’exécution : nous appelons cela les systèmes ouverts. Cela nous amène à étudier la puissance de synchronisation des objets distribués, et plus particulièrement la faisabilité des constructions universelles, sous cette nouvelle hypothèse. Cette thèse présente les résultats obtenus sur l’universalité du consensus et l’ex-tension de la hiérarchie wait-free de Herlihy dans les systèmes ouverts, ainsi qu’une étude de complexité et une solution sur les constructions universelles faiblement cohérentes

Mots-clés : Systèmes distribués, Systèmes ouverts, Constructions universelles, Mémoire partagée, Systèmes par passage de message

—————————————————————————————————————————————————————————————-

Abstract: In systems such as Foglets used in the O’Browser project, or modern multithreaded systems, new processes can join during an execution: we call these open sys-tems. This leads us to study the power of synchronization of distributed objects, and more particularly the feasibility of universal constructions, under this new hypothesis. This thesis presents the results obtained on the universality of consensus and the extension of the wait-free hierarchy in open systems, as well as a study of complexity and a solution on weakly consistent universal constructions.

Keywords: Distributed Systems, Arrival Models, Universal Constructions, Shared Memory,Message Passing Systems

Thomas Minier, doctorant au sein de l’équipe GDD, soutiendra sa thèse intitulée « La Préemption Web pour interroger le Web des Données » / « Web Preemption for Querying the Linked Open Data »

mardi 10 novembre 2020 à 14h en ligne sur YouTube

Jury :

Mr. Fabien Gandon, Directeur de Recherche à l’Inria Sophia-Antipolis, rapporteur.
Mr. Ruben Verborgh, Professeur à l’Université de Ghent, rapporteur.
Mme. Pascale Kuntz, Professeure à PolyTech Nantes, examinatrice.
Mme. Fatiha Saïs, Maître de conférence HDR à l’Université Paris 11, examinatrice.
Mr. Pascal Molli, Professeur à l’Université de Nantes, directeur de thèse.
Mme. Hala Skaf-Molli, Maître de conférence HDR à l’Université de Nantes, co-directrice de thèse.

Résumé : En suivant les principes du Linked Open Data, les fournisseurs de données ont publié des milliards de documents RDF via des services publics d’évaluation de requêtes SPARQL. Pour garantir la disponibilité et la stabilité de ces services, ils appliquent des politiques de quotas sur l’utilisation des serveurs. Les requêtes qui excèdent ces quotas sont interrompues et ne renvoient que des résultats partiels. Cette interruption n’est pas un problème s’il est possible de reprendre l’exécution des requêtes ultérieurement, mais il n’existe aucun modèle de préemption le permettant.

Dans cette thèse, nous proposons de résoudre le problème relatif à la construction des services qui permettent à n’importe quel utilisateur d’exécuter n’importe quelle requête SPARQL en obtenant des résultats complets. Nous proposons la préemption Web, un nouveau modèle d’exécution qui permet l’interruption de requêtes SPARQL après un quantum de temps, ainsi que leur reprise sur demande des clients. Nous proposons également SaGe, un moteur d’évaluation de requêtes SPARQL qui implémente la préemption Web tout en garantissant un surcoût de préemption minimal. Nos résultats expérimentaux démontrent que SaGe est plus performant que les approches existantes, en termes de temps moyen d’exécution des requêtes et d’obtention des premiers résultats.

Mots-clés : Web sémantique – Gestion des données liées – Serveurs SPARQL publics
——————————————————————————————————————————————————–

Abstract: Following the Linked Open Data principles, data providers have published billions of RDF documents using public SPARQL query services. To ensure these services remains stable and responsive, they enforce quotas on server usage. Queries which exceed these quotas are interrupted and deliver partial results. Such interruption is not an issue if it is possible to resume queries execution afterward. Unfortunately, there is no preemption model for the Web that allows for suspending and resuming SPARQL queries. In this thesis, we propose to tackle the issue of building public SPARQL query servers that allow any data consumer to execute any SPARQL query with complete results. First, we propose a new query execution model called Web Preemption. It allows SPARQL queries to be suspended by the Web server after a fixed time quantum and resumed upon client request. Web preemption is tractable only if its cost in time is negligible com- pared to the time quantum. Thus, we propose SaGe: a SPARQL query engine that implements Web Preemption with minimal overhead. Experimental results demonstrate that SaGe outperforms existing SPARQL query processing approaches by several orders of magnitude in term of the average total query execution time and the time for first results.

Keywords: Semantic Web – Linked Data Management – Public SPARQL servers

Benjamin Moreau, doctorant au sein de l’équipe GDD, soutiendra sa thèse intitulée « Faciliter la Réutilisation sur le Web des Données » / « Facilitating Reuse on the Web of Data »

vendredi 6 novembre 2020 à 14h en visio

Jury :
– Directeur thèse : Patricia Serrano Alvarado
– Co-encadrant : Emmanuel Desmontils
– Rapporteurs : Serena Villata (I3S), Olivier Cure (LIGM)
– Autres membres : Philippe Pucheral (U Versailles), Pascal Molli, Serge Garlatti (IMT-A Brest), Bernd Amann (LIP6)
– Invités : David Thoumas (Opendatasoft)

Résumé : Le Web des données est un ensemble de données liées qui peuvent être interrogées et réutilisées à l’aide de moteurs de requêtes fédérées. Pour protéger les jeux de données, les licences renseignent leurs conditions d’utilisation. Cependant, choisir une licence conforme n’est pas toujours aisé. En effet, pour protéger la réutilisation de plusieurs jeux de données, il est nécessaire de prendre en considération la compatibilité entre leurs licences. Pour faciliter la réutilisation, les moteurs de requêtes fédérées devraient respecter les licences. Dans ce contexte, nous nous intéressons à deux problèmes (1) comment calculer la relation de compatibilité entre des licences, et (2) comment respecter les licences pendant le traitement de requêtes fédérées. Pour le premier problème, nous proposons CaLi, un modèle capable d’ordonner partiellement n’importe quel ensemble de licences selon leur compatibilité. Pour le second problème, nous proposons FLiQue, un moteur de requête fédéré respectant les licences. FLiQue utilise CaLi pour détecter les conflits de compatibilité entre licences et assure que le résultat d’une requête fédérée respecte les licences. Dans le cadre de cette thèse, nous proposons également trois approches ODMTP, EvaMap et le SemanticBot ayant pour objectif de faciliter l’intégration de données au Web des Données.

Mots-clés : Web des données, données liées, RDF, SPARQL, licences, contrôle d’usage, traitement des requêtes fédérées, relâchement de requête, intégration de données, mappings RDF

—————————

Abstract: The Web of Data is a web of interlinked datasets that can be queried and reused through federated query engines. To protect
their datasets, data producers use licenses to specify their condition of reuse. But, choosing a compliant license is not easy. Licensing reuse of several licensed datasets must consider compatibility among licenses. To facilitate reuse, federated query engines should preserve license compliance. To do so, we focus on two problems (1) how to compute compatibility relations among licenses, and (2) how to ensure license compliance during federated query processing. To the first problem, we propose CaLi, a model that partially orders any set of licenses in terms of compatibility. To the second problem, we propose FLiQue, a license-aware federated query processing strategy. FLiQue uses CaLi to detect license compatibility conflicts and ensures that the result of a federated query preserves license compliance. Within the scope of this thesis, we also propose three approaches ODMTP, EvaMap, and the SemanticBot that aim to facilitate the integration of datasets to the Web of Data.

Keywords: Web of Data, Linked Data, RDF, SPARQL, licenses, usage control, federated query processing, query relaxation, data integration, RDF mappings