Login / Signup

Incremental Protocol Verfication Using Deductive Database Systems.

I-En LiaoMing T. Liu
Published in: ICDE (1989)
Keyphrases
  • deductive database systems
  • logic programming
  • query processing
  • data management
  • relational database systems