The following pages link to US Patent Application 17730904. AUTOMATIC CORRECTNESS VALIDATION OF DATABASE MANAGEMENT SYSTEMS simplified abstract: