A Framework for Data Base Semantic Integrity

@inproceedings{Hammer-McLeod:ICSE76,
  author    = {Michael Hammer and
               Dennis McLeod},
  title     = {A Framework for Data Base Semantic Integrity},
  booktitle = {ICSE},
  pages     = {498--504},
  publisher = {{IEEE} Computer Society},
  year      = {1976},
}