Subtyping in OODBs

Keyphrases

• Constructor 100%
• Abstract Data Types 100%
• Supertype 100%
• Undecidable 50%
• Intuitive Thinking 50%
• Algebraic Specification 50%
• Correctness Proofs 50%
• Object-oriented Database 50%
• Type Constructors 50%
• Generalized Type 50%
• Type-checking Algorithm 50%

Computer Science

• Constructor Function 100%
• Abstract Data Type 100%
• Desirable Property 50%
• Correctness Proofs 50%
• Data Type 50%
• Object-Oriented Database 50%
• Type Constructor 50%
• Algebraic Specifications 50%
• Type Checking Algorithm 50%
• Intuitive Idea 50%
• Correctness 50%