Discute des opérateurs de requête avancés, en se concentrant sur les techniques de jointure et leurs méthodes de traitement dans les bases de données relationnelles.
Explore les transactions distribuées, y compris la coordination, le contrôle de la concordance, la récupération et le protocole de Commit à deux phases.
Explore la recherche de bugs, la vérification et l'utilisation d'approches aidées à l'apprentissage dans le raisonnement de programme, montrant des exemples comme le bug Heartbleed et le raisonnement bayésien différentiel.
Couvre les techniques de contrôle de la concordance et éventuellement la cohérence dans les bases de données, y compris le verrouillage en deux phases, 2PL strict, et l'algorithme de Dynamo.
Discute des modèles de traitement des requêtes et des opérations relationnelles, en se concentrant sur les sélections, les projections et les jointures dans les systèmes à forte intensité de données.
Explore l'indexation dans les systèmes de base de données, couvrant le stockage, les fichiers, et des techniques efficaces de récupération de données utilisant différents types d'index.
Explore la plasticité, la ductilité de traction, les courbes contrainte-déformation, la fragilisation induite par les radiations et le col dans les matériaux.
Couvre les matériaux à changement de phase, la photonique intégrée, les mémoires, l'informatique, l'optoélectronique, l'informatique en mémoire et les progrès de l'informatique quantique.