I would be interested to know the answer to the above question  for the constructive bounded derived category on complex analytic or complex algebraic manifolds (or some other context). A reference would be helpful.