Fast Methods for Testing Quantified Relational Calculus Assertions.

Philip A. Bernstein, Barbara T. Blaustein

Browse the full SIGMOD paper archive.