Towards a Unifying Logic Formalism for Semantic Data Models.

Jaroslaw A. Chudziak Henryk Rybinski James Vorbach

Published 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