John C. Mitchell
Inference Rules for Functional and Inclusion Dependencies
PODS, 1983.
@inproceedings{PODS-1983-Mitchell,
author = "John C. Mitchell",
booktitle = "{Proceedings of the Second Symposium on Principles of Database Systems}",
cdrom = "['journals/anthology/cd1-3:PODS83/P058.PDF', 'journals/anthology/dvd1:text/1-3/PODS83/P058.PDF']",
doi = "10.1145/588058.588067",
isbn = "0-89791-097-4",
pages = "58--69",
publisher = "{ACM}",
title = "{Inference Rules for Functional and Inclusion Dependencies}",
year = 1983,
}