「TMの会」 プログラム このウインドウを閉じる
/ 2014年12月22日 / 


 ● A Relational Model of Data for Large Shared Data Banks (E.F. Codd, 1970)

 1.3. A Relational View of Data (前回から続く)

 There are usually many alternative ways in which a relational model may be established for a data bank. In order to discuss a preferred way (or normal form), we must first introduce a few additional concepts (active domain, primary key, foreign key, nonsimple domain) and establish some links with terminology currently in use in information systems programming. In the remainder of this paper, we shall not bother to distinguish between relations and relationships except where it appears advantageous to be explicit.

 Relational model を一般に承認されるように作る (疑義のないように納得できる) やりかた には 通常 幾つも やりかた があるであろう。
 establish: set up (system, business, etc.) on permanent basis; settle (person etc. in office etc.); cause to be generally accepted, place beyond dispute (custom, fact, etc.)

 may: expressing possibility (it may be true)

 それらの やりかた のなかでも我々が選ぶ やりかた 即ち標準形 (正規形) を論じるために、幾つかの概念を最初に補充しなければならない。それらの概念とは、active domain, primay key, foreign key, nonsimple domain である。

 この論文では、relation という語と relationship という語は、それらを明白に区別せねばならない場合を除いて、我々はいちいち区別して使うことはしない。

 One relation called part is defined on the following domains:
  (1) part number
  (2) part name
  (3) part color
  (4) part weight
  (5) quantity on hand
  (6) quantity on order
 and possibly other domains as well. Each of these domains is, in effect, a pool of values, some or all of which may be represented in the data bank at any instant.

 この例を、TM では クラス を使って次のように 「正規形」 を作るでしょう──TM には、primary key という概念はないので、念のため。

 { part number, part name, part color, part weight }.
 { part number (R), quantity on hand, quantity on order }.

 TM では、part numer (R) は、「関係 (他の relation──たとえば、order── との関連)」 で構成される、という意味です。

 Each of these domains is, in effect, a pool of values というのは、モデル 論では、domain が セット (集合) を指示し、値が充足されていることを云います [ 空でない集合であること ]。some or all は、部分関数あるいは全域関数になるということ。部分関数というのは、任意の domain において値が充足されていない項が存在する状態です [ ちなみに、部分関数が後々論点になります──すなわち、a relation と同じ次数の空集合を認めるかどうか、ということです。空集合は、任意の集合の部分集合です。]

 We shall call the set of values represented at some instant the active domain at that instant.

 或る時点において値が充足されている集合のことを その時点での active domain と云う。


(この section は次回に続く)

  → 板書写真

  → コッド 論文 (原文)