丹·普里切特在对大规模分布式系统的实践终结过程中,提出了_____理论,该理论是对CAP理论的延伸,核心思想是即使无法做到强一致性,但应用可以采用适合的方式达到最终一致性。