Cvičení 8
Témata
- teorie
- modely, kanonické modely
- uzávěr množiny atributů vzhledem k teorii
- uzávěr teorie
Úkoly
- Pro schéma S = {Jméno, Příjmení, Pohlaví} a teorii T = {{Jméno} ⇒ {Pohlaví}, {Příjmení} ⇒ {Jméno}} nad S
- najděte všechny kanonické modely T,
- najděte sémantický uzávěr T+ teorie T.
- Pro schéma S = {A, B, C, D} a teorii T nad S {{A} ⇒ {B}, {B, C} ⇒ {D}, {D} ⇒ {B}} najděte sémantický uzávěr T+.