Large database specifications from small views

This publication has 13 references indexed in Scilit:

• On the correct translation of update operations on relational views
  ACM Transactions on Database Systems, 1982
• Update semantics of relational views
  ACM Transactions on Database Systems, 1981
• The semantics of clear, a specification language
  Published by Springer Nature ,1980
• Data Base: Theory vs. Interpretation
  Published by Springer Nature ,1978
• Formal definition of mappings in a data base
  Published by Association for Computing Machinery (ACM) ,1977
• The Semantics of Predicate Logic as a Programming Language
  Journal of the ACM, 1976
• Abstract data types and the development of data structures
  Published by Association for Computing Machinery (ACM) ,1976
• The Entity Relationship Model — Toward a Unified View of Data
  Published by Springer Nature ,1976
• Specification techniques for data abstractions
  IEEE Transactions on Software Engineering, 1975
• Types are not sets
  Published by Association for Computing Machinery (ACM) ,1973