Можешь назвать базы данных, которые реализуют принципы теоремы CAP?