1950
述語論理

1977          1989
演繹DB        演繹オブジェクト
1970                指向DB
関係DB


1985
オブジェクト指向 DB        1990


1960             1980
オブジェクト指向       制約
プログラミング           仮説推論
自然言語研究