On the Design and Specification of Database Transactions

This publication has 10 references indexed in Scilit:

• On hierarchies of abstract data types
  Acta Informatica, 1983
• Defining database dynamics with attribute grammars
  Information Processing Letters, 1982
• Database description with SDM
  ACM Transactions on Database Systems, 1981
• A language facility for designing database-intensive applications
  ACM Transactions on Database Systems, 1980
• Abstraction in databases
  Published by Association for Computing Machinery (ACM) ,1980
• The algebraic specification of abstract data types
  Acta Informatica, 1978
• The Vienna Development Method: The Meta-Language
  Lecture Notes in Computer Science, 1978
• Some high level language constructs for data of type relation
  ACM Transactions on Database Systems, 1977
• Database abstractions
  ACM Transactions on Database Systems, 1977
• An axiomatic definition of the programming language PASCAL
  Acta Informatica, 1973