Dependencies for an extended object-oriented database model

Herein we extend the object-oriented database model via the concept of object inheritance, and call the resulting model, the extended object-oriented database model. We then formalize this model and thereafter we investigate path functional dependencies, inequality dependencies and general dependencies. General dependencies subsume both path functional dependencies and inequality dependencies.