浅谈数学逻辑到计算机逻辑的转化(从数学模型到sql的实现Part1).docxVIP

浅谈数学逻辑到计算机逻辑的转化——从数学模型到SQL的实现摘要本文主要讲两个数学模型：集合运算数学模型与排序数学模型。数学模型逻辑的描述方法采用简单的集合论语言，计算机逻辑的描述方法采用SQL语言。其中，集合运算的数学模型主要用于求解“一个行业名称的集合，取自这个集合里面的每一个行业，都被来自某个部门的所有客服所维护”的查询问题。而排序数学模型则主要用于求解目标表中某个字段的排序问题，虽然这个问题也可以使用SQL内置的排序函数加以解决，但是你会发现，通过自定义的查询方法解决这个问题，远比直接利用函数来解决问题更加有趣。两个模型的计算机实现多次采用SQL的CTE（公用表表达式），子查询，辅助表等方法。关键词：集合的交，集合的特性函数，集合的基数，排序分解，CTE，子查询，辅助表行业问题的查询假设有三个表格：dbo.Customers,dbo.Trade,dbo.EmployeesCustomers表包含 ：UserID，UserName，CompanyName，Trade(行业)，ICRM_Admin(ICRM管理员) 共5个字段，其中UserID是表的主键。Trade表仅仅包含TradeName一个字段，该字段的属性值唯一Employees表包含 ： Name， ICRM_Admin， Department共3个字段，其中ICRM_Admin为表的主键。本问题的主要结论是以下计算机算法描述（SQL描述）：WITHEmpAS(SELECTICRM_AdminFROMdbo.EmployeesWHEREDepartment=VIP1),CharacteristicFunctionAS(SELECTTradeName,(CASE WHENTradeNameIN(SELECTTradefromdbo.CustomersAScWHEREc.ICRM_Admin=e.ICRM_Admin)THEN 1 ELSE 0 END)ASFunValueFROMdbo.TradeAStCROSS JOINEmpase)SELECTTradeNameFROMCharacteristicFunctionGROUP BYTradeNameHAVINGMIN(FunValue)=11.1,问题描述问题：求一个行业名称的集合，取自这个集合里面的每一个行业，都被来自某个部门的所有客服所维护。这里我们不妨假设问题中的某个部门是名为“VIP1”的部门，那么与上述问题等价的表述为：求VIP1部门里所有客服都有维护的那些行业。这个问题涉及到三方面的内容：1，行业的名称；2，来自部门“VIP1”的客服；3，“维护”这个动作（这个动作有“是”和“否”两种可能）。1.2数学模型表述直观性地，我们先把1.1问题描述中的“行业”与“来自VIP1的客服”看成是两个集合。为了简单起见，假设来自VIP1部门的客服只有3个人，代号分别为e1,e2和e3。设我们要求解的集合名称为S。那么取自所有行业集合里面的元素“行业1”是S中的一个元素，当且仅当行业1同时满足以下三个条件：行业1被e1所维护；行业1被e2所维护；行业1被e3所维护。或者，用集合论的语言描述：设S1={客服e1所维护的行业}, S2={客服e2所维护的行业}, S3={客服e3所维护的行业}.则行业1是S中的一个元素，当且仅当 行业1∈（S1∩S2∩S3）以上的讨论只提及到行业和来自VIP1的客服这两个集合，但是1.1问题描述中的第三个方面——“维护”这个动作，却没有任何的数学描述体现。为此，这里引入一个基于集合元素的多元函数，即，函数的定义域是来自多个集合里面的元素，且函数的值域是{0,1}。设行业集合里面元素的代号为i,VIP1部门客服的集合里面的元素代号为e,“维护”这个动作的代号为m（m=0或m=1，两种情况互斥）即 i∈{所有行业的集合}；e∈{VIP1部门的客服}；m∈{0,1}那么这个基于集合元素的多元函数可表示为：Serve(i ,e ,m), Serve有0和1两种取值。当行业i被客服e所维护时（此时m=1），Serve的取值为1，反之，Serve取值为0。更进一步，我们把集合S表述为：S={i|i∈{所有行业的集合}且?e∈{VIP1部门的客服}，Serve(i ,e ,m)=1}1.3SQL描述与执行解析为了能够将1.2中所描述的数学模型代码化，这里需要引入一个集合特性函数的概念，用于对应上面所提及的Serve函数。要定义一个集合特性函数，首先应该有一个全集U和一个子集S。集合特性函数F是关于S的一个函数，但是F是定义在U上的，换言之，F是定义在U上的描述S特性的函数。F=F(u),u∈U,若u是S中的元素，则F=1，否则，F=0.用这种方法，可以很简单地表示S中元素的个数（S的基数）即|S|=