- addMinimalEqualityToLeftJoin
Adds a trivial equality to a LeftJoin in case the left join doesn't have at
least one boolean condit
- foldJoinTrees
- addMinimalEqualityToLeftOrNestedInnerJoin
- countDataItems
Counts the number of data atoms in this list of terms. Not recursive.
- getDefinedVariables
Gets all the variables that are defined in this list of atoms, except in atom i
- getProblemVariablesForBranchN
Collects all the variables that appear in all other branches (these are atoms in
the list of atoms)
- pullOutEqualities
This method introduces new variable names in each data atom and equalities to
account for JOIN opera
- pullOutLJCond
- saturateEqualities
- unfoldJoinTrees
This expands all Join that can be directly added as conjuncts to a query's body.
Nested Join trees i