postgresql解决shift/reduce 和reduce/reduce冲突
1. 生成output文件
bison -v ora_gram.y
bison冲突一般分为shift/reduce 和reduce/reduce冲突
shift/reduce冲突的一般原因：
一、路径冲突
InsertMultStmt:
INSERT multi_insert_level into_target_list1 SelectStmt
into_target_list1:
into_target1
| into_target_list1 into_target1
into_target1:
WHEN a_expr THEN into insert_target multi_insert_rest
SelectStmt:
SELECT column_name_list FROM table_name
multi_insert_reset:
‘(’ insert_column_list ‘)’ opt_values_clause
{
}
| opt_values_clause SELECT
{
}
| opt_values_clause
{
}
查看ora_gram.output文件
State 3025
1781 multi_insert_rest : opt_values_clause . SELECT
| opt_values_clause .
SELECT shift, and go to state 3869
SELECT [reduce using rule 1781 (multi_insert_rest)]
以上可以看到，一个路径读取了SELECT，认为是SelectStmt子句的开头，multi_insert_rest子句结束，需要reduce。另外一个路径读取SELECT，认为是multi_insert_rest子句的SELECT，需要shift。在这种情况下，同一个字符既存在可以规约的情况，又存在能够移进的情况，就会存在冲突。
二、结合性
InsertMultStmt:
INSERT multi_insert_level into_target_list1 SelectStmt
into_target_list1:
into_target1
| into_target_list1 into_target1
into_target1:
WHEN a_expr THEN into insert_target multi_insert_rest
SelectStmt:
SELECT column_name_list FROM table_name
multi_insert_reset:
‘(’ insert_column_list ‘)’ opt_values_clause
{
}
| opt_values_clause
{
}
insert_target:
qualified_name
{ }
| qualified_name as ColId
{ }
opt_values_clause:
VALUES ctext_row
{
}
| /**EMPTY/
{
}
其中VALUES 关键字没有作为保留关键字，也就是说可以作为普通名字字符使用，
出现冲突
into_target: INTO insert_target . multi_insert_rest
VALUES shift, and go to state 3022
VALUES [reduce using rule 1783(opt_values_clasuse)]
reduce/reduce冲突一般原因：
一、路径重复
into_target_list1:
into_target1
| into_target_list1 into_target1
into_target1:
WHEN a_expr THEN into insert_target multi_insert_rest
multi_insert_reset:
‘(’ insert_column_list ‘)’ opt_values_clause
{
}
| opt_values_clause
{
}
| opt_values_clause
{
}
查看ora_gram.output文件
State 3025
1781 multi_insert_rest : opt_values_clause .
| opt_values_clause .
WHEN reduce using rule 1781 (multi_insert_rest)
WHEN [reduce using rule 1781 (multi_insert_rest)]
以上可以看到 multi_insert_rest 子句读取完毕，存在两个路径都读到了一下个into_target1的WHEN 字符，需要对mulit_insert_rest进行规约，所以就出现了规约冲突。