Apparently, the word "rewriting" is more or less associated with transformation of the input query.
I was suggested that "Datalog saturation" is a better suited name, but I have used the same word to mean the saturation of an instance (as in $\mathrm{FullSat}_\Sigma(I)$ ), so I need to either
convince myself that "saturation" is appropriate for both usage
rename "instance saturation" such as $\mathrm{FullSat}_\Sigma(I)$ to something else
come up with some other name for the notion of rule saturation
Apparently, the word "rewriting" is more or less associated with transformation of the input query.
I was suggested that "Datalog saturation" is a better suited name, but I have used the same word to mean the saturation of an instance (as in $\mathrm{FullSat}_\Sigma(I)$ ), so I need to either