Keyphrases
- modal logic
- static analysis
- sparql queries
- regular expressions
- rdf data
- dynamic analysis
- query language
- temporal logic
- relational algebra
- query optimization
- graph model
- source code
- cost model
- query formulation
- graph patterns
- query evaluation
- pattern matching
- query patterns
- sql queries
- data model
- databases
- case study
- query processing
- open source
- linked data
- data integration