Login / Signup

Maintaining state constraints in relational databases: a proof theoretic basis.

William McCuneLawrence J. Henschen
Published in: J. ACM (1989)
Keyphrases
  • relational databases
  • proof theoretic
  • database
  • databases
  • xml documents
  • nonmonotonic reasoning
  • bayesian networks
  • object oriented
  • sql queries
  • constraint logic programming
  • linear logic
  • proof theory