Implementation and Experimentation of the Logic Language NP Datalog.
Sergio GrecoCristian MolinaroIrina TrubitsynaPublished in: DEXA (2006)
Keyphrases
- logic programming
- programming language
- database languages
- operational semantics
- query language
- expressive power
- deductive databases
- specification language
- dynamic logic
- logic programming language
- query language for xml
- proof theory
- formal theory
- formal language
- language learning
- program synthesis
- declarative semantics
- query answering
- database query languages
- function free horn
- np hard