Every metric space is separable in function realizability.
Andrej BauerAndrew SwanPublished in: Log. Methods Comput. Sci. (2019)
Keyphrases
- metric space
- similarity search
- distance function
- euclidean space
- banach space
- range queries
- similarity queries
- high dimensional
- probability measures
- similarity searching
- access structure
- skyline queries
- access methods
- data mining
- similarity search in metric spaces
- database
- multidimensional index
- triangle inequality
- vector space
- low dimensional
- distance measure
- three dimensional
- databases