Un Procedimiento de Optimización Semántica de Programas Datalog.
José R. ParamáNieves R. BrisaboaMiguel R. PenabadHéctor J. HernándezPublished in: JISBD (2000)
Keyphrases
- expressive power
- deductive databases
- query answering
- query language
- datalog programs
- data complexity
- logic programming
- transitive closure
- ontology based data access
- computational complexity
- existentially quantified
- query evaluation
- integrity constraints
- database languages
- fixpoint semantics
- logic programs
- recursive programs
- machine learning
- relational query languages