1993年 (Relational calculus and categorical assertion semantics) Information Modelling and Knowledge Bases : Foundations, Theories and Applications IV 出版者・発行元 IOS Press