Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT》 1994-01
Add to Favorite Get Latest Update

On the Algebraic Model of Object-Oriented Database Systems

Yang Li (Institute of Software, Academia Sinica, Beijing, 100080)  
In contrast to the theory of conventional relational databases, there is a need to explore the theoretical and methodological foundations of object-oriented database systems. Our approach is to combine object-oriented paradigm with formal methods in software engineering, especially abstract data type theory, and algebraic specification of systems. In analogy to algebraic data type theory, this paper proposed the mathematical model of objects, object types and abstract object types.
【CateGory Index】: TP311.13
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved