Toward a Formal Semantics and Inference Rules for Conceptual Data Models.
Christoph F. EickThomas RauppPublished in: Data Knowl. Eng. (1991)
Keyphrases
- inference rules
- formal semantics
- first order logic
- data model
- theorem prover
- conceptual model
- relational algebra
- databases
- theorem proving
- logical language
- entity relationship
- operational semantics
- modal logic
- database systems
- logical framework
- conceptual models
- query language
- database management systems
- probabilistic knowledge
- epistemic logic
- relational model
- modeling language
- data integration
- conditional probabilities
- database
- object oriented
- database design
- knowledge representation
- data types
- case study
- ontology languages
- modelling language
- owl dl ontology
- data sources
- metamodel
- knowledge base
- random variables
- machine learning