1. A method for computing propagation covers using an SPC view of a dataset, wherein said SPC view comprises one or more of Selection, Projection and Cartesian product operations, said method comprising: obtaining a plurality of conditional functional dependencies defined over a schema for said dataset; processing one or more of said selection operations in said SPC view to extract one or more equivalence classes; processing one or more of said Cartesian product operations in said SPC view to obtain a renamed set of said plurality of conditional functional dependencies, wherein said renamed set comprise conditional functional dependencies having attributes appearing in said SPC view; applying one or more domain constraints from said one or more equivalence classes to said renamed set to remove one or more attributes not in said SPC view; processing one or more of said projection operations in said SPC view using a reduction by resolution procedure to identify one or more inferences that can be propagated to said SPC view from said one or more conditional functional dependencies having attributes that do not appear in said SPC view; converting one or more domain constraints of said equivalence classes to conditional functional dependencies; and determining a cover of said SPC view.