Horn Clause Query. Encyclopedia of Database Systems 2009: 1322