The denormalization command performs in situ replacements that are each like normalization steps but performed in the opposite direction.
...; i : ![]() ![]() | ![]() | ...; i : e; ... | ... true ... |
The command is offered on inspection of the membership predicate, which should be an outermost conjunct of the | part.
"denormalization" p1 p2
This example applies the denormalization command to predicates p1 and p2.