论及,表和查封世界假定
- 二月 13, 2019
- 数学
- 没有评论
关系
属性和标题
在论及理论中,属性(attribute)由名称和品种构成,属性的聚合称为标题(heading)。下图中的标题有三性格格,分别是【学号/nvarchar(50)】和【姓名/nvarchar(50)】。
标题的性质数据称为标题的度(degree),下图中的标题度为 2。
# POST / GET 请求
元组和中央
用标题的每一种属性发生一个值,这么些值的聚合就是元组(tuple),那一个值称为元组的重量(component),上图中有七个元组。元组中分量的多少称为元组的度,图中五个元组的度都为
2,由此称为二元组。七个元组相等,当且仅当他俩的标题相等,且每一个属性的重量相等。
元组的集纳称为主体(body)。
/*!
关系
标题和重心整合涉嫌(relation)。在提到中,标题和重点的概念都遵守数学上的集合论举办定义,由此,标题中尚无重新的习性,且品质之间一向不种种;主体中绝非再一次的元组,且元组之间没有各类。下图和上图是同一个涉及,差异仅仅在于图的画法不一样。
首先要清楚,POST请求不能被缓存,唯有 GET
请求能被缓存。因为从数学的角度来讲,GET 的结果是 幂等 的,就象是字典里的
key 与 value 就是幂等的,而 POST 不 幂等
。缓存的思绪就是将查询的参数组成的值作为 key
,对应结果作为value。从那一个意义上说,一个文件的资源链接,也叫 GET
请求,下文也会这么对待。
表和关联
关系型数据库是依照关系理论的。不严加的讲,表约等于关系,列也就是属性,行一定于元组。可是,表中的列和行都以有各样的,并且同意再度的行存在。
80%的缓存须求:两行代码就可满意
关闭世界假定
设置缓存只需求五个步骤:
元组表示一个命题
涉及的标题是陈述事实的沙盘(谓词),下面的两幅图中,标题的含义可以表达成:
存在学生____,其学号为____
把元组代入模板后拿到的是对一件工作的陈述(命题)。图中五个元组代表的命题分别陈述了两件事:
存在学生张三,其学号为 S01
存在学生李四,其学号为 S02
关闭世界假定
命题有真伪之分,闭合世界假定是说,在一定时刻,凡是出现在事关主体中的命题都以真命题,凡是没有出现在论及主体中的命题都以假命题。闭合世界假定不是涉及理论,而是设计理论。在关掉世界假定下,图中的学校唯有五个学生,没有第五个。
第四个步骤:请使用 GET 请求。
第三个步骤:
要是您曾经使用 了 GET 请求,iOS 系统 SDK
已经帮你搞好了缓存。你需求的无非是设置下内存缓存大小、磁盘缓存大小、以及缓存路径。甚至那两行代码不设置也是足以的,会有一个默许值。代码如下:
要注意
iOS 5.0发端,协理磁盘缓存,但仅帮忙 HTTP
iOS 6.0开始,支持 HTTPS 缓存
*/
NSURLCache *urlCache = [[NSURLCache alloc]
initWithMemoryCapacity:4 * 1024 * 1024 diskCapacity:20 * 1024 * 1024
diskPath:nil];
[NSURLCache setSharedURLCache:urlCache];
#########
- /**
- * 取消所有的互联网请求
- * a finished (or canceled) operation is still given a chance to execute its completion block before it iremoved from the queue.
- */
- +(void)cancelAllRequest
- {
- [[BJAppClient sharedClient].operationQueue cancelAllOperations];
- }
- #pragma mark – 废除指定的url请求/
- /**
- * 撤销指定的url请求
- *
- * @param requestType 该请求的呼吁类型
- * @param string 该请求的完好url
- */
- +(void)cancelHttpRequestWithRequestType:(NSString *)requestType
- requestUrlString:(NSString *)string
- {
- NSError * error;
- /**依照请求的花色 以及 请求的url成立一个NSMutableUCRUISERLRequest—通过该url去匹配请求队列中是不是有该url,借使局地话 那么就收回该请求*/
- NSString * urlToPeCanced = [[[[BJAppClient sharedClient].requestSerializer
- requestWithMethod:requestType URLString:string parameters:nil error:&error] URL] path];
- for (NSOperation * operation in [BJAppClient sharedClient].operationQueue.operations) {
- //借使是伸手队列
- if ([operation isKindOfClass:[NSURLSessionTask class]]) {
- //请求的项目匹配
- BOOL hasMatchRequestType = [requestType isEqualToString:[[(NSURLSessionTask *)operation currentRequest] HTTPMethod]];
- //请求的url匹配
- BOOL hasMatchRequestUrlString = [urlToPeCanced isEqualToString:[[[(NSURLSessionTask *)operation currentRequest] URL] path]];
- //两项都卓绝的话 撤消该请求
- if (hasMatchRequestType&&hasMatchRequestUrlString) {
- [operation cancel];
- }
- }
- }
- }
连带链接:
https://github.com/boai/BANetManager
http://www.jianshu.com/p/6856bd9050fc
http://blog.csdn.net/heberan/article/details/51567165
NSURLCache
No Comments, Be The First!