Deciding Properties of Transactional Schemas.

Serge Abiteboul, Victor Vianu

Browse the full PODS paper archive.