The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics.
Makoto HamanaKazutaka MatsudaKazuyuki AsadaPublished in: Math. Struct. Comput. Sci. (2018)
Keyphrases
- graph structure
- graph properties
- graphical representation
- graph representation
- logic programming
- structured data
- algebraic structure
- bipartite graph
- graph theoretic
- weighted graph
- directed graph
- graph theory
- modal logic
- graph model
- algebraic operations
- random walk
- query language
- relational structures
- formal semantics
- algebraic expressions
- database query languages
- graph mining
- inference rules
- functional dependencies
- graph databases
- transformation rules
- graph matching
- connected components
- conflict free
- relational databases
- objective function
- knowledge base