The Algebra of Recursive Graph Transformation Language UnCAL: Complete Axiomatisation and Iteration Categorical Semantics.
Makoto HamanaKazutaka MatsudaKazuyuki AsadaPublished in: CoRR (2015)
Keyphrases
- algebraic structure
- graph representation
- graphical representation
- algebraic operations
- random walk
- data model
- graph properties
- query language
- graph theoretic
- structured data
- directed graph
- transformation rules
- graph partitioning
- aggregate functions
- relational data model
- database query languages
- categorical data
- directed acyclic graph
- graph theory
- bipartite graph
- logic programming
- objective function
- database
- graph structure
- relational structures
- recursive queries
- connected components
- conceptual model