conf/pods/86 Serge Abiteboul Victor Vianu Deciding Properties of Transactional Schemas. 235-239 1986 PODS db/conf/pods/pods86.html#AbiteboulV86 http://doi.acm.org/10.1145/6012.15417 journals/anthology/cd1-3:PODS86/P235.PDF journals/anthology/dvd1:text/1-3/PODS86/P235.PDF conf/vldb/AbiteboulV84 conf/pods/AbiteboulV85 conf/vldb/Brodie81 conf/vldb/CastilhoCF82 books/cs/Maier83 journals/tods/MylopoulosBW80 ...