In SQL Server 2017, when the query optimizer encounters code with a multi-statement TVF, the query optimizer will pause optimization, execute the TVF subtree to get a very accurate cardinality ...

VeriEQL, a new tool developed by researchers in SFU’s School of Computing Science and collaborators at the University of Michigan, enhances the semantics equivalence verification of complex SQL ...