On Existentially First-Order Definable Languages and Their Relation to NP.
Bernd BorchertDietrich KuskeFrank StephanPublished in: ICALP (1998)
Keyphrases
- first order logic
- expressive power
- computational complexity
- standard model
- database
- transitive closure
- language independent
- databases
- action theories
- context free
- relational algebra
- np complete
- higher order
- information retrieval
- binary relations
- knowledge representation
- inductive logic programming
- desirable properties
- query translation
- pattern languages
- grammatical inference
- database systems
- multi lingual