Function transformFilterFalse

transformFilterFalse(c: TransformationContext, op: Operation): Operation
Simplifies algebra by removing or propagating FILTER(FALSE) patterns:
- JOIN over FILTER(FALSE) becomes FILTER(FALSE) (absorbing element)
- UNION over FILTER(FALSE) drops that branch (identity element)
- FILTER(FALSE) over anything becomes FILTER(FALSE) over the empty BGP, so no engine evaluates its input
- PROJECT/EXTEND/DISTINCT/etc. over FILTER(FALSE) becomes FILTER(FALSE), sub-SELECTs included
- MINUS/LEFT JOIN whose right operand is FILTER(FALSE) becomes its left operand
- GROUP and the query's own solution modifiers are left in place
Parameters
- c: TransformationContext
  The transformation context
- op: Operation
  The operation to transform
Returns Operation
the simplified operation
- Defined in lib/transformations/filterFalse.ts:38