Login / Signup

Deduction Trees and the View Update Problem in Indefinite Deductive Databases.

C. A. Johnson
Published in: J. Autom. Reason. (1997)
Keyphrases
  • deductive databases
  • view update
  • integrity constraints
  • logic programming
  • functional dependencies
  • fixpoint
  • inference rules
  • query evaluation
  • database
  • model theoretic
  • data mining
  • machine learning
  • database design