JML理论基础 基本概念 以下内容来自我~~瞎~~翻译的维基百科： JML是一种java的 规约语言 ，使用了Hoare风格的 前置，后置，和不变量 约束条件，用来遵守 契约式设计 的要求。 这里面指出了JML的几个特点： 是java使用的规约语言~~（递归查询Specification Langu ...
分类：
其他好文 时间：
2020-05-22 09:30:01
阅读次数：
61
[TOC] 简单接触 DNS服务器里存着一张表 表中放着域名和IP地址，域名和IP地址以映射关系保存，即一对一。 而浏览器访问某个域名，实际上是访问域名对应的ip地址 所以浏览器需要知道域名对应的ip地址 如何知道？ 向知道的人查询，也就是向dns服务器查询 第一阶段递归查询 递归：客户端只发一次请 ...
分类：
其他好文 时间：
2020-05-15 21:46:54
阅读次数：
84
递归查询 public function get_allagent($agentid=0,$ids=[]){ global $_W; $agent1 = pdo_fetchall("select id from " . tablename("ewei_shop_member") . " where ...
分类：
其他好文 时间：
2020-05-05 18:13:28
阅读次数：
82
1、用于文件共享的协议：NFS（Network File System）与CIFS（Common Internet File System）。前者出现的早，用在Linux系统上；后者主要用于Windows系统，使用它很简单，在要共享的文件夹上右键-》属性，勾选共享就可以了，目前CIFS有3个版本：S ...
分类：
其他好文 时间：
2020-05-04 00:59:59
阅读次数：
76
1. URL解析 URL（Uniform Resource Locator，统一资源定位符），它是 WWW 服务器用于指定网络资源位置的表示方法。 语法格式：protocol://hostname[:port]/path/[parameters][?query]#fragment protocol： ...
分类：
Web程序 时间：
2020-04-29 10:35:37
阅读次数：
116
SQL-CTE公用表达式 CTE(Common Table Expression) 公用表表达式，它是在单个语句的执行范围内定义的临时结果集，只在查询期间有效。它可以自引用，也可在同一查询中多次引用，实现了代码段的重复利用。 CTE使用范围 ⒈ 创建递归查询，这个应该是CTE最好用的地方 ⒉ 在同一 ...
分类：
数据库 时间：
2020-04-28 17:32:38
阅读次数：
88
SQL 格式 SELECT * FROM TABLE WHERE [...结果过滤语句] START WITH [...递归开始条件] CONNECT BY PRIOR [...递归执行条件] 查询所有下级 SELECT * FROM TABLE START WITH [ID in ('1','2' ...
分类：
数据库 时间：
2020-04-26 10:51:25
阅读次数：
87
递归查询部门 copy表 设置百分点 for循环执行SQL语句 oracle查询已锁住的表 其中KILL_SESSION为对应解锁的SQL，需要具有权限才能执行 ...
分类：
数据库 时间：
2020-04-07 17:05:10
阅读次数：
84
1、 简述DNS服务器原理，并搭建主-辅服务器。 （1）递归查询： 递归查询是最常见的查询方式，域名服务器将代替提出请求的客户机（下级DNS服务器）进行域名查询，若域名服务器不能直接回答，则域名服务器会在域各树中的各分支的上下进行递归查询，最终将返回查询结果给客户机，在域名服务器查询期间，客户机将完 ...
分类：
数据库 时间：
2020-03-27 16:47:30
阅读次数：
80
? 最近在工作当中，遇见了有ztree关系的查询： 比如：根据父级的部门ID查询所有的子级部门； 根据父级的区划代码查询所属下级的所有区划信息； 根据子级ID查询隶属行政区划信息； 根据组织机构ID查询所有子级组织机构； 数据准备 为了测试，我们首先来创建一张拥有上下级关系的表，这里选择创建一张区划 ...
分类：
数据库 时间：
2020-03-25 21:37:59
阅读次数：
320
