Login / Signup

Declarative Programs with Implicit Implications.

Vilas WuwongseEkawit Nantajeewarawat
Published in: IEEE Trans. Knowl. Data Eng. (2002)
Keyphrases
  • knowledge representation
  • deductive database systems
  • declarative language
  • real time
  • case study
  • computer programs
  • programming environment
  • provably correct
  • information systems
  • database systems
  • domain independent