Publications

4 results at SIGMOD/PODS 1984

On the Complexity and axiomatizability of consistent database states extended abstract
- - Marc H. Graham
  - Moshe Y. Vardi
- 1984
- SIGMOD/PODS 1984
Maximal concurrency locking
- - Georg Lausen
  - Eljas Soisalon-Soininen
  - et al.
- 1984
- SIGMOD/PODS 1984
On the equivalence of logical databases
- - Gabriel M. Kuper
  - Jeffrey D. Ullman
  - et al.
- 1984
- SIGMOD/PODS 1984
A new approach to database logic
- - Gabriel M. Kuper
  - Moshe Y. Vardi
- 1984
- SIGMOD/PODS 1984

On the Complexity and axiomatizability of consistent database states extended abstract