On the Homological Theory of Modules over Commutative Rings