A verification algorithm for inheritance hierarchies in object-oriented databases

DOI10.1016/S0020-0190(97)00062-8MaRDI QIDQ287091zbMATH OpenOpenAlexFDO

Authors 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)

Cites work

• scientific article; zbMATH DE number 3887060 (Why is no real title available?)
• scientific article; zbMATH DE number 944097 (Why is no real title available?)
• A semantics of multiple inheritance
• Acquisition and validation of complex object database schemata supporting multiple inheritance
• LOGIDATA+: deductive databases with complex objects
• Object-oriented database schema analysis and inheritance processing: A graph-theoretic approach

Describes a project that uses

Uses Software

• CoopnBuilder

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q287091)