Linked Presentation: Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation