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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have