Discrete mathematics and logic : between mathematics and the computer science / Les mathématiques discrètes et la logique: des mathématiques à l'informatique

Collection Discrete mathematics and logic : between mathematics and the computer science / Les mathématiques discrètes et la logique: des mathématiques à l'informatique

Organisateur(s) Dzamonja, Mirna ; Schmitz, Sylvain ; Schnoebelen, Philippe ; Vaananen, Jouko
Date(s) 16/01/2023 - 20/01/2023
URL associée https://conferences.cirm-math.fr/2758.html
00:00:00 / 00:00:00
3 4

A quick and partial survey on the complexity of query answering

De Arnaud Durand

In this talk we will survey questions in logic and complexity at the interface between finite model theory, algorithms and database theory. The focus will be on the complexity of the many tasks related to query answering such as deciding if a Boolean query (for example a restricted first-order formula) is true or not in a finite model, counting the size of the answer set or enumerating the results. It will be a survey of some of the tools from complexity measures trough algorithmic methods to conditional lower bounds that have been designed in the domain over the last years.

Informations sur la vidéo

Données de citation

  • DOI 10.24350/CIRM.V.19994503
  • Citer cette vidéo Durand, Arnaud (19/01/2023). A quick and partial survey on the complexity of query answering. CIRM. Audiovisual resource. DOI: 10.24350/CIRM.V.19994503
  • URL https://dx.doi.org/10.24350/CIRM.V.19994503

Domaine(s)

Dernières questions liées sur MathOverflow

Pour poser une question, votre compte Carmin.tv doit être connecté à mathoverflow

Poser une question sur MathOverflow




Inscrivez-vous

  • Mettez des vidéos en favori
  • Ajoutez des vidéos à regarder plus tard &
    conservez votre historique de consultation
  • Commentez avec la communauté
    scientifique
  • Recevez des notifications de mise à jour
    de vos sujets favoris
Donner son avis