On Semantic Verification of Object-Oriented Database Schemas.
Michele MissikoffHerman LamPublished in: NGITS (1993)
Keyphrases
- database schema
- object oriented
- semantic data model
- domain ontology
- relational databases
- integrity constraints
- entity relationship
- semantic mapping
- object oriented databases
- sql queries
- programming language
- database applications
- database
- database design
- domain specific
- data model
- schema evolution
- data integration
- functional dependencies
- query language
- natural language
- data exchange
- semantic information
- software engineering
- case study
- high level specifications
- structured query language
- database language
- schema mappings
- high level
- artificial intelligence