P →Q  Bezárás (1): JXUwMDJjJXUwMDA2JXUwMDFiJXUwMDFmJXUwMDFmJXUwMDg4JXUwMDhkJXUwMDA1JXUwMDFh , ha Q ⊆ P.

P →Q  Bezárás (2): JXUwMDJjJXUwMDExJXUwMDA5JXUwMDA2JXUwMDBmJXUwMDE2JXUwMDE2JXUwMDBiJXUwMDRlJXUw MDRlJXUwMDBiJXUwMDA4JXUwMDE5JXUwMDA2JXUwMDFiJXUwMDFmJXUwMDFmJXUwMDg4JXUwMDhk JXUwMDA1JXUwMDFh , ha Q ∩ P = ∅.

Tekintsünk egy R(A,F) relációs adatbázissémát! K (⊆A) akkor és csak akkor Bezárás (3): JXUwMDJiJXUwMDA5JXUwMDBmJXUwMDA1JXUwMDE1JXUwMDE3JXUwMDE5JXUwMDFlJXUwMDE5JXUw MDBmJXUwMDEw , ha K →A.

Bezárás (1): JXUwMDFhJXUwMTEzJXUwMTI3JXUwMDliJXUwMDk5JXUwMDlkJXUwMDlh : Ha X → Y, akkor X ∪ Z →Y ∪ Z.

Bezárás (2): JXUwMDBjJXUwMDI2JXUwMDEzJXUwMDBmJXUwMDE0JXUwMDEzJXUwMDFkJXUwMDFkJXUwMDFmJXUw MDFmJXUwMDFkJXUwMDk1JXUwMDky : Ha X → Y és Y → Z, akkor X → Z.

Bezárás (3): JXUwMDBhJXUwMDM3JXUwMDAzJXUwMDBhJXUwMDA5JXUwMDFkJXUwMDExJXUwMDFmJXUwMDFmJXUw MDFkJXUwMDk1JXUwMDky : Ha Y ⊆ X, akkor X →Y.

Bezárás (4): JXUwMDBiJXUwMDI5JXUwMDkzJXUwMDlkJXUwMDAyJXUwMDk3JXUwMDg2JXUwMDg2JXUwMDkyJXUw MDFhJXUwMDQ5JXUwMDUzJXUwMDA5JXUwMDFiJXUwMDAzJXUwMDgzJXUwMDhkJXUwMDE1 : Ha X → {B₁, ..., B_k}, akkor X → B₁, ..., X → B_k.

Ha C → D, akkor az R1(B,C), R2(C,D) felbontás Bezárás (1): JXUwMDEwJXUwMDJkJXUwMDA0JXUwMDE1JXUwMDFjJXUwMDQ4JXUwMDU0JXUwMDlkJXUwMDlkJXUw MDExJXUwMDA5JXUwMDA5 szerint Bezárás (2): JXUwMDMwJXUwMTE5JXUwMTAyJXUwMDlhJXUwMDhlJXUwMDAyJXUwMDE2 .