Making smalltalk a database system

To overcome limitations in the modeling power of existing database systems and provide a better tool for database application programming, Servio Logic Corporation is developing a computer system to support a set-theoretic data model in an object-oriented programming environment We recount the problems with existing models and database systems We then show how features of Smalltalk, such such as operational semantics, its type hierarchy, entity identity and the merging of programming and data language, solve many of those problems Nest we consider what Smalltalk lacks as a database system secondary storage management, a declarative semantics, concurrency, past states To address these shortcomings, we needed a formal data model We introduce the GemStone data model, and show how it helps to define path expressions, a declarative semantics and object history in the OPAL language We summarize similar approaches, and give a brief overview of the GemStone system implementation

[1]  Kamran Parsaye Database Management, Knowledge Base Management, and Expert System Development in PROLOG , 1983, Logic Programming Workshop.

[2]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[3]  Leonard S. Haynes Highly Parallel Computing - Guest Editor's Introduction , 1982, Computer.

[4]  Verónica Dahl,et al.  On database systems development through logic , 1982, TODS.

[5]  John H. McFadyen Systems Network Architecture: An Overview , 1976, IBM Syst. J..

[6]  Stephen W. Miller Mass Storage Systems and Evolution of Data Center Architectures: Guest Editor's Introduction , 1982, Computer.

[7]  Stephen Todd The Peterlee Relational Test Vehicle - A System Overview , 1976, IBM Syst. J..

[8]  George P. Copeland,et al.  What if mass storage were free? , 1982, Computer Architecture Workshop.

[9]  John Mylopoulos,et al.  A language facility for designing database-intensive applications , 1980, TODS.

[10]  Diane C. P. Smith,et al.  Database abstractions: aggregation and generalization , 1977, TODS.

[11]  Harry M. Markowitz,et al.  EAS-E: an integrated approach to application development , 1983, TODS.

[12]  J. W. Thatcher Data abstraction, data bases and conceptual modelling (Position Paper) , 1981, SIGMOD 1981.

[13]  David H. D. Warren,et al.  Efficient Processing of Interactive Relational Data Base Queries expressed in Logic , 1981, VLDB.

[14]  E. F. Codd,et al.  Extending the database relational model to capture more meaning , 1979, ACM Trans. Database Syst..

[15]  John Mylopoulos An overview of Knowledge Representation , 1981, SIGMOD 1981.

[16]  D. L. Childs Feasibility of a set-theoretic data structure. A general structure based on a reconstituted definition of relation , 1968, IFIP Congress.

[17]  Joachim W. Schmidt,et al.  Some high level language constructs for data of type relation , 1977, TODS.

[18]  Matthew Morgenstern Active Databases as a Paradigm for Enhanced Computing Environments , 1983, VLDB.