AlloyMax: bringing maximum satisfaction to relational specifications.
Changjian ZhangRyan WagnerPedro OrvalhoDavid GarlanVasco M. ManquinhoRuben MartinsEunsuk KangPublished in: ESEC/SIGSOFT FSE (2021)
Keyphrases
- relational databases
- relational data
- maximum number
- formal specification
- data model
- user satisfaction
- multi relational
- relational queries
- customer satisfaction
- relational learning
- high level
- genetic algorithm
- control flow
- specification language
- formal language
- delay insensitive
- database schema
- functional requirements
- database
- relational model
- case study
- information retrieval
- databases