A Rule-based Operational Semantics of Graph Query Languages.
Dominique DuvalRachid EchahedFrédéric ProstPublished in: CoRR (2022)
Keyphrases
- operational semantics
- query language
- data model
- denotational semantics
- graph databases
- formal semantics
- query evaluation
- expert systems
- expressive power
- structured data
- graph model
- graph mining
- relational algebra
- mental states
- activity diagrams
- model theoretic
- object oriented
- database systems
- directed acyclic graph
- cooperative
- black box
- conjunctive queries
- np complete
- source code
- dependency graph
- database