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 ...

Poke around the infrastructure of any startup website or mobile app these days, and you’re bound to find something other than a relational database doing much of the heavy lifting. Take, for example, ...