Dans le chapitre 3 :
Théorème établissant l'exactitude de l'algorithme de calcul de la fermeture d'un ensemble d'attributs (pp 92-93),
Démonstration de l'équivalence entre l’existence d'une dépendance à valeur multiple et une décomposition sans perte (pp. 122-123).
Dans le chapitre 6 :
Les critères et protocoles permettant de garantir la séquentialisabilité des transactions (à partir du transparent 11 de la deuxième partie du chapitre).
L’entièreté du Chapitre 7.