Wenfei Fan: Implication of Constraints. Encyclopedia of Database Systems (2nd ed.) 2018