Database Specification using Transaction Sets

Michael F. Worboys. Database Specification using Transaction Sets. In David J. Harper, Moira C. Norrie, editors, Specifications of Database Systems. Workshops in Computing, pages 300-311, Springer, 1992. [doi]

@incollection{Worboys92-0,
  title = {Database Specification using Transaction Sets},
  author = {Michael F. Worboys},
  year = {1992},
  doi = {10.1007/978-1-4471-3864-8_16},
  url = {https://doi.org/10.1007/978-1-4471-3864-8_16},
  researchr = {https://researchr.org/publication/Worboys92-0},
  cites = {0},
  citedby = {0},
  pages = {300-311},
  booktitle = {Specifications of Database Systems},
  editor = {David J. Harper and Moira C. Norrie},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {978-3-540-19732-4},
}