Formal semantics for database schemas.
Dan A. SimoviciDan C. StefanescuPublished in: Inf. Syst. (1989)
Keyphrases
- database schema
- formal semantics
- object oriented
- er model
- integrity constraints
- relational databases
- database
- entity relationship
- functional dependencies
- high level specifications
- owl dl ontology
- logical language
- first order logic
- data integration
- data exchange
- modeling language
- theorem prover
- modelling language
- schema mappings
- domain ontology
- database design
- relational model
- domain specific
- query answering
- open source
- semi automatic
- data sets