Data Models and Data Manipulation Languages: Complementary Semantics and Proof Theory

Alexander Borgida, Harry K. T. Wong. Data Models and Data Manipulation Languages: Complementary Semantics and Proof Theory. In Very Large Data Bases, 7th International Conference, September 9-11, 1981, Cannes, France, Proceedings. pages 260-271, IEEE Computer Society, 1981. [doi]

Authors

Alexander Borgida

This author has not been identified. Look up 'Alexander Borgida' in Google

Harry K. T. Wong

This author has not been identified. Look up 'Harry K. T. Wong' in Google