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