1950
述語論理
1977 1989
演繹DB 演繹オブジェクト
1970 指向DB
関係DB
1985
オブジェクト指向 DB 1990
1960 1980
オブジェクト指向 制約
プログラミング 仮説推論
自然言語研究