F-Alloy: a relational model transformation language based on Alloy.

Loïc Gammaitoni Pierre Kelsen

Published in: Softw. Syst. Model. (2019)

Keyphrases

relational model
relational databases
data model
database technology
relational algebra
data modeling
functional dependencies
incomplete information
complex objects
relational database systems
database management systems
nested relations
spatial databases
conceptual model
high level
databases
learning algorithm