Name Reactions in Organic Chemistry - a New Application Domain for Deductive Databases

Name reactions are reaction schemes that are used to plan chemical syntheses. We present the deductive database application DedChem that computes a synthesis tree for chemical substances from name reactions stored in a database using nonlinear recursive deduction rules.