Representinguncertaindatamodels,properties,andalg.pptVIP

Representing uncertain data: models, properties, and algorithm Authors: Anish Das Sarma, Omar Benjelloun, Alon Halevy, Shubha Nabar, Jennifer Widom Presenter: SHU Baihan 准备知识 关系 笛卡尔积D1×D2×…×Dn的子集叫做在域D1 , D2 ,…, Dn上的关系，用R(D1 , D2 ,…, Dn )表示 元组：关系中的每个元素(d1 , d2 , … , dn)称作一个n-元组（n-tuple） 例：老师、学生、课程 老师 学生 课程 t1 s1 c1 t2 s1 c2 准备知识(cont.) 关系代数 选择(Selection): 在关系R中选择满足给定条件的元组（从行的角度) ?F(R)={t | t ? R , F(t) = ‘True’} 笛卡尔积(cross-product) 两个关系R，S，其度分别为n，m，则它们的笛卡尔积是所有这样的 元组集合：元组的前n个分量是R中的一个元组，后m个分量是S中的 一个元组 R?S={ rs | r?R ? s?S } 准备知识(cont.) 关系代数 自然连接(natural join): 投影(projection)： 从关系R中取若干列组成新的关系（从列的角度） ?A(R) = { t[A] | t?R } , A?R UNCERTAIN DATA BirdInfo (birdname, color, size) Sightings (observer, when, where, birdname) “Amy, who definitely saw a jay, and may or may not may not have seen another bird that was either a crow or raven” AN UNCERTAIN RELATION MODEL attribute-or and Maybe-tuple Completeness(a model can represent any set of possible instance) “Amy saw either a crow, a raven, or both” AN UNCERTAIN RELATION MODEL(cont.) Closure(a model can represent the result of an operation) “Bill has the following sighting of either a dove or a sparrow” BirdInfo relation natural join Adding Constraints to The Model Add exclusion over tuples(⊕，异或关系) 其他限制: 同或，t1≡t2：t1 t2同时出现或同时不出现 蕴含，t1-t2：若t1出现，则t2必然出现 与，t1∧t2 ；或，t1∨t2 非确定数据 非确定关系 表示非确定数据or关系的模型 非确定关系上的操作 模型的两种性质： 完备性(completeness) 封闭性(closure) Definitions Definitions(cont.) Space of models ● a set of tuples or A-tuples “An A-tuple is a tuple consisting of either a single value or an attribute-or for each of its attributes” ● constraints on the A-tuples ● x: uncertainty within a tuple y: uncertainty across a tuple 上标A表示使用A-tuple 下标prop表示：命题逻辑限制 不确定关系R的表示: (T,f) T = t1,t2,....tn, ti是一个A-tuple f是T上的一个bool公式，例 如t1∧t2 R所包含的确定关系 — I(R) 对T中的A-tuple赋值(True，False)，使得f(T) = True 设T’为T中值为True的A-tuple的集合 由T’可以推出一些确定关系，这些确定关系就是R所包含的