Login / Signup
Monadic Theory of Term Rewritings
Didier Caucal
Published in:
LICS (1992)
Keyphrases
</>
theoretical framework
query answering
database
knowledge base
query rewriting
database management systems
deductive databases
datalog programs
answering queries using views