DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer.
María AlpuenteMarco A. FeliúChristophe JoubertAlicia VillanuevaPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- demand driven
- expressive power
- deductive databases
- recursive programs
- query answering
- query language
- datalog programs
- integrity constraints
- ontology based data access
- transitive closure
- program synthesis
- logic programming
- data complexity
- database
- database languages
- data exchange
- transformation rules
- relational query languages
- np complete
- management system
- fixpoint
- logic programs
- query evaluation