3 citations · 3 across the 1 of their papers we have counts for
3 papers
cs.LO2020★ 3 cited
Reversibility and Composition of Rewriting in Hierarchies
Russ Harmer, Eugenia Oshurko
In this paper, we study how graph transformations based on sesqui-pushout rewriting can be reversed and how the composition of rewrites can be constructed. We illustrate how such r…
cs.AI2020
Knowledge representation and update in hierarchies of graphs
Russ Harmer, Eugenia Oshurko
A mathematical theory is presented for the representation of knowledge in the form of a directed acyclic hierarchy of objects in a category where all paths between any given pair o…
cs.DB2019
Schema Validation and Evolution for Graph Databases
Angela Bonifati, Peter Furniss, Alastair Green +3
Despite the maturity of commercial graph databases, little consensus has been reached so far on the standardization of data definition languages (DDLs) for property graphs (PG). Th…