State Dependency Issues in Evaluating Distributed Database Availability