Hypergraph rewriting using conformisms.
Miquel MonserratFrancesc RossellóJoan TorrensGabriel ValientePublished in: Electron. Notes Theor. Comput. Sci. (1995)
Keyphrases
- higher order
- hypergraph model
- rewriting rules
- rewrite rules
- conjunctive queries
- pairwise
- high order
- query rewriting
- presburger arithmetic
- rewriting systems
- vertex set
- regular path queries
- np hard
- case study
- queries using views
- hypergraph partitioning
- set covering
- hyper graph
- termination analysis
- lower bound
- genetic algorithm