A Semantic Model of Integrity Constraints on a Relational Data Base.

Published in: IFIP Working Conference on Modelling in Data Base Management Systems (1976)