DAVID: Database for Annotation, Visualization, and Integrated Discovery
GeneCards: a novel functional genomics compendium with automated data mining and query reformulation support