A Rewriting Calculus for Multigraphs with Ports.
Oana AndreiHélène KirchnerPublished in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
- algebraic structure
- presburger arithmetic
- communication networks
- rewrite rules
- query rewriting
- rewriting rules
- conjunctive queries
- computer algebra
- genetic algorithm
- database systems
- datalog programs
- formal language
- automated deduction
- rewriting systems
- queries using views
- natural language
- expert systems
- active databases
- data sets
- knowledge base
- artificial intelligence
- machine learning