Séances de cours associées à Datalog

Évaluation des données avec programmation multi-étapes

Explore l'évaluation des données, l'intégration DSL, la sémantique, les algorithmes de points fixes et la programmation en plusieurs étapes.

Questions avancées de métaprogrammation: Volume de code et complexité

Explore la gestion de grandes bases de code, niveaux d'abstraction plus élevés, codeDB, requêtes Datalog, et l'analyse de programme.

Questions avancées de métaprogrammation: Volume de code et complexité

Explore les défis dans le volume de code, la complexité et la métaprogrammation des requêtes par rapport au code.

Optimisation des requêtes récursives

Explore l'optimisation des requêtes récursives dans les systèmes de bases de données à l'aide de Datalog et semi-rings, en discutant des défis et des solutions dans l'analyse des données.