Neo4jGraph

Neo4jGraph

Encoding of typed attribute graphs with property graphs

We would like to build a system based on the property graph model, that would allow us to represent typed attribute graphs and to perform SqPO rewriting and propagation on these graphs using a database query language.

We would like for our framework to provide means for definition of graphs, graph typing, rewriting rules and instances of these rules inside of graphs, which relies greatly on definition of a graph homomorphism. Therefore, we need to provide tools for defining meaningful and unambiguous maps from the elements of one graph to the elements of another (nodes for simple graphs and nodes and edges for non-simple ones). These elements should possess application-level identifiers.