CAP Theorem in Distributed Systems