✦ LIBER ✦

A verification algorithm for inheritance hierarchies in object-oriented databases

✍ Scribed by Anna Formica; Michele Missikoff

Publisher: Elsevier Science
Year: 1997
Tongue: English
Weight: 865 KB
Volume: 62
Category: Article
ISSN: 0020-0190
DOI: 10.1016/s0020-0190(97)00062-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Exploiting class hierarchy for effective

Exploiting class hierarchy for effective parallelisation of processing in object-oriented database systems

✍ Krzysztof Goczyla 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 392 KB

A formal model for temporal schema versi

A formal model for temporal schema versioning in object-oriented databases

✍ Fabio Grandi; Federica Mandreoli 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 425 KB

In this paper we present a formal model for the support of temporal schema versions in object-oriented databases. Its definition is partially based on a generic (ODMG compatible) object model and partially introduces new concepts. The proposed model supports all the schema changes which are usually

A compile-time model for safe informatio

A compile-time model for safe information flow in object-oriented databases

📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 117 KB

each layer. Application of the model then consists of two parts: specification of the organization and specification of requirement harmonization functions.