typecheck entry of the Encyclopedia of Database Systems