I've been using databases that offer strong consistencies, and only recently came across the concept of weak consistency, or eventual consistency. But there seems to be too many varieties of weak consistencies and it's so hard to figure out the nuances and know whether my app is safe under a certain consistency model. This line of research seems to help with that, but oftentimes applications interact with DB in different patterns, and I am not sure if you can get these all covered..