De acordo com o teorema CAP (consistência, disponibilidade e tolerância a partição), sistemas distribuídos