从以"Hours:minutes:seconds.milliseconds“表示为双精度型的列值中获取毫秒数

，可以通过以下步骤实现：

1. 首先，将时间列值转换为字符串类型。
2. 使用字符串分割函数，将时间字符串按冒号（:）进行分割，得到小时、分钟、秒和毫秒的部分。
3. 将小时、分钟和秒的部分转换为整数类型，并将毫秒的部分转换为浮点数类型。
4. 将小时、分钟和秒的部分转换为毫秒，并将毫秒的部分加上。
5. 最后，将得到的毫秒数作为结果返回。

以下是一个示例代码（使用Python语言）：

def get_milliseconds(time_str):
    time_parts = time_str.split(':')
    hours = int(time_parts[0])
    minutes = int(time_parts[1])
    seconds = int(time_parts[2].split('.')[0])
    milliseconds = float(time_parts[2].split('.')[1])
    
    total_milliseconds = hours * 3600000 + minutes * 60000 + seconds * 1000 + milliseconds
    
    return total_milliseconds

这个函数接受一个以"Hours:minutes:seconds.milliseconds"格式表示的时间字符串作为输入，并返回对应的毫秒数。

例如，如果输入时间字符串为"01:23:45.678"，则函数将返回9875678毫秒。

在腾讯云的产品中，可以使用云数据库 TencentDB 来存储和处理时间数据。TencentDB 是一种高性能、可扩展的云数据库服务，支持多种数据库引擎，包括 MySQL、SQL Server、PostgreSQL 等。您可以使用腾讯云提供的云数据库服务来存储和查询时间数据，以满足您的业务需求。

更多关于腾讯云数据库的信息，请访问腾讯云官方网站：腾讯云数据库。