Let A be an abelian category.
From the point of view of model categories, the derived category D(A) is the true 'homotopy category' of the category of complexes, whereas K(A) might be called the 'naive homotopy category'.