UDAL 分布式数据库介绍(1)

UDAL是一个分布式数据库，是数据存储和数据访问所组成的。

数据存储以开源关系型的数据库MariaDB改造出来的，提供了可靠的数据存储能力。

数据访问以开源数据库中间件Cobar改造的，屏蔽数据库分库分表带来的访问难题。

这里所指的分布式数据库由统一数据访问层及数据高可用这两部分组成。

统一数据访问层(TeleUDAL)：借鉴多种分布式数据库访问模式，以MySQL开源协议，采用数据库代理方式，形成分布式数据库中间件解决方案，解决分布式系统数据库分库分表带来的数据透明访问难题。

数据高可用(TeleDB)：以开源MariaDB数据库，自主研发，为客户提供高性能、高可用的数据库集群系统。

集合论的出现，为近代数学的发展提供了有力的工具。就在数学家踌躇满志的时候，集合论中出现了悖论。康托尔自己就发现了康托尔悖论(包含一切集合的集合是否存在?)，更严重的是罗素悖论，其中涉及的是以自己为元素的集合。这被称为“第三次数学危机”。后来这种定义被公理排斥掉了，危机得以解决。

20世纪20年代，在集合论不断发展的基础上，大数学家希尔伯特向全世界的数学家抛出了个宏伟计划，其大意是建立一组公理体系，使一切数学命题原则上都可由此经有限步推定真伪，这叫做公理体系的“完备性”;希尔伯特还要求公理体系保持“独立性”(即所有公理都是互相独立的，使公理系统尽可能的简洁)和“无矛盾性”(即相容性，不能从公理系统导出矛盾)。