Cvičení 9

Téma

Úkoly

  1. Napište (ideálně z paměti) pravidla (Ax) a (Cut).
  2. Ověřte, že následující pravidla lze chápat jako odvozená z (Ax) a (Cut):
    • Oslabení
    • Aditivita
    • Projekce
  3. Můžeme teď bezpečně říct, že pravidla z předchozího bodu jsou korektní?
  4. Pro schéma S = {A, B, C, D, E} a teorii T = {A ⇒ B, AC ⇒ E, B ⇒ D, BC ⇒ E, BD ⇒ C} funkčních závislostí nad S ověřte dokazatelnost:
    • A ⇒ E
    • B ⇒ E
    • A ⇒ ABCDE
    • B ⇒ ABCDE
  5. Jak ověřit, že nějaká závislost není dokazatelná z dané teorie?

Zápočet 5 - Tutorial D a jeho implementace