Colloquium Polaris du 19/02/2015

le 19 février 2015 à 14:00

Intervenant : Michael Benedikt

Sémantique, accès et données : Plusieurs domaines de recherche distincts liés à la gestion des données et au Web visent à répondre à un besoin d’information en utilisant des informations sémantiques sur les données. Les exemples incluent le Web sémantique, l’intégration de données et les modules d’optimisation basés sur la sémantique pour les systèmes de bases de données commerciales. Cette présentation décrit le travail sur la création d’une plate-forme unifiée pour répondre aux requêtes qui englobe tous ces problèmes. La vision est de prendre en charge les sources de données distribuées connectées par des contraintes d’intégrité, en prenant en charge une grande variété de modèles d’accès, de modèles de coûts, de modèles de données, de langages de contraintes et de langages de requête. Nous décrirons une étape vers cet objectif, incarnée dans le système PDQ (Proof-driven querying) à Oxford. PDQ prend en charge un langage riche pour les contraintes et les requêtes, ainsi que la possibilité de décrire plusieurs types d’interfaces pour l’accès aux données. Il étend l’optimisation traditionnelle des requêtes basée sur les coûts à la définition de contraintes, et fournit une architecture qui permet de “brancher” différents systèmes de raisonnement pour répondre aux requêtes. La conférence donnera un aperçu rapide du système en action, un peu de la théorie sous-jacente. Il discute également de notre position pour essayer de concilier le raisonnement sur les données, l’optimisation des requêtes basée sur les coûts et la modélisation des interfaces et des accès.

Cela inclut le travail avec Balder ten Cate, Julien Leblay, Efi Tsamoura et Michael Vanden Boom.

Faits marquants