Keyphrases
- highly expressive
- formal semantics
- database query languages
- expressive power
- formal language
- databases
- language independent
- semantic information
- structured data
- language identification
- database languages
- specification languages
- model checking
- image blocks
- block size
- structured queries
- constraint language
- information retrieval
- database