Non Axiomatisability of Positive Relation Algebras with Constants, via Graph Homomorphisms.
Amina DoumaneDamien PousPublished in: CONCUR (2020)
Keyphrases
- graph theory
- positive and negative
- graph structure
- weighted graph
- graph representation
- stable set
- graph structures
- structured data
- directed graph
- graph matching
- graph mining
- relation algebra
- learning algorithm
- graph theoretic
- spanning tree
- random walk
- graph databases
- spatial reasoning
- bipartite graph
- graph search
- dependency graph
- image segmentation
- search engine