Title: Large deductive databases with constraints