Operational and abstract semantics of the query language G-Log.
Agostino CortesiAgostino DovierElisa QuintarelliLetizia TancaPublished in: Theor. Comput. Sci. (2002)
Keyphrases
- query language
- sparql queries
- propositional dynamic logic
- decision making
- conceptual model
- database query languages
- semantic data model
- aggregate functions
- relational calculus
- database
- expressive power
- language constructs
- object oriented
- data model
- relational algebra
- formal semantics
- high level
- query evaluation
- regular expressions
- rdf graphs
- relational operators
- relational data model
- complex objects
- semantic information
- speech acts
- conceptual graphs
- logic programming
- higher level
- database systems
- web services
- neural network