An axiomatization of events
Tóm tắt
Từ khóa
Tài liệu tham khảo
Bubenko Jr., J.A.,The temporal dimension in information modelling, Research Report RC-6187, IBM Research Lab, Yorktown Heights, New York, USA, 1976.
Bubenko Jr, J. A.,Information modelling in the context of system development, IFIP Congress, Tokyo, Japan, 1980.
Breutmann, B. et al.,CSL: a language for defining conceptual schemas, Proc IFIP TC 2.6 Work. Conf., Venice, Italy, 1979.
Hayes, P.,In defence of logic, Proc. IJCAI-5, Cambridge, 1977.
Housel, B. C., et al.,The functional dependency model for logical database design, IBM Research Lab., San José, USA, 1979.
Griethuysen, J. J. (ed.),Concepts and terminology for the conceptual schema and the information base, Report of ISO TC97/SC5/WG3, 1982.
Schoenfield, J. R.,Mathematical Logic, Addison-Wesley Publ. Comp., 1967.