Solving Implication Problems in Database Applications.

Xian-He Sun, Nabil Kamel, Lionel M. Ni

Browse the full SIGMOD paper archive.