The Relational Polynomial-Time Hierarchy and Second-Order Logic.
Flavio Antonio FerrarottiJose Maria Turull TorresPublished in: SDKB (2008)
Keyphrases
- special case
- computational complexity
- relational databases
- database language
- modal logic
- truth table
- finite sets
- higher order
- relational data
- logical framework
- classical logic
- data model
- multi valued
- statistical relational learning
- digital circuits
- asynchronous circuits
- search algorithm
- hessian matrix
- deontic logic
- bounded treewidth
- finite automata
- relational structures
- approximation algorithms
- high order