PostgreSQL代码分析，查询优化部分，process_duplicate_ors

这里把规范谓词表达式的部分就整理完了，阅读的顺序例如以下：

一、PostgreSQL代码分析，查询优化部分，canonicalize_qual

二、PostgreSQL代码分析，查询优化部分，pull_ands()和pull_ors()

三、 PostgreSQL代码分析。查询优化部分，process_duplicate_ors

/*
 * process_duplicate_ors
 *	  Given a list of exprs which are ORed together, try to apply
 *	  the inverse OR distributive law.
 *
 * Returns the resulting expression (could be an AND clause, an OR
 * clause, or maybe even a single subexpression).
 */

/*
 * 假设我们有四个表，各自是TEST_A,TEST_B,TEST_C,TEST_D,每一个表有一列,
 * 也就是TEST_A有一个A列，TEST_B有一个B列，以此类推。
 * 
 * 这个函数处理这样的情况。对于一个选择，SELECT * FROM TEST_A,TEST_B,TEST_C,TEST_D
 * WHERE (A=1 AND B=1) OR (A=1 AND C=1) OR (A=1 AND D=1);
 * 
 * 语句中的WHERE条件：
 *		(A=1 AND B=1) OR (A=1 AND C=1) OR (A=1 AND D=1)
 * 能够改写为：
 *		(A=1）AND （B=1 OR C=1 OR D=1)
 * 这就是这个函数的主要功能。
 *
 * 这个函数的參数是一个list, 对于上述的WHERE条件，orlist的结构例如以下：
 * orlist中有一个元素，是OR_EXPR类型的BoolExpr，BoolExpr中的结构例如以下：
typedef struct BoolExpr
{
	Expr xpr; = 略
	BoolExprType boolop; = OR_EXPR
	List *args;	= OR中的3个条件，即(A=1 AND B=1) OR (A=1 AND C=1) OR (A=1 AND D=1)
	bool plusFlag; = 略
} BoolExpr;
 *
 * 以下分析函数的详细实现，大致的步骤为：
 * 1）分析每一个OR中的公共项。 2）提取公共项， 3）合并剩余项为AND。
 */
static Expr *
process_duplicate_ors(List *orlist)
{
	List	   *reference = NIL;
	int			num_subclauses = 0;
	List	   *winners;
	List	   *neworlist;
	ListCell   *temp;

	if (orlist == NIL)
		return NULL;			/* probably can‘t happen */

	/* 假设仅仅有一个。。
。
。
。那就算了吧 */
	if (list_length(orlist) == 1)		/* single-expression OR (can this
										 * happen?
) */
		return linitial(orlist);

	/*
	 * Choose the shortest AND clause as the reference list --- obviously, any
	 * subclause not in this clause isn‘t in all the clauses. If we find a
	 * clause that‘s not an AND, we can treat it as a one-element AND clause,
	 * which necessarily wins as shortest.
	 */
	/*
	 * “找最短”。

	 * 在WHERE语句中：
	 *		(A=1 AND B=1) OR (A=1 AND C=1) OR (A=1 AND D=1)
	 * OR操作串联了3个子语句。找到当中最短的一个，由于假设有公共项，那么最短的那个也一定
	 * 包括公共项。那么通过找到最短的那个。在后面的操作里能降低 比較 的次数。

	 * 在上面的WHERE语句中。3个子语句的长度同样。依照例如以下运行过程，找到的应该是(A=1 AND B=1)，
	 * 即第一个。

	 */
	foreach(temp, orlist)
	{
		Expr	   *clause = (Expr *) lfirst(temp);

		if (and_clause((Node *) clause))
		{
			List	   *subclauses = ((BoolExpr *) clause)->args;
			int			nclauses = list_length(subclauses);
			
			/* 
			 * 这里推断子语句里的长度，比方对于(A=1 AND B=1)子语句，
			 * 他实际上是一个AND连接起来的两个 子子语句， 那么他的长度就是2。
			 *
			 * 通过nclauses记录最短的子语句，假设有更短的（nclauses < num_subclauses），
			 * 那么就替换成最短的。

			 */
			if (reference == NIL || nclauses < num_subclauses)
			{
				reference = subclauses;
				num_subclauses = nclauses;
			}
		}
		else
		{
			/* 
			 * 另一种情况。 就是可能子句不是一个AND语句，这样看上去不大符合规则，
			 * 那么把他看做一个总体，那这个就是最短元素。
			 * 
			 ******************************
			 * 假设代码运行到这里。那么仅仅有两种情况：
			 * 一种是 ... WHERE (A=1 AND B=1) OR (A=1 AND C=1) OR (A=1)。
			 * 一种是 ... WHERE ((A=1 OR C=1) AND B=1) OR (A=1 OR C=1).
			 * 假设是这两种情况，都能够做例如以下简化：
			 * 第一种情况简化为 A=1
			 * 另外一种情况化简为 (A=1 OR C=1)
			 * 
			 * 第三种情况待补充...
			 */
			reference = list_make1(clause);
			break;
		}
	}

	/*
	 * Just in case, eliminate any duplicates in the reference list.
	 */
	/* 找到最短的。 存到List */
	reference = list_union(NIL, reference);

	/*
	 * Check each element of the reference list to see if it‘s in all the OR
	 * clauses.  Build a new list of winning clauses.
	 */
	/*
	 * “找公共项”。
	 *
	 * NOTE:这时候就能体现“找最短”带来的优势。外层循环次数会少一些。
	 *
	 * 假设WHERE语句是：
	 *		(A=1 AND B=1) OR (A=1 AND C=1) OR (A=1 AND D=1)
	 * “找最短”中找到的一定是(A=1 AND B=1)。

	 * 则外层会有两次循环...（foreach(temp, reference)），两次循环的变量分别为
	 *			A=1 和 B=1。
	 * 内层有三次循环...（foreach(temp2, orlist)）。三次循环的变量分别为
	 *			(A=1 AND B=1) 和 (A=1 AND C=1) 和 (A=1 AND D=1)
	 * 
	 * 示比例如以下：
	 * 假如如今外层循环第一次运行，即查找A=1的公共项，进而假如内层循环也是第一次运行，
	 * 即在(A=1 AND B=1)中查找是否存在A=1这个公共项。发现是存在的（list_member），
	 * 则依次推断内层循环的第二个子句...
	 *
	 * 如上例，详细来说。这些循环分别作的操作是：
	 *	外层第一次：
	 *		推断A=1是否在(A=1 AND B=1)，在，推断下一个
	 *		推断A=1是否在(A=1 AND C=1)，在，推断下一个
	 *		推断A=1是否在(A=1 AND D=1)。在，A=1是公共项，记录（winners = lappend...）
	 *	外层第二次：
	 *		推断B=1是否在(A=1 AND B=1)。在，推断下一个
	 *		推断B=1是否在(A=1 AND C=1)，不在，跳出循环，下一个不用推断了。
	 *		推断B=1是否在(A=1 AND D=1)。未运行，由于上一个不含公共项，就不可能提取了。
	 */
	winners = NIL;
	foreach(temp, reference)
	{
		Expr	   *refclause = (Expr *) lfirst(temp);
		bool		win = true;
		ListCell   *temp2;

		foreach(temp2, orlist)
		{
			Expr	   *clause = (Expr *) lfirst(temp2);

			if (and_clause((Node *) clause))
			{
				if (!list_member(((BoolExpr *) clause)->args, refclause))
				{
					win = false;
					break;
				}
			}
			else
			{
				if (!equal(refclause, clause))
				{
					win = false;
					break;
				}
			}
		}

		if (win)
			winners = lappend(winners, refclause);
	}

	/*
	 * If no winners, we can‘t transform the OR
	 */
	if (winners == NIL)
		return make_orclause(orlist);

	/*
	 * Generate new OR list consisting of the remaining sub-clauses.
	 *
	 * If any clause degenerates to empty, then we have a situation like (A
	 * AND B) OR (A), which can be reduced to just A --- that is, the
	 * additional conditions in other arms of the OR are irrelevant.
	 *
	 * Note that because we use list_difference, any multiple occurrences of a
	 * winning clause in an AND sub-clause will be removed automatically.
	 */
	/*
	 * “提取公共项”。

	 * 用list_difference删除公共项，实现细节不在赘述。
	 */
	neworlist = NIL;
	foreach(temp, orlist)
	{
		Expr	   *clause = (Expr *) lfirst(temp);

		if (and_clause((Node *) clause))
		{
			List	   *subclauses = ((BoolExpr *) clause)->args;
			
			/* 看这里...看这里..., 消除公共项 */
			subclauses = list_difference(subclauses, winners);
			if (subclauses != NIL)
			{
				/* 消除后，剩余的拼接起来。拼接成：（B=1 OR C=1 OR D=1)*/
				if (list_length(subclauses) == 1)
					neworlist = lappend(neworlist, linitial(subclauses));
				else
					neworlist = lappend(neworlist, make_andclause(subclauses));
			}
			else
			{
				/*
				 * 这说明子语句中。有一个所有是公共项，也就是例如以下形式：
				 *		... WHERE (A=1 AND B=1) OR (A=1)
				 *
				 * 这时候公共项是A=1，第一个子句是(A=1 AND B=1)，第二个子句是（A=1),
				 * 第二个子句经过list_difference。返回的结果是NULL。
				 * 对于这样的情况，实际上能够化简为：A=1，由于(A=1 AND B=1)一定满足A=1的情况。
				 */
				neworlist = NIL;	/* degenerate case, see above */
				break;
			}
		}
		else
		{
			if (!list_member(winners, clause))
				neworlist = lappend(neworlist, clause);
			else
			{
				neworlist = NIL;	/* degenerate case, see above */
				break;
			}
		}
	}

	/*
	 * Append reduced OR to the winners list, if it‘s not degenerate, handling
	 * the special case of one element correctly (can that really happen?).
	 * Also be careful to maintain AND/OR flatness in case we pulled up a
	 * sub-sub-OR-clause.
	 */
	if (neworlist != NIL)
	{
		if (list_length(neworlist) == 1)
			winners = lappend(winners, linitial(neworlist));
		else
			/*neworlist里面应该是（B=1 OR C=1 OR D=1)，所以用make_orclause */
			winners = lappend(winners, make_orclause(pull_ors(neworlist)));
	}

	/*
	 * And return the constructed AND clause, again being wary of a single
	 * element and AND/OR flatness.
	 */
	if (list_length(winners) == 1)
		return (Expr *) linitial(winners);
	else
		/* 返回的形式是：(A=1）AND （B=1 OR C=1 OR D=1)，所以会用make_andclause */
		return make_andclause(pull_ands(winners));
}

PostgreSQL代码分析，查询优化部分，process_duplicate_ors

标签：cat   ini   替换   move   build   check   car   情况   orm