An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories.
Andrea CorradiniMartin Große-RhodeReiko HeckelPublished in: WADT (1998)
Keyphrases
- random walk
- graph theory
- equational theories
- bipartite graph
- directed graph
- database
- real numbers
- structured data
- graph structure
- weighted graph
- graph theoretic
- graph partitioning
- graph search
- graph representation
- connected components
- graph model
- graph mining
- inference rules
- theoretical framework
- graph based algorithm
- stable set
- algebraic expressions