Interface RewritingOperator

All Known Implementing Classes:
SingleRuleAggregator
public interface RewritingOperator
From Melanie Konïg's thesis A rewriting operator rew is a function which takes a conjunctive query Q and a set of rules R and outputs a set of conjunctive queries noted rew(Q, R). This computes direct rewritings of the query Q with regards to R We can extend this definition to a set of queries as the union of all independent rewritings for each query.

  • Method Details

    • rewrite

      Set<FOQuery<? extends FOFormula>> rewrite(FOQuery<? extends FOFormula> query, RuleBase rules)
      A rewriting operator rew is a function which takes a conjunctive query Q and a set of rules R and outputs a set of conjunctive queries noted rew(Q, R)
      Parameters:
      query - Q
      rules - R
      Returns:
      a set of conjunctive queries, rewritings of Q with R

    • rewrite

      default Set<FOQuery<? extends FOFormula>> rewrite(Collection<FOQuery<? extends FOFormula>> queries, RuleBase rules)
      Generalization to a set of queries
      Parameters:
      queries - Q
      rules - R
      Returns:
      a set of conjunctive queries, rewritings of Q with R