cap theorem dbms