Unification, rewriting, and narrowing on term graphs.
Annegret HabelDetlef PlumpPublished in: Electron. Notes Theor. Comput. Sci. (1995)
Keyphrases
- rewriting rules
- graph model
- conjunctive queries
- higher order
- directed graph
- graph matching
- graph theoretic
- neural network
- query terms
- query rewriting
- graph theory
- graph representation
- regularization term
- equational theories
- citation graph
- graph clustering
- graph databases
- graph mining
- bipartite graph
- query answering
- query language
- information technology
- information retrieval