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

basi di dati 1/20 - deadlock e livelock, lock a due fasi stretto.md

@@ -68,6 +68,7 @@ Una transazione soddisfa il protocollo di locking a due fasi stretto se:
 ### protocolli conservativi
 I protocolli conservativi cercano di **evitare** le situazioni di stallo.
 Ogni transazione richiede *tutti i lock all'inizio* - se ne manca anche uno solo, la transazione viene messa in attesa.
+(se ha ricevuto lock, questi vengono rilasciati)
 
 Così si evita il deadlock, ma non il livelock - la transazione rischia di non poter mai partire.
 Per *evitare anche il livelock*, una transazione richiede tutti i lock che servono all'inizio e li ottiene se e solo se:

basi di dati 1/6 - chiusura di un insieme di dipendenze funzionali.md

@@ -210,14 +210,15 @@ Dobbiamo mostrare $X\to Y\in F^+\implies X\to Y\in F^A$.
 
 Sappiamo che $X\subseteq X^+$, e quindi sappiamo che le tuple di $r$ corrispondono su $X$.
 Poiché $r$ soddisfa $X\to Y$, quindi, devono anche corrispondere su $Y$.
-Abbiamo quindi $Y\subseteq X^+$, e, per il Lemma 1 $X\to Y\in F^A$.
+Abbiamo quindi $Y\subseteq X^+$, e, per il *Lemma 1*, $X\to Y\in F^A$.
 
 Abbiamo quindi mostrato che $X\to Y\in F^+\implies X\to Y\in F^A$. 
 
 ## domande orale
 >[!question] possibili domande
 >- elencare gli assiomi di Armstrong
 >- elencare (e dimostrare) gli assiomi "conseguenze"
+>- cos'è la chiusura di un attributo rispetto a un insieme di dipendenze?
 >- cos'è $F^+$? si può calcolare?
 >- cosa c'è dentro $F^+$ se $F$ è vuoto? (le dipendenze banali)
 >- lemma 1 (e dimostrazione)