Defining Datalog in Rewriting Logic.
María AlpuenteMarco A. FeliúChristophe JoubertAlicia VillanuevaPublished in: LOPSTR (2009)
Keyphrases
- datalog programs
- logic programming
- deductive databases
- expressive power
- query answering
- predicate logic
- modal logic
- data complexity
- classical logic
- conjunctive queries
- query language
- recursive programs
- automated reasoning
- logic programs
- knowledge representation
- integrity constraints
- query evaluation
- active rules
- asynchronous circuits
- regular path queries
- database
- rewriting systems
- ontology based data access