外包数据库查询完全性检验

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:zjj1993930
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在外包数据库中,查询完整性意味着从服务器返回给客户的结果集是正确的和完全的,即所有的记录都是来自数据拥有者且没有经过任何修改的,同时所有满足查询的记录都返回到客户端而没有遗漏.提出了一个称为"重复表"的新方法来检验查询完全性.在服务器端,每个表都有一个重复表,该表用不同的加密方法或加密密钥加密.从而,服务器不能从数据本身区分原始表和重复表.在查询时,客户分别查询原始表和重复表,得到两个结果集,然后判断是否所有满足查询的记录都出现在结果集中.实验结果表明该方法是有效的.
其他文献
在右删失情形下,基于一类合成数据,采用加权Bootstrap方法获得了平均生存时间的加权Bootstrap估计及其加权Bootstrap分布,并就权重是否独立两种情形,证明了此估计的相合性及
研究量子仿射代数Uq(sι2)的若干与三对角线性变换密切相关的元素的基本性质,证明了这些元素在Uq(sι2)中的不可逆性以及这些元素在Uq(sι2)的基本赋值模上的作用构成了Leona
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
本文研究了单位圆内解析的p叶函数类S*n+p-1(η;A,B).利用邻域概念,得到了函数f(z)的邻域与函数类S*n+p-1(η;A,B)的一些包含关系以及函数,f(z)的部分和性质.
通过研究Feigenbaum映射分形极限集的存在条件,证明了对任何t∈(0,1),存在一个p阶Feigenbaum映射,使得其拟极限集的Hausdorff维数是t,并在广泛意义下推广了已有的相应结果.
由于运载火箭飞行过程的复杂性,特别是多级发动机点火与关机的影响,采用曲线拟合微分平滑方法计算弹道参数不可避免地会有截断误差,对于位置和速度变化剧烈的弹道段,更是存在
家禽孵化是一个复杂的生物学过程.实现其自动控制水平有着重大意义.针对孵化系统是一个多变量、强耦合、大滞后的复杂动态系统,提出一种模糊免疫PID控制方法,该方法根据模糊
利用权函数的方法,建立一个基本的-1齐次且具有最佳常数因子的Hilbert型积分不等式,考虑了其等价式及引入多参数的最佳推广式.
利用藕合的方法研究以x={0,1,2}2为相空问其中z为整数集的两个粒子接触一排它过程的单调性.
粒子-边界作用模型是粒子模拟中非常重要的一类边界条件,主要包括镜面反射、回弹反射和热边界等.本文详细介绍了这几类边界条件,重点分析讨论了几种模型中涉及的Maxwell分布