Skip to content

Quiz

1. 3NF Definition

Question: Quale di queste è la definizione di terza forma normale?

  • A. \(\forall X \to Y \in F\) tale che \(X\) è superchiave o \(Y\) è primo
  • B. \(\exists X \to A \in F^+\) tale che \(X\) è chiave e \(A\) non è primo
  • C. \(\exists X \to Y \in F\) con \(Y \not\subseteq X\) tale che \(X\) è chiave e \(Y\) è primo
  • D. \(\forall X \to A \in F^+\) con \(A \notin X\) tale che \(X\) è superchiave o \(A\) è primo

Answer: D

See check-3nf.md for the definition of 3NF.

2. ISAM Cost (Formula)

Question: Si consideri un'organizzazione ISAM di un file che usa \(N\) blocchi per il file principale e \(n\) blocchi per il file indice. Il costo peggiore per una ricerca di un record è:

  • A. \(\lceil \log(N) + 1 - 1 \rceil\)
  • B. \(\lceil \log(n) + 1 \rceil\)
  • C. \(\lfloor \log(\frac{N+n}{2}) \rfloor\)
  • D. \(\lceil \log(N) \rceil + \lceil \log(n) \rceil\)

Answer: B

See physical-organization.md for ISAM details.

3. Minimal Cover Definition

Question: Quale di queste non fa parte della definizione di copertura minimale?

  • A. \(\forall X \to Y \in G, Y\) singleton
  • B. \(\forall X \to Y \in G, \nexists X' \subset X\) tale che \(G \setminus \{X \to Y\} \cup \{X' \to Y\} \equiv G\)
  • C. \(\forall X \to Y \in G, G \setminus \{X \to Y\} \not\equiv G\)
  • D. \(\forall X \to Y \in G, \exists X' \subset X\) tale che \(G \setminus \{X \to Y\} \cup \{X' \to Y\} \equiv G\)

Answer: D

(Note: Option D asserts the existence of a proper subset satisfying the equivalence, which defines redundancy. The definition of minimal cover requires that such a subset does NOT exist.)

See minimal-cover.md for the definition of minimal cover.

4. Key Definition

Question: Quale di queste è la definizione di superchiave?

  • A. \(K \subseteq K^+\)
  • B. \(K^+ \subseteq K\)
  • C. \(K \to R \in F\)
  • D. \(K \to R \in F^+\)

Answer: D

(Note: In the context of these quizzes, this often refers to a superkey unless minimality is explicitly distinguished.)

See finding-keys.md.

5. Augmentation Axiom

Question: Quale di questi è la definizione di assioma dell'aumento?

  • A. \(X \to Y \in F^A, \exists Z \subseteq R, XZ \to YZ \in F^A\)
  • B. \(X \to Y \in F^A, \forall Z \subseteq R, XZ \to YZ \in F^A\)
  • C. \(X \to Y \in F, \exists Z \subseteq R, XZ \to YZ \in F^A\)
  • D. \(X \to Y \in F, \forall Z \subseteq R, XZ \to YZ \in F^A\)

Answer: B

See armstrong-axioms.md.

6. m-way B-tree

Question: Quale di queste affermazioni sugli m-way B-tree è falsa?

  • A. Ogni nodo contiene al massimo \(m\) chiavi
  • B. La radice contiene almeno due successori
  • C. Ogni nodo diverso da radice e foglie contiene almeno \(\lceil \frac{m}{2} \rceil\) puntatori
  • D. Il costo massimo di ricerca è funzione crescente rispetto a \(m\)

Answer: D

See physical-organization.md.

7. Closure Definition

Question: Quale di queste è la definizione di chiusura di \(X\) rispetto a \(F\)?

  • A. \(X^+_F = \{A \in R : X \to A \in F\}\)
  • B. \(X^+_F = \{A \in R : X \to A \in F^A\}\)
  • C. \(X^+_F = \{Y \subseteq R : X \to Y \in F^A\}\)
  • D. \(X^+_F = \{Y \subseteq R : X \to Y \in F\}\)

Answer: B

See armstrong-axioms.md and proofs.md.

8. Hash Function Collision

Question: Si consideri una funzione di hash \(h\) usata per un'organizzazione hash. Siano \(r_1 : [k_1, d_1]\) e \(r_2 : [k_2, d_2]\) due record distinti che si trovano nello stesso bucket e siano \(i_1, i_2\) i rispettivi indirizzi di memoria. Quale delle seguenti affermazioni è vera?

  • A. \(h(k_1) = i_2\) oppure \(h(k_2) = i_1\)
  • B. \(h(k_1) = h(k_2)\)
  • C. \(i_1 = i_2\)
  • D. \(k_1 = k_2\)

Answer: B

See physical-organization.md.

9. Instance Satisfaction

Question: Dire quale di queste dipendenze funzionali non è soddisfatta dalla seguente istanza.

A B C D
\(a_1\) \(b_1\) \(c_1\) \(d_1\)
\(a_1\) \(b_1\) \(c_1\) \(d_2\)
\(a_1\) \(b_2\) \(c_1\) \(d_3\)
  • A. \(C \to AB\)
  • B. \(B \to C\)
  • C. \(D \to ABC\)
  • D. \(AB \to C\)

Answer: A

(Note: \(C \to AB\) is violated because \(t_1[C]=t_3[C]=c_1\) but \(t_1[B]=b_1 \neq t_3[B]=b_2\). Dependecies B, C, and D are satisfied.)

Question: Cosa significa che un'istanza \(r\) è legale rispetto a \(F\)?

  • A. \(\forall X \to A \in F^+, r\) soddisfa \(X \to A\)
  • B. \(\exists X \to Y \in F, r\) soddisfa \(X \to Y\)
  • C. \(\forall X \to Y \in F, r\) soddisfa \(X \to Y\)
  • D. \(\exists X \to Y \in F^+, r\) soddisfa \(X \to Y\) allora \(X \to A \in F\) per ogni \(A \in Y\)

Answer: C

See intro-notation.md.

11. Lossless Join Property

Question: Quale di queste proprietà è soddisfatta solo da decomposizioni che hanno un join senza perdita?

  • A. \(\Pi_{R_i}(r) = \Pi_{R_i}(m_\rho(r))\), per ogni \(R_i \in \rho\)
  • B. \(m_\rho(r) = r\) per ogni \(r\) istanza legale
  • C. \(r \subseteq m_\rho(r)\)
  • D. \(m_\rho(m_\rho(r)) = m_\rho(r)\)

Answer: B

See lossless-join.md.

12. ISAM Cost (Calculation)

Question: Si consideri un'organizzazione ISAM di un file che usa 12.759 blocchi per il file principale e 512 blocchi per il file indice. Il costo peggiore per una ricerca di un record è:

  • A. 14
  • B. 12
  • C. 24
  • D. 10

Answer: D

(Calculation: \(\lceil \log_2(512) \rceil + 1 = 9 + 1 = 10\))

See physical-organization.md for ISAM calculations.

13. Closure Monotonicity

Question: Sia \(X \subseteq R\) e \(X^+\) la sua chiusura rispetto a \(F\). Quale di queste affermazioni è falsa?

Based on typical options: - A. Se \(Z \not\subseteq X^+\) allora \(X \to B \notin F^A\) per qualche \(B \in Z\) - B. Se \(X^+ = R\) allora \(X\) è necessariamente una chiave - C. Se \(Y \subseteq X\), allora \(Y^+ \subseteq X^+\) - D. Se \(Y \subseteq X^+\) allora \(X \to Y \in F^A\)

Answer: B

(Note: \(X^+ = R\) implies \(X\) is a superkey, but not necessarily a minimal key.)

See armstrong-axioms.md and finding-keys.md.

14. Decomposition Preserving F

Question: Sia \(R\) uno schema e \(F\) l'insieme delle sue dipendenze funzionali. Si consideri l'insieme \(G = \bigcup_{i=1}^k \Pi_{R_i}(F)\). Allora:

  • A. Contiene tutte le dipendenze soddisfatte da ogni istanza legale di \(R\)
  • B. \(G\) è una copertura minimale di \(F\)
  • C. Contiene almeno una dipendenza \(X \to Y\) non soddisfatta da qualche istanza legale di \(R\)
  • D. \(G^+\) è contenuto in \(F^+\)

Answer: D

See fd-preservation.md.

Question: Sia \(r\) un'istanza legale rispetto a \(F\). Allora:

  • A. Se due tuple \(t_1, t_2\) di \(r\) sono diverse su \(X\), allora sono diverse anche su \(Y\).
  • B. Se \(X \to Y \in F^+\) e \(t_1[X] = t_2[X]\) con \(t_1, t_2 \in r\) allora \(t_1[Y] = t_2[Y]\).
  • C. Può esistere una dipendenza in \(F\) non soddisfatta da \(r\).
  • D. Per ogni decomposizione \(\rho\), si ha necessariamente che \(r = m_\rho(r)\).

Answer: B

See intro-notation.md for the definition of legal instance.

16. Minimal Cover Implication

Question: Sia \(G\) una copertura minimale di \(F\). Allora:

  • A. Tutte le dipendenze di \(G^+\) sono soddisfatte da ogni istanza legale rispetto a \(F\).
  • B. Se \(X \to A \in G\) allora \(A \in X\).
  • C. \(G\) è contenuto in \(F\).
  • D. Se \(X \to A \in G\) e \(X' \to A \in G\), allora \(X' \subseteq X\).

Answer: A

See minimal-cover.md.

17. B-Tree Minimum Fill

Question: Si consideri un m-way B-tree con i blocchi del file indice riempiti al minimo. Allora:

  • A. Il costo di ricerca è il minimo possibile.
  • B. Ogni nodo del file indice contiene \(\lfloor m/2 \rfloor\) chiavi.
  • C. Ogni nodo diverso da radice e foglie contiene almeno \(\lceil m/2 \rceil\) puntatori.
  • D. La radice contiene almeno due chiavi.

Answer: C

See physical-organization.md.

Question: Sia \(\rho\) una decomposizione con un join senza perdita e \(r\) un'istanza legale di \(R\) rispetto a \(F\). Allora:

  • A. Esiste una tupla di tutte \(a\) in \(m_\rho(r)\).
  • B. Nessuna delle altre risposte è vera.
  • C. Esistono due tuple \(t_1, t_2\) in \(m_\rho(r)\) tali che \(t_1[X] = t_2[X]\) e \(t_1[Y] \neq t_2[Y]\) per qualche \(X \to Y \in F\).
  • D. \(m_\rho(r)\) soddisfa tutte le dipendenze di \(F^+\).

Answer: D

See lossless-join.md. Since the join is lossless \(m_\rho(r) = r\), and since \(r\) is legal it satisfies \(F^+\) (and thus \(F\)).

19. Augmentation Logic

Question: Quale di queste affermazioni è vera?

  • A. Se \(X \to Y \in F\), allora per ogni \(Z \subseteq R\), si ha che \(XZ \to YZ \in F\).
  • B. Se \(X \to Y \in F^A\), allora \(Y \subseteq X\).
  • C. Se \(X \to Y, Y \to Z \in F\), allora \(X \to Z \in F\).
  • D. Se \(X \to Y \in F^A\) allora \(\forall Z \subseteq R, XZ \to YZ \in F^A\).

Answer: D

See armstrong-axioms.md.

20. Instance Satisfaction (4 rows)

Question: Dire quali di queste dipendenze funzionali è soddisfatta dalla seguente istanza.

A B C D
\(a_1\) \(b_1\) \(c_1\) \(d_1\)
\(a_1\) \(b_1\) \(c_1\) \(d_2\)
\(a_3\) \(b_3\) \(c_3\) \(d_1\)
\(a_3\) \(b_3\) \(c_4\) \(d_1\)
  • A. \(AC \to B\)
  • B. \(D \to AB\)
  • C. \(AB \to D\)
  • D. \(D \to BC\)

Answer: A

See intro-notation.md.