An axiomatization of events

Springer Science and Business Media LLC - Tập 22 Số 3 - Trang 291-299 - 1982
Bengt G. Lundberg1
1SYSLAB, Chalmers University of Technology, S-41296, Göteborg, Sweden

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.

Chen, P. P. S.,The entity-relationship model: Toward a unified view of data, ACM-TODS, March, 1976.

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.

Reiter, R.,Databases: A logical perspective, SIGMOD, Vol. 11: 2, (1981).

Schoenfield, J. R.,Mathematical Logic, Addison-Wesley Publ. Comp., 1967.