A relational algebra operation expressing a universal matching requirement. An explicit relational difference construction can specify the intended candidate universe, including the case of an empty divisor.
New to topics? Read the docs here!
New to topics? Read the docs here!