# Seeing is believing: a client-centric specification of database isolation

DevFeed: [Seeing is believing: a client-centric specification of database isolation](<https://devfeed.tech/articles/seeing-is-believing-a-client-centric-specification-of-database-isolation-28593.md>)

Original publisher: [Read original article](<https://blog.acolyer.org/2020/11/30/seeing-is-believing/>)

Author: adriancolyer

Published: 2020-11-30T14:08:00Z

Content type: opinion

Language: en

Sources: [Adrian Colyer](<https://devfeed.tech/sources/adrian-colyer.md>)

Topics: [Database](<https://devfeed.tech/topics/database.md>), [systems](<https://devfeed.tech/topics/systems.md>)

Tags: [database](<https://devfeed.tech/tags/database.md>), [datastores](<https://devfeed.tech/tags/datastores.md>), [paper](<https://devfeed.tech/tags/paper.md>), [state](<https://devfeed.tech/tags/state.md>), [storage](<https://devfeed.tech/tags/storage.md>), [uncategorized](<https://devfeed.tech/tags/uncategorized.md>), [visibility](<https://devfeed.tech/tags/visibility.md>)

## AI overview

This article reviews "Seeing is believing," a paper that proposes defining database isolation guarantees in terms of effects visible to clients. Its state-based formalization treats storage systems as black boxes and aims to clarify observable behavior for application developers while preserving implementation freedom.

## Source excerpt

Seeing is believing: a client-centric specification of database isolation, Crooks et al., PODC'17. Last week we looked at Elle, which detects isolation anomalies by setting things up so that the inner workings of the database, in the form of the direct serialization graph (DSG), can be externally recovered. Today's paper choice, 'Seeing is believing' also deals ... Continue reading Seeing is believing: a client-centric specification of database isolation