当前位置：首页 > news >正文

【架构】Armstrong公理系统通俗详解：数据库设计的基本法则

news 来源：原创 2025/7/5 15:30:11

关系数据库就像一本精心设计的通讯录，而Armstrong公理系统则是帮我们整理这本通讯录的基本规则。本文将用简单易懂的语言和生活实例，带你理解这套看似复杂的理论。

1. 什么是函数依赖？

想象你有一个学生信息表，包含学号、姓名、手机号、班级和年龄等信息。

1.1 函数依赖的通俗解释

函数依赖就是"这个能唯一决定那个"的关系。比如：

知道学号，就能唯一确定学生的姓名（因为不可能有两个不同姓名的学生使用同一个学号）
知道手机号，就能唯一确定是哪位学生（假设每个学生只有一个手机号）

用数据库术语表示：如果知道X的值就能唯一确定Y的值，那么我们说"Y函数依赖于X"，写作X→Y。

1.2 什么是函数依赖集合与闭包？

函数依赖集合：就是所有已知的"这个能唯一决定那个"关系的清单
闭包：包含原始清单中明确写出的关系，以及所有能推导出来的关系

就像从"我是你爸爸的儿子"和"你爸爸是你爷爷的儿子"，可以推导出"我是你爷爷的孙子"一样。

2. Armstrong公理：三条基本法则

Armstrong公理就像是数学中的公理，是我们用来推导其他函数依赖的基本法则。

2.1 三条基本法则解释

自反律(当然能决定自己)：
- 简单说：如果Y是X的一部分，那么知道X当然能知道Y
- 生活例子：如果你知道一个人的完整身份证号，你当然知道他的出生年月日（因为出生年月日是身份证号的一部分）
- 公式：如果Y⊆X，则X→Y
增广律(加了同样的东西，关系不变)：
- 简单说：如果X能唯一决定Y，那么X加上任何信息Z，也能唯一决定Y加上同样的信息Z
- 生活例子：如果知道学号能确定姓名，那么知道"学号+班级"也能确定"姓名+班级"
- 公式：如果X→Y，则XZ→YZ
传递律(我朋友的朋友是我朋友)：
- 简单说：如果X能唯一决定Y，Y能唯一决定Z，那么X也能唯一决定Z
- 生活例子：如果学号能唯一确定班级，班级能唯一确定班主任，那么学号也能唯一确定班主任
- 公式：如果X→Y且Y→Z，则X→Z

2.2 从基本法则推导出的常用规则

这些规则可以从上面三条基本法则推导出来，就像定理可以从公理推导出来：

合并规则(一次获取多个信息)：
- 简单说：如果X能分别确定Y和Z，那么X也能同时确定Y和Z
- 生活例子：如果知道身份证号能查到一个人的姓名，也能查到住址，那么知道身份证号就能同时查到姓名和住址
- 公式：如果X→Y且X→Z，则X→YZ
分解规则(拆分推导)：
- 简单说：如果X能确定Y和Z的组合，那么X也能单独确定Y，也能单独确定Z
- 生活例子：如果学号能唯一确定"姓名+班级"的组合，那么学号既能单独确定姓名，也能单独确定班级
- 公式：如果X→YZ，则X→Y且X→Z

3. 分解规则：为什么它很重要？

分解规则是数据库设计中非常实用的一条规则，它帮助我们将复杂的依赖关系拆分成简单的依赖关系。

3.1 简单解释

分解规则说的是：如果X能确定一组属性YZ，那么X也能单独确定Y，也能单独确定Z。

3.2 生活中的例子

假设我们有一个图书馆的借书系统：

借书证号能唯一确定"读者姓名+联系电话+借阅权限"

应用分解规则，我们知道：

借书证号能唯一确定读者姓名
借书证号能唯一确定联系电话
借书证号能唯一确定借阅权限

3.3 为什么这很有用？

在设计数据库表时，分解规则帮助我们：

识别出更细粒度的依赖关系
合理安排数据，避免存储冗余
预防数据更新时可能出现的异常

4. 在实际生活中的应用

Armstrong公理不仅仅是抽象的理论，它在我们的日常生活和工作中有着广泛的应用：

4.1 通讯录设计

想象你在设计一个智能通讯录：

手机号→姓名（知道手机号可以确定联系人姓名）
姓名↛手机号（知道姓名不能确定手机号，因为可能有重名）
{姓名,公司}→手机号（知道姓名和公司可以确定手机号）

使用Armstrong公理可以帮你设计出合理的数据结构，避免数据冗余和更新异常。

4.2 学生管理系统

在学校的学生管理系统中：

学号→{姓名,性别,班级,专业}
班级→{年级,专业,班主任}
专业→{学院,专业主任}

应用Armstrong公理能帮助我们确定最小的信息集合，避免重复存储数据。

5. 常见问题与答案

问题：给定关系模式R(U，F)，其中U为属性集，F是U上的一组函数依赖，那么函数依赖的公理系统(Armstrong公理系统)中的分解规则是指什么？

答案：分解规则是指：如果X→YZ，则X→Y且X→Z

通俗解释：这就像说，如果知道一个人的身份证号能同时确定他的姓名和电话，那么知道身份证号也能单独确定姓名，也能单独确定电话。

6. 总结：为什么要学Armstrong公理？

设计更好的数据库：Armstrong公理帮助我们设计出结构合理、避免冗余的数据库
理解数据之间的关系：它帮助我们理清数据之间的依赖关系
优化数据查询：基于函数依赖的知识可以让数据库查询更高效

Armstrong公理系统就像数据世界中的牛顿定律，掌握了它，你就能更好地理解和设计数据库，使数据存储和管理更加科学高效。

【架构】Armstrong公理系统通俗详解：数据库设计的基本法则

关系数据库就像一本精心设计的通讯录，而Armstrong公理系统则是帮我们整理这本通讯录的基本规则。本文将用简单易懂的语言和生活实例，带你理解这套看似复杂的理论。 1. 什么是函数依赖？ 想象你有一个学生信息表，包含学号、姓名、…...

编程日记 2025/7/5 15:30:11

Redis高频核心面试题

1.阐述Redis的主要的特性和优势 ？ 【Redis 的主要特性】 （1）Redis 是完全开源免费的，遵守 BSD 协议，是一个高性能的 key-value 数据库 （2）Redis 与其他 key - value 缓存产品有以下三个特点&a…...

编程日记 2025/7/5 14:58:29

Vue3-原始值的响应式方案ref

一、原始类型的值原始类型的指的是: boolean、number、string、symbol、undefind和null等类型的值. 一、初识ref 为什么vue3需要对原始值的响应式做单独处理?因为Javascript中的Proxy只能代理对象类型的数据, 如普通对象、数组、Set、Map等。为了解决Proxy不能代理原始类…...

编程日记 2025/7/5 13:32:25

VUE的创建

Vue Vue的创建脚手架创建Vue的解析setup函数:插值表达式数据响应式⽬录和⽂件解读指令 Vue的创建下载VScode https://code.visualstudio.com/download 加入拓展包点击然后输入代码 <!DOCTYPE html> <html lang"en"><head><meta charset&…...

编程日记 2025/7/5 8:58:28

第51讲：AI在农业政策支持系统中的应用——用人工智能点亮科学决策的新范式

目录 🧠 开篇引导：农业决策，如何更科学？ 🤖 什么是“AI驱动的农业政策支持系统”？ 🧪 案例解析：AI如何助力农业政策？ 🌾 案例一：政策补贴的智能匹配 🌍 案例二：土地利用规划支持 🛠 AI在农业政策建模中的常用技术 📈 可视化与接口建议 🌟 未来…...

编程日记 2025/7/5 14:28:54

开关电源LM5160-Q1 在 Fly-Buck 电路中的硬件设计与 PCB Layout 优化

一、LM5160-Q1 规格书深度解读与硬件设计参数提取核心功能宽输入范围：4.5V~65V，支持汽车级输入电压波动（AEC-Q100 标准，温度等级 1：-40C~125C）。集成度：内置高侧 / 低侧 MOSFET，无需外部肖特基二极管，同步降压 / Fly-Buck 双模式。控制架构：自适应恒定导通时间…...

编程日记 2025/7/5 12:41:34

面向 C# 初学者的完整教程

🧱 一、项目结构说明你的项目大致结构如下： TaskManager/ ├── backend/ │ ├── TaskManager.Core/ // 实体类和接口 │ ├── TaskManager.Infrastructure/ // 数据库、服务实现 │ └── TaskManager.API/ // We…...

编程日记 2025/7/5 14:44:56

Python实现孔填充与坐标转换

一、问题背景在工业自动化、材料加工等领域，常需要在图像识别的闭合区域内生成等间距的孔位坐标。本文基于OpenCV库，提出一种从图像边界提取到物理坐标生成的完整解决方案，实现以下核心功能： 像素坐标到实际尺寸的转换安全间距…...

编程日记 2025/7/5 14:17:30

精益数据分析（16/126）：掌握关键方法，探寻创业真谛

精益数据分析（16/126）：掌握关键方法，探寻创业真谛大家好！在创业与数据分析的学习道路上，每一次的探索都让我们离成功更近一步。今天，我带着和大家共同进步的初心，继续深入解读《精…...

编程日记 2025/7/5 14:16:06

Pytorch官网下载很慢选择以下方法，关于版本对应从pytorch官网查看官网方法 pip install torch2.2.0 torchvision0.17.0 torchaudio2.2.0 --index-url https://download.pytorch.org/whl/cu121 其他方法 pip install torch2.2.0cu121 torchvision0.17.0cu121 t…...

编程日记 2025/7/5 1:32:29

day001

文章目录 1. 常用Linux发行版本2. 常用的Linux系统及版本3. Linux系统运行在哪？4. 安装kylin虚拟机4.1 环境准备4.2 新建虚拟机4.3 配置虚拟机参数4.4 同意系统使用协议4.5 登录系统，查看ip4.6 保存系统快照 5. 远程连接5.1 连接类型对比5.2 使用Xshell连…...

编程日记 2025/7/5 14:21:19

k8s 证书相关问题

1.重新生成新证书 kubeadm init phase certs apiserver-etcd-client --config ~/kubeadm.yaml这个命令表示生成 kube-apiserver 连接 etcd 使用的证书，生成后如下 -rw------- 1 root root 1.7K Apr 23 16:35 apiserver-etcd-client.key -rw-r--r-- 1 root root 1.2K Apr 23 …...

编程日记 2025/7/5 11:38:23

Spring JDBC 的开发步骤（注解方式）

Spring JDBC 的开发步骤主要包括以下关键环节，结合代码示例说明如下： 1. 添加依赖在 pom.xml 中引入 Spring JDBC 和数据库驱动依赖（以 HikariCP 连接池和 MySQL 为例）：  <dependency…...

编程日记 2025/7/5 14:05:34

蓝桥杯 15.小数第n位

小数第n位原题目链接题目描述我们知道，整数做除法时，有时会得到有限小数，有时会得到无限循环小数。如果我们把有限小数的末尾加上无限多个 0，它们就具有了统一的形式。本题的任务是：在上述约定下&#xff0c…...

编程日记 2025/7/5 13:47:28

[计算机科学#1]:计算机的前世今生，从算盘到IBM的演变之路

【核知坊】：释放青春想象，码动全新视野。我们希望使用精简的信息传达知识的骨架，启发创造者开启创造之路！！！ 内容摘要：在我们的日常生活中，计算机无处不在——…...

编程日记 2025/7/5 12:30:35

【LangChain4j】AI 第一弹：LangChain4j 的理解

一、LangChain4j 的简介 1.1 LangChain4j的背景 LangChain4j（LangChain for java） 的目标是简化将大语言模型（LLM - Large Language Model）集成到 Java 应用程序中的过程。官网： https://docs.langchain4j.dev 202…...

编程日记 2025/7/4 21:22:31

深入解析C++ STL Stack：后进先出的数据结构

一、引言在计算机科学中，栈（Stack）作为一种遵循后进先出（LIFO）原则的数据结构，是算法设计和程序开发的基础构件。C STL中的stack容器适配器以简洁的接口封装了底层容器的操作，为开发者提供了…...

编程日记 2025/7/5 6:03:28

3.2 Agent核心能力：感知、规划、决策与执行

智能代理（Agent）是一种能够在复杂环境中自主运作的计算实体，其智能行为依赖于四大核心能力：感知（Perception）、规划（Planning）、决策（Decision-making）和执行…...

编程日记 2025/7/5 13:52:59

(即插即用模块-特征处理部分) 四十一、(2024) MSAA 多尺度注意力聚合模块

文章目录 1、Multi-Scale Attention Aggregation Module2、代码实现 paper：CM-UNet: Hybrid CNN-Mamba UNet for Remote Sensing Image Semantic Segmentation Code：https://github.com/XiaoBuL/CM-UNet 1、Multi-Scale Attention Aggregation Module 传…...

编程日记 2025/7/5 14:09:27

【速写】hook与fx

文章目录问题方法方法 1：使用 PyTorch 的 register_forward_hook方法 2：自定义前向传播（修改 forward 方法）方法 3：使用 output_attentions 或 output_hidden_states方法 4：使用 torch.fx 进行动态追踪总结…...

编程日记 2025/7/4 18:19:55

基于javaweb的SpringBoot扶农助农平台管理系统设计与实现(源码+文档+部署讲解）

技术范围：SpringBoot、Vue、SSM、HLMT、Jsp、PHP、Nodejs、Python、爬虫、数据可视化、小程序、安卓app、大数据、物联网、机器学习等设计与开发。主要内容：免费功能设计、开题报告、任务书、中期检查PPT、系统功能实现、代码编写、论文编写和辅导、论文…...

编程日记 2025/7/5 14:42:17

用户模块-SpringEvent观察者模式

1. 背景与需求在很多系统中，我们常常需要对用户的行为进行处理，比如发放奖励、处理通知等。在这个例子中，我们希望在两个场景下发放“改名卡”这个奖励： 用户注册时：当一个新用户注册成功时，我们希望立即发…...

编程日记 2025/7/5 14:49:33

三目云台转动性能稳定性

三目云台是一种具备三个摄像头或观测窗口的云台设备，其转动性能对于实现全方位、多角度的监控或观测至关重要。以下是对三目云台转动的详细分析： 一、转动原理云台本身是一种摄像机稳定器，通过内置的电机和控制系统实现转动。三目云台则在…...

编程日记 2025/7/5 14:21:20

Python基础语法3

目录 1、函数 1.1、语法格式 1.2、函数返回值 1.3、变量作用域 1.4、执行过程 1.5、链式调用 1.6、嵌套调用 1.7、函数递归 1.8、参数默认值 1.9、关键字参数 2、列表 2.1、创建列表 2.2、下标访问 2.3、切片操作 2.4、遍历列表元素 2.5、新增元素 2.6、查找元…...

编程日记 2025/7/5 4:03:59

45、子类需要重写父类的构造函数嘛，子类自己的构造函数呢？

45、子类需要重写父类的构造函数嘛，子类自己的构造函数呢？ 一、子类是否需要重写父类的构造函数？ 1. 不需要重写的场景基类有无参构造函数若父类（基类）显式或隐式定义了无参构造函数，子类无需重写构造函…...

编程日记 2025/7/5 13:39:43

C语言 ——— 分支循环语句

目录分支循环语句单分支多分支 switch 分支语句牛刀小试判断一个数是否是奇数输出 1-100之间的奇数计算 n 的阶乘计算 1! 2! 3! ... n! 在一个有序数组中查找具体的某一个数字打印 100-200 之间的素数求两个整数的最大公约数 getchar函数和 putc…...

编程日记 2025/7/5 14:10:05

解耦旧系统的利器：Java 中的适配器模式（Adapter Pattern）实战解析

在现代软件开发中，我们经常需要与旧系统、第三方库或不一致接口打交道。这时候，如果能优雅地整合这些不兼容组件，又不破坏原有结构，就需要一位“翻译官” —— 适配器模式。本文将通过 Java 实例，详细讲解适配器模式的…...

编程日记 2025/7/5 13:49:50

C++学习之游戏服务器开发十五QT登录器实现

目录 1.界面搭建 2.登录客户端步骤分析 3.拼接登录请求实现 4.发送http请求 5.服务器登录请求处理 6.客户端处理服务器回复数据 7.注册页面启动 8.qt启动游戏程序 1.界面搭建 2.登录客户端步骤分析 3.拼接登录请求实现 CGI 程序处理流程程序员自己写程序处理各种业务 …...

编程日记 2025/7/5 9:54:42

搭建Stable Diffusion图像生成系统实现通过网址访问（Ngrok+Flask实现项目系统公网测试，轻量易部署）

目录前言背景与需求 🎯 需求分析核心功能网络优化方案确认 1. 安装 Flask 和 Ngrok 2. 构建 Flask 应用 3. 使用 Ngrok 实现内网穿透 4. 测试图像生成接口技术栈实现流程优化目标实现细节 1. 迁移到Flask 2. 持久化提示词 3. 图像下载功能 …...

编程日记 2025/7/5 14:47:11

第五章：5.3 ESP32物联网应用：阿里云IoT平台与腾讯云IoT平台的数据上传与远程控制

一、阿里云IoT平台接入 1. 准备工作注册阿里云账号访问阿里云官网，注册并完成实名认证。创建产品和设备进入物联网平台控制台 → 公共实例 → 创建产品（例如产品名称“ESP32_Sensor”，节点…...

编程日记 2025/7/4 16:40:21

【AI News | 20250423】每日AI进展

AI Repos 1、suna Suna是一款完全开源的AI助手，旨在通过自然对话帮助用户轻松完成现实世界的任务。它作为您的数字伙伴，提供研究、数据分析和日常问题解决等功能，并结合强大的能力与直观的界面，理解您的需求并交付成果。Suna的工…...

编程日记 2025/7/5 3:05:05

3.1 Agent定义与分类：自主Agent、协作Agent与混合Agent的特点

随着人工智能技术的快速发展，智能代理（Agent）作为一种能够感知环境、自主决策并采取行动的计算实体，已成为人工智能领域的重要研究对象和应用工具。特别是在大模型（Large Models）的赋能下，Agent…...

编程日记 2025/7/5 14:23:34

stack和queue的学习

stack的介绍 stack的文档介绍 stack是一种容器适配器，专门用在具有后进先出操作的上下文环境中，其删除只能从容器的一端进行元素的插入与提取操作。stack是作为容器适配器被实现的，容器适配器即是对特定类封装作为其底层的容器，…...

编程日记 2025/6/29 9:53:11

leetcode-位运算

位运算 371. 两整数之和题目给你两个整数 a 和 b ，不使用运算符和 - ，计算并返回两整数之和。示例 1： 输入： a 1, b 2 输出： 3 示例 2： 输入： a 2, b 3 输出： 5 提示&am…...

编程日记 2025/7/4 10:01:43

《浔川AI翻译v6.1.0问题已修复公告》

《浔川AI翻译v6.1.0问题已修复公告》尊敬的浔川AI翻译用户： 感谢您对浔川AI翻译的支持与反馈！我们已针对 **v6.1.0** 版本中用户反馈的多个问题进行了全面修复，并优化了系统稳定性。以下是本次修复的主要内容： 已修复问题 ✅…...

编程日记 2025/7/5 13:58:02

Unity 创建、读取、改写Excel表格数据

1.导入EPPlus.dll、Excel.dll、Mysql.Data.dll、System.Data.dll；（我这里用的是：Unity2017.3.0） 2.代码如下： using System.Data; using System.IO; using UnityEngine; using OfficeOpenXml; using UnityEditor; us…...

编程日记 2025/7/5 14:16:55

【阿里云大模型高级工程师ACP习题集】2.3 优化提示词改善答疑机器人回答质量

练习题：【单选题】在使用大模型进行意图识别时，通过设计特定提示词引导模型生成符合预期回答的方法，其本质是（）。 A. 修改模型本身参数 B. 依靠构造输入激发模型内部已有知识 C. 对模型进行微调 D. 改变模型的训练数据【多选题】以下哪些属于提示词框架中的要素（）。…...

编程日记 2025/7/3 14:41:10

富文本编辑器实现

🎨 富文本编辑器实现原理全解析 📝 基本实现路径图 #mermaid-svg-MO1B8a6kAOmD8B6Y {font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;fill:#333;}#mermaid-svg-MO1B8a6kAOmD8B6Y .error-icon{fill:#552222;}#mermaid-s…...

编程日记 2025/7/4 14:55:13

海量粒子特效解决方案：VEG

Unity 官方除了一个 GPU 粒子特效的解决方案：Visual Effect Graph，即 VEG，能支持百万级粒子特效的播放。在性能要求高的使用场景中，这个解决方案就能完美解决原本 Particle System 性能低下的问题。关于 VEG 的基本使用方法参考官…...

编程日记 2025/6/29 12:28:23

Java高频面试之并发编程-06

hello啊，各位观众姥爷们！！！本baby今天来报道了！哈哈哈哈哈嗝🐶 面试官：线程上下文切换是什么？ 线程上下文切换（Thread Context Switching）是操作系统中 CPU…...

编程日记 2025/7/3 0:40:12

Windows 同步技术-一次性初始化

组件通常设计为在首次调用时执行初始化任务，而不是加载它们时。一次性初始化函数可确保此初始化仅发生一次，即使多个线程可能尝试初始化也是如此。 Windows Server 2003 和 Windows XP： 应用程序必须使用互锁函数或其他同步机制提供自己的…...

编程日记 2025/6/29 11:25:18

Transformer起源-Attention Is All You Need

这篇笔记主要讲解Attention Is All You Need论文。《Attention Is All You Need》由 Ashish Vaswani 等人撰写，于 2017 年发表在 NIPS（Neural Information Processing Systems）会议上。它提出了一种全新的神经网络架构——Transformer&#x…...

编程日记 2025/7/1 18:14:51

被裁20240927 --- 视觉目标跟踪算法

永远都像初次见你那样使我心荡漾参考文献目前主流的视觉目标跟踪算法一、传统跟踪算法1. 卡尔曼滤波（Kalman Filter）2. 相关滤波（Correlation Filter，如KCF、MOSSE）3. 均值漂移（MeanShift/CamShift&#x…...

编程日记 2025/6/29 11:13:51

每日学习Java之一万个为什么(JUC)

文章目录 Git复习synchronized介绍基本概念特点使用模板1. 同步方法格式特点 2. 同步代码块格式特点常见面试题1. synchronized的实现原理？2. synchronized与ReentrantLock的区别？3. synchronized的缺点？4. 死锁的四个必要条件？…...

编程日记 2025/7/4 14:32:55

代码分享：python实现svg图片转换为png和gif

import cairosvg import imageio from PIL import Image import io import osdef svg_to_png(svg_path, png_path):try:cairosvg.svg2png(urlsvg_path, write_topng_path)print(f"成功将 {svg_path} 转换为 {png_path}")except Exception as e:print(f"转换为 P…...

编程日记 2025/6/29 10:49:47

前端热门面试题day1

内容回答较粗糙，如有疑问请自行搜索资料什么是vue中的slot？它有什么作用 Vue中的Slot（插槽）就像给组件预先留的“内容停车位”，让父组件能把自定义内容“塞”到子组件的指定位置。它的主要作用是： 灵活定…...

编程日记 2025/7/2 1:28:12

DCAN，ECAN和MCAN的区别

DCAN、ECAN和MCAN的主要区别在于它们各自的管理范围和功能。‌ ‌DCAN（动力CAN系统）‌：DCAN主要负责协调电机控制单元（MCU）、电池管理系统（BMS）、直流电压变换器（DC/DC）和…...

编程日记 2025/6/29 9:41:19

基于Python爬虫的豆瓣电影信息爬取（可以根据选择电影编号得到需要的电影信息）

# 豆瓣电影信息爬虫（展示效果如下图所示：）这是一个功能强大的豆瓣电影信息爬虫程序，可以获取豆瓣电影 Top 250 的详细信息。 ## 功能特点 - 自动爬取豆瓣电影 Top 250 的所有电影信息 - 支持分页获取，每页 25 部电影，共 10 页 - 获取每部电影的详细信息，包括： - 标题…...

编程日记 2025/6/29 10:52:45

Linux系统学习----概述与目录结构

linux 是一个开源、免费的操作系统，其稳定性、安全性、处理多并发已经得到业界的认可，目前很多企业级的项目 (c/c/php/python/java/go)都会部署到 Linux/unix 系统上。一、虚拟机系统操作 1.网络连接的三种方式（桥接模式、nat模式、主机模…...

编程日记 2025/7/3 1:33:55

软考资料分享

分享一些软考资料 16系统分析师-基础知识精讲夸克网盘分享1701系统分析师夸克网盘分享1804系统架构设计师夸克网盘分享19软考系统架构设计师2024年11月夸克网盘分享2006信息系统项目管理师夸克网盘分享21软考高级信息系统项目夸克网盘分享22系统分析师视频教程真题资料夸克网盘…...

编程日记 2025/7/5 5:33:42