[prev] 60 [next]

Expression Rewriting Rules

Since RA is a well-defined formal system
  • there exist many algebraic laws on RA expressions
  • which can be used as a basis for expression rewriting
  • in order to produce equivalent (more-efficient?) expressions
Expression transformation based on such rules can be used
  • to simplify/improve SQLRA mapping results
  • to generate new plan variations to check in query optimisation