Decidability of Termination of Grid String Rewriting Rules.
Alfons GeserPublished in: SIAM J. Comput. (2002)
Keyphrases
- rewriting rules
- type checking
- rewrite rules
- relational calculus
- transformation rules
- description logics
- expressive power
- data structure
- relational algebra
- structural properties
- grid computing
- sparql queries
- regular expressions
- pattern matching
- normal form
- life cycle
- data types
- query language
- data model
- relational databases