Unary Inclusion Dependencies have Polynomial Time Inference Problems (Extended Abstract)

Unary Inclusion Dependencies have Polynomial Time Inference Problems (Extended Abstract) Paris C. Kanellakis Stavros S. Cosmadakis Moshe Y. Vardi 264-277 conf/stoc/STOC15 1983 STOC db/conf/stoc/stoc83.html#KanellakisCV83