Equipe BD
Equipe BD
Laboratoire d'InfoRmatique en Images et Systèmes d'information
UMR 5205 CNRS/INSA de Lyon/Université Claude Bernard Lyon 1/Université Lumière Lyon 2/Ecole Centrale de Lyon

You are here

Expressivity of Datalog-Based Query Languages

Quentin MANIERE & Michael THOMAZO
Thursday, June 2, 2022 - 10:00 to 12:00
Université Lyon1, Dép. Informatique, Bât. Nautibus, salle C5

Datalog and its extensions (such as existential rules) are widely studied querying formalism. A natural question is to characterise which queries can be expressed within such query languages, in the style of Immerman-Vardi theorem. In this talk, I will present some results regarding the expressivity of Datalog-based query languages. The last such result if that, perhaps surprisingly, any query that is decidable and closed under homomorphism is expressible by a set of existential rules for which the standard chase is universally terminating. This talk is based on joint work with Camille Bourgaux, David Carral, Markus Kroetzsch and Sebastian Rudolph.

Bio: Michaël Thomazo is an Inria researcher (chargé de recherche) within the Valda team of DI ENS, Paris. He got his PhD in 2013 from the University of Montpellier, working on conjunctive query answering under existential rules with Jean-François Baget and Marie-Laure Mugnier. He then joined TU Dresden as an Alexander von Humboldt fellow to work with Sebastian Rudolph.