Conceptual Data Modeling with Constraints in Maude.

Scott Alexander

Published in: CALCO (2007)

Keyphrases

conceptual data modeling
entity relationship
formal specification
database systems
data modeling
equational theories
online learning
database design