An algebraic approach to databases with complex objects

Abstract We propose a formal axiomatic treatment of databases with complex objects. This approach integrates object-oriented features with the binary semantic data model. Our axiomatic approach offers a new prospective on such issues as object identity, structural inheritance and type systems which are of interest to object-oriented database systems.

[1]  Setrag Khoshafian,et al.  A calculus for complex objects , 1985, PODS '86.

[2]  Richard Hull,et al.  The Format Model: A Theory of database Organization , 1984, J. ACM.

[3]  François Banciihon.  Object-oriented database systems , 1988, PODS 1988.

[4]  Umeshwar Dayal,et al.  Queries and Views in an Object-Oriented Data Model , 1989, DBPL.

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

[6]  Fernando Vélez,et al.  O2, an Object-Oriented Data Model , 1992, Building an Object-Oriented Database System, The Story of O2.

[7]  Dennis McLeod,et al.  Database description with SDM: a semantic database model , 1981, TODS.

[8]  Luca Cardelli,et al.  A Semantics of Multiple Inheritance , 1984, Inf. Comput..

[9]  Won Kim,et al.  Architecture of the ORION Next-Generation Database System , 1990, IEEE Trans. Knowl. Data Eng..

[10]  C. V. Ramamoorthy,et al.  Knowledge and Data Engineering , 1989, IEEE Trans. Knowl. Data Eng..