InfoMaster based Approaches

• Create source descriptions and common data models using an expressive language (e.g. FOL or KIF)
• Utilize these descriptions to dynamically generate query plans
• Unfold/translate queries into source-only queries
• Join, intersection, union, translation are all automated reasoning operations, e.g. model-elimination or Prolog based

Previous slide

Next slide

Back to first slide

View graphic version