Keyphrases
- expressive power
- design space
- higher order
- first order logic
- design process
- data complexity
- query language
- design tools
- relational algebra
- transitive closure
- pairwise
- structured data
- markov random field
- directed graph
- design space exploration
- computational properties
- search space
- relational calculus
- closure properties
- artificial intelligence
- directed acyclic graph
- software engineering
- recursive queries
- real world
- databases