Constraint-Based Reasoning in Deductive Databases.

Jiawei Han

Browse the full ICDE paper archive.