Formal Models and Semantics, Handbook of Theoretical Computer Science, chapter Elements of Relational Database Theory (1990)

by P Kanellakis