若R.A→R.B,R.B→R.C,则R.A→R.C
出自:计算机科学