Title :
Formal Representation of Semantic Data Models in Type Theory
Author :
RajagopaIan, P. ; Tsang, C.P.
Author_Institution :
Curtin University of Tech.
Keywords :
Application software; Australia; Data mining; Data models; Documentation; Erbium; Humans; Object oriented modeling; Prototypes; Relational databases;
Conference_Titel :
TENCON '91.1991 IEEE Region 10 International Conference on EC3-Energy, Computer, Communication and Control Systems
Print_ISBN :
0-7803-0538-8
DOI :
10.1109/TENCON.1991.729670