No Database Is Perfect: Applying CAP Theorem to Database Choice