About this document

Trivial and Non-Trivial Dependencies by pranali suryawanshi is a document available to read on EtoBox.

Here are the steps to find the canonical cover: 1) Apply decomposition rule to WZ->XY to get WZ->X, WZ->Y 2) Compute closures: X+ = WXYZ (from X->W, WZ->XY) WZ+ = WXYZ (from WZ->X, WZ->Y) 3) Y is extraneous in Y->WXZ, remove to get Y->WX 4) The canonical cover is: {X->W, WZ->X, WZ->Y, Y->WX} No further rules can be applied, so this is the canonical cover.

Author

pranali suryawanshi

Language

EN