Towards a Unifying Logic Formalism for Semantic Data Models.
Jaroslaw A. ChudziakHenryk RybinskiJames VorbachPublished in: ER (1993)
Keyphrases
- semantic data models
- computational properties
- conceptual modeling
- logical framework
- functional dependencies
- formal specification
- query language
- programming language
- data modeling
- modal logic
- logic programming
- modal operators
- expressive power
- data model
- operational semantics
- entity relationship
- databases
- er model
- relational databases
- automated reasoning
- database design
- knowledge representation
- situation calculus
- general purpose
- case study
- data mining
- database
- conceptual schema
- model checking
- data management