PACELC TheoremExtension of CAP theorem describing trade-offs in distributed systems during both network partitions and normal operation