Module fr.boreal.backward_chaining
Package fr.boreal.backward_chaining.pure.rewriting_operator
package fr.boreal.backward_chaining.pure.rewriting_operator
-
ClassDescriptionFrom 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).From Melanie Konïg's thesis Rewriting operator SRA Query rewriting engine that rewrite query using aggregation by rule of most general single piece-unifiers From Melanie Konïg's thesis Rewriting operator SRA
Query rewriting engine that rewrite query using aggregation by rule of most general single piece-unifiers