A verification algorithm for inheritance hierarchies in object-oriented databases

DOI10.1016/S0020-0190(97)00062-8zbMath1337.68088OpenAlexW2000869335MaRDI QIDQ287091

Anna Formica, Michele Missikoff

Publication date: 26 May 2016

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-0190(97)00062-8

zbMATH Keywords

graph theorydatabasesinheritance conflictsinheritance processOODB schemarecursive types

Mathematics Subject Classification ID

Database theory (68P15)

Uses Software

• CoopnBuilder

Cites Work

• Unnamed Item
• Unnamed Item
• A semantics of multiple inheritance
• LOGIDATA+: deductive databases with complex objects
• Acquisition and validation of complex object database schemata supporting multiple inheritance
• Object-oriented database schema analysis and inheritance processing: A graph-theoretic approach

This page was built for publication: A verification algorithm for inheritance hierarchies in object-oriented databases