DBLP:conf/vldb/GardarinM79 + redirect page
A Transaction Logic for Database Specification +,
SIRIUS: A French Nationwide Project on Distributed Data Bases +,
Data Models and Data Manipulation Languages: Complementary Semantics and Proof Theory +,
…
Has citation
Proving Consistency of Database Transactions + Has identifier
| Proving Consistency of Database Transactions |
Has publishing details
pp. 291-298, 1979
Has title
Proving Consistency of Database Transactions
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/vldb/vldb79.html#GardarinM79
Has where published
VLDB
Has year
1979
Has author
Georges Gardarin +, Michel A. Melkanoff +
Has citation
DBLP:journals/cacm/Codd70 +, DBLP:journals/cacm/EswarranGLT76 +, DBLP:journals/cacm/Hoare69 +, DBLP:journals/cacm/Howard76 +, DBLP:journals/cacm/OwickiG76 +, DBLP:journals/tods/StonebrakerWKH76 +, Observations on Data Manipulation Languages and Their Embedding in General Purpose Programming Languages +
Has identifier
Proving Consistency of Database Transactions +
Categories Proceeding Paper +
|
