Map fusion for nested datatypes in intensional type theory.
Ralph MatthesPublished in: Sci. Comput. Program. (2011)
Keyphrases
- data types
- data model
- data fusion
- theoretical framework
- formal theory
- data structure
- database management systems
- computational model
- theoretical basis
- multi sensor
- similarity measure
- database systems
- data integration
- databases
- data management
- higher order
- query processing
- information theory
- relational databases
- combining multiple
- fusion algorithm
- general theory