Independence in Database Relations


We investigate the implication problem for independence atoms X⊥Y of disjoint attribute sets X and Y on database schemata. A relation satisfies X⊥Y if for every X-value and every Y -value that occurs in the relation there is some tuple in the relation in which the X-value occurs together with the Y -value. We establish an axiomatization by a finite set of… (More)
DOI: 10.1007/978-3-642-39992-3_17


1 Figure or Table

Slides referencing similar topics