Mapping between Alloy Specifications and Database Implementations.

Alcino Cunha Hugo Pacheco

Published in: SEFM (2009)

Keyphrases

database
relational databases
databases
database systems
database management systems
data model
query language
database management
data sets
knowledge base
multiscale
real world
information systems
database applications
database queries
formal specification