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.
Examine les défis et les avantages de la vérification des compilateurs, en soulignant l'importance de la vérification des compilateurs pour les logiciels critiques.
Couvre les cadres de données Spark, les collections distribuées de données organisées en colonnes nommées, et les avantages de les utiliser sur les DDR.
Couvre les techniques de manipulation des données à l'aide de Hadoop, en se concentrant sur les bases de données axées sur les lignes et les colonnes, les formats de stockage populaires et l'intégration HBase-Hive.
Explore l'optimisation des requêtes de base de données, en discutant de l'optimisation statique par rapport à l'optimisation dynamique, du partage de l'analyse et de l'impact sur les performances DBMS.
Explore l'optimisation des requêtes basée sur les coûts dans les systèmes de base de données, couvrant l'estimation des coûts, l'estimation de la sélectivité, et rejoindre la cardinalité.
Couvre les fondements des systèmes de base de données, y compris la modélisation des données, le traitement de l'information et les défis de la gestion d'importants volumes de données.
Introduit le modèle relationnel et l'algèbre, essentiels pour comprendre les systèmes à forte intensité de données et la gestion efficace des bases de données.
Couvre l'analyse opérationnelle, en se concentrant sur le système adaptatif STEP pour un accès efficace aux nouvelles données dans le traitement analytique.
