(Sketch) To prove the lemma we consider each schema change primitive in turn. Let S be a segment and AS be the conceptual schema of t.
確定! 回上一頁