Data models: RDM as logic

• Minker et al. (1978), Reiter (1978/81/83):
  DB database, Q queryD |– QD |= Q
• logic as a database language: QUARFE
  Questions, e.g., ?parent(x, Kari)Answers, e.g., x = RandyRules, e.g., parent(x, y) <- father(x, y)Facts, e.g., father(Randy, Kari)Explanations, e.g., from fact, rule, by deduction

Data models: RDM as logic

Previous slide

Next slide

Back to the first slide

View Graphic Version