Model-Based Formal Reasoning about Data-Management Applications.
Carolina DaniaManuel ClavelPublished in: FASE (2015)
Keyphrases
- data management
- data access
- database management systems
- database systems
- data integration
- query processing
- data warehouse
- scientific data
- formal specification
- mobile computing
- data warehousing
- multiscale
- data management systems
- learning algorithm
- databases
- heterogeneous data
- scientific data management
- management system
- data model
- web services
- neural network