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

Alexander Borgida, Harry K. T. Wong

Browse the full VLDB paper archive.