Nas transações distribuídas, o teorema CAP abrange os princípios de