Portability of Syntax and Semantics in Datalog.
Carole D. HafnerKurt GoddenPublished in: ACM Trans. Inf. Syst. (1985)
Keyphrases
- expressive power
- deductive databases
- query answering
- query language
- datalog programs
- logic programming
- data complexity
- integrity constraints
- transitive closure
- database languages
- ontology based data access
- existentially quantified
- query evaluation
- np complete
- datalog queries
- relational algebra
- conjunctive queries
- fixpoint
- np hard
- high level
- containment of conjunctive queries
- data sets