RT @summerlight00: https://t.co/wIw3hh6Lng 보아하니 MS가 큰 일을 한 듯. 1. 여러 데이터 모델을 함께 지원하고 2. SLA로 여러 수준의 일관성 제공 3. 지리적으로 분산됨 4. TLA+로 모델 체킹

https://t.co/wIw3hh6Lng 보아하니 MS가 큰 일을 한 듯. 1. 여러 데이터 모델을 함께 지원하고 2. SLA로 여러 수준의 일관성 제공 3. 지리적으로 분산됨 4. TLA+로 모델 체킹

— minchul park (@summerlight00) May 14, 2017