● A Relational Model of Data for Large Shared Data Banks （E.F. Codd, 1970）
この論文は、チューリング 賞を受賞した記念講演の論述に加筆して整えた論文です。この論文の他にも、Further Normalization of the Data Base Relatonal Model [ 1971年 ] という論文があるので、そちらも読んで下さい。これらの論文は、約 40年前に書かれた論文ですが、リレーショナル・データベース の生まれる基礎になった論文です。モデル論を学習している人は、ぜひとも読んで下さい。
「TM の会」 では、今回から、A Relational Model of Data for Large Shared Data Banks を読むことにしました。この論文を読むための注釈を付しておきます。
data bank; 1. a store or source of data. 2. ＝ DATABASE.
bank の意味は、a place for storing anything for future use.
prompting; an indication or sign on a VDU screen to show that the system is waiting for input.
natural growth in the types of stored information; → （類） terminal activities from growth in data types; data type ＝ sort of data which can be stored in register (such as string, numer, etc.) ですが、growth を使っている意味が私にはわからない、、、。
noninferential; → inferential < inference < infer （deduce or conclude from facts and reasoning） データ 構造の作りかたが一定の （論理的） 規則に従っていない、ということ。
n-ary relations; tuple （n 項の直積集合） のこと。｛s1 ∈ X1, ・・・, sn ∈ Xn ∧ P （s1, ・・・, sn）｝. 「関係 （relation）」 は、直積集合の部分集合である [ 「TM の会」 で以前に説明済み ] ことを思い起こしてください。
certain operation on relations (other than logical inference）; 論理的推論以外の関係（関数）上の演算
1. Relational Model and Normal Form
in vogue; in fashion （流行して）
with its natural structure only; この章の一番大事な概念です。この natural は、likely by its or their nature to be such のこと。これがどういう意味であるかは、次の文で述べられています── without superimposing any additional structure for machine representation purpose.
superimpose; lay (a thing) on something else.
yield; produce. この論文が書かれた時点では実証されていないので、will yield となっている。その後に現代に至るまで、それが実証されたのかどうかは、皆さんの判断に委ねますw。
it forms a sound basis for treating derivability, redundancy, and consistency of relations; sound basis は、「健全性 （soundness）」 のこと。すなわち、「妥当な推論」 という概念についての、意味論的帰結 （健全性） と構文論的帰結 （完全性） が外延的に [ モノ の集まりとしての数学的集合において ] 一致すること。この文は、前述の with its natural structure only に呼応しています。
derivability; < derivable < derive （obtain (something) from (a source)) [ 導出 ]
redundancy; < redundant (that can be removed without losing any information) [ 冗長性 ]
consistency; < consistent (compatible or in harmony) [ 一貫性 ]
spawn; produce (eggs), generate.