conf/pods/83 John C. Mitchell Inference Rules for Functional and Inclusion Dependencies. 58-69 1983 PODS db/conf/pods/pods83.html#Mitchell83 http://doi.acm.org/10.1145/588058.588067 db/conf/pods/Mitchell83.html journals/anthology/cd1-3:PODS83/P058.PDF journals/anthology/dvd1:text/1-3/PODS83/P058.PDF ... journals/tods/BeeriB79 conf/sigmod/BeeriFH77 conf/pods/BeeriK82 conf/pods/CasanovaFP82 journals/tods/Chen76 persons/Codd72 journals/tods/Codd79 journals/tods/Fagin81 journals/jacm/Fagin82 books/fm/GareyJ79 conf/pods/JohnsonK82 conf/stoc/KanellakisCV83 conf/pods/Vardi82 conf/focs/YannakakisP80