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.
Articles by others on the same topic
There are currently no matching articles.