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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call