Incremental Deductive Verification for Relational Model Transformations.
Zheng ChengMassimo TisiPublished in: ICST (2017)
Keyphrases
- relational model
- relational databases
- data model
- database technology
- relational algebra
- data modeling
- object oriented
- functional dependencies
- complex objects
- incomplete information
- relational database systems
- model checking
- nested relations
- conceptual model
- spatial databases
- databases
- relational data
- distributed systems
- business intelligence
- database management systems
- learning algorithm