Invited talk to AST Lab, ETH Zurich: Finding Logic Bugs in Various Database Management Systems