Assess graduate students' understanding of consistency and isolation in distributed databases. Topics: formal definitions and distinctions between strong consistency (linearizability, sequential consistency) and eventual consistency; transactional isolation—serializability vs snapshot isolation—and common anomalies (write skew, lost updates). Expect analysis of short execution traces, identification of violated guarantees, and justification of trade-offs (latency, availability, complexity) for design choices.