Further Improvements on Integrity Constraint Checking for Stratifiable Deductive Databases.

Sin Yeung Lee, Tok Wang Ling

Browse the full VLDB paper archive.