Algebraic Specifications of Database Constraints

Udo W. Lipeck, Hans-Dieter Ehrich. Algebraic Specifications of Database Constraints. In ADT. 1983.

Abstract

Abstract is missing.