vault backup: 2025-02-05 20:35:04

AglaiaNorza · Feb 5, 2025 · 3552163 · 3552163
1 parent 19a0269
commit 3552163
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/basi di dati 1/10 - decomposizioni che preservano le dipendenze.md b/basi di dati 1/10 - decomposizioni che preservano le dipendenze.md
@@ -162,5 +162,6 @@ $$
 ## domande orale
 >[!question] possibili domande
 >- cosa vuol dire che una decomposizione preserva un insieme di dipendenze?
+>- dimostrazione Lemma 2
 >- (forse) quali dipendenze bisogna controllare e quali no per l'algoritmo?
 >- dimostrazione calcolo di $X^+_{G}$ a partire da $F$