A unifying logic-based formalism for semantic data models.
James VorbachJames KowalskiPublished in: ACM Conference on Computer Science (1991)
Keyphrases
- semantic data models
- knowledge representation
- functional dependencies
- conceptual modeling
- programming language
- data model
- formal specification
- data modeling
- query language
- entity relationship
- relational model
- database design
- conceptual model
- normal form
- general purpose
- artificial intelligence
- database
- domain specific
- relational databases
- integrity constraints
- data management
- software engineering
- knowledge base
- conceptual schema