Title: Finding the optimal derivation strategy in a redundant knowledge base
Subjects: Database management