Meta-level Control for Deductive Data Base Systems by Helmut Schmidt