Foundations of Modern Query Languages for Graph Databases | Synapse