An Algebraic semantics for Datalog.
Eugénie FoustoucosS. Kazem LellahiNicolas SpyratosPublished in: JFPLC (1995)
Keyphrases
- logic programming
- expressive power
- deductive databases
- fixpoint semantics
- relational calculus
- query answering
- query language
- model theoretic
- relational query languages
- formal semantics
- data complexity
- datalog programs
- database languages
- disjunctive datalog
- database query languages
- data exchange
- logic programs
- knowledge representation
- database
- integrity constraints
- nonmonotonic reasoning
- database systems
- data sets