ppt - Berkeley Database Research

advertisement
Probabilistic/Uncertain Data
Management -- IV
1.
2.
Dalvi, Suciu. “Efficient query evaluation on
probabilistic databases”, VLDB’2004.
Sen, Deshpande. “Representing and Querying
Correlated Tuples in Probabilistic DBs”,
ICDE’2007.
1
A Restricted Formalism:
Explicit Independent Tuples
Tuple independent probabilistic database
INST = P(TUP)
N = 2M
TUP = {t1, t2, …, tM} = all tuples
pr : TUP ! [0,1]
No restrictions
Pr(I) = t 2 I pr(t) £ t  I (1-pr(t))
2
Tuple Prob. ) Possible Worlds
J=
Ip
;
I1
=
Name
City
pr
John
Seattle
p1 = 0.8
Sue
Boston
p2 = 0.6
Fred
Boston
p3 = 0.9
E[ size(Ip) ] =
2.3 tuples
Name
City
Name
City
Name
City
Name
City
Name
City
Name
City
Name
City
John
Seattl
Sue
Bosto
Fred
Bosto
John
Seattl
John
Seattl
Sue
Bosto
John
Seattl
Sue
Bosto
Fred
Bosto
Fred
Bosto
Sue
Bosto
Fred
Bosto
I2
I3
I4
I5
(1-p1)
(1-p2)
(1-p3) p1(1-p2)(1-p3) (1-p1)p2(1-p3) (1-p1)(1-p2)p3 p1p2(1-p3)
=1
I6
I7
I8
p1(1-p2)p3
(1-p1)p2p3
p1p2p3
3
Tuple-Independent DBs are Incomplete
Name Address
John
Seattle
Name Address
John
Seattle
Sue
Seattle
;
p1
p1p2
1-p1 - p1p2
=Ip
Name Address
pr
John
Seattle
p1
Sue
Seattle
p2
Very limited – cannot capture
correlations across tuples
Not Closed
• Query operators can introduce
complex correlations!
4
Query Evaluation on Probabilistic
DBs
• Focus on possible tuple semantics
– Compute likelihood of individual answer tuples
• Probability of Boolean expressions
– Key operation for Intensional Query Evaluation
• Complexity of query evaluation
5
[Valiant:1979]
Complexity of Boolean
Expression Probability
Theorem [Valiant:1979]
For a boolean expression E, computing Pr(E) is #P-complete
NP = class of problems of the form “is there a witness ?” SAT
#P = class of problems of the form “how many witnesses ?” #SAT
The decision problem for 2CNF is in PTIME
The counting problem for 2CNF is #P-complete
6
Query Complexity
Data complexity of a query Q:
• Compute Q(Ip), for probabilistic database Ip
Simplest scenario only:
• Possible tuples semantics for Q
• Independent tuples for Ip
7
[Fuhr&Roellke:1997,Dalvi&Suciu:2004]
Extensional Query Evaluation
Relational ops compute probabilities
v p
v1 v2 p1 p2
v p1(1-p2)
P
s
v p
v 1-(1-p1)(1-p2)…
-
£
v1 p1
v2 p2
v
v
p1
p2
v
p1
v p2
8
Unlike intensional evaluation, data complexity: PTIME
[Dalvi&Suciu:2004]
SELECT DISTINCT x.City
FROM Personp x, Purchasep y
WHERE x.Name = y.Cust
and y.Product = ‘Gadget’
Wrong !
Sea
1-(1-p1q1)(1- p1q2)(1- p1q3)
P
£
Jon Sea p1
Jon Sea p1(1-(1-q1)(1-q2)(1-q3))
£
Correct
Jon Sea p1q1
Jon Sea p1q2
Jon Sea p1q3
Jon q1
Jon q2
Jon q3
Jon 1-(1-q1)(1-q2)(1-q3)
P
Jon Sea
p1
Depends on plan !!!
Jon
Jon
Jon
q1
q2
q3
9
[Dalvi&Suciu:2004]
Query Complexity
Sometimes @ correct (“safe”) extensional plan
Qbad :- R(x), S(x,y), T(y)
Data complexity
is #P complete
Theorem The following are equivalent
• Q has PTIME data complexity
• Q admits an extensional plan (and one finds it in PTIME)
• Q does not have Qbad as a subquery
10
Computing a Safe SPJ Extensional Plan
Problem is due to projection operations
• An “unsafe” extensional projection combines
tuples that are correlated assuming independence
Projection over a join that projects away at least
one of the join attrs  Unsafe projection!
• Intuitive: Joins create correlated output tuples
11
Computing a Safe SPJ Extensional Plan
Algorithm for Safe Extensional SPJ Evaluation
• Apply safe projections as late as possible in the
plan
• If no more safe projections exist, look for joins
where all attributes are included in the output
– Recurse on the LHS, RHS of the join
Sound and complete safe SPJ evaluation algorithm
• If a safe plan exists, the algo finds it!
12
Summary on Query Complexity
Extensional query evaluation:
• Very popular
• Guarantees polynomial complexity
• However, result depends on query plan and
correctness not always possible!
General query complexity
• #P complete (not surprising, given #SAT)
• Already #P hard for very simple query (Qbad)
13
Probabilistic databases have high query complexity
Efficient Approximate Evaluation:
Monte-Carlo Simulation
Run evaluation with no projection/dup elimination
till the very final step
• Intermediate tuples carry all attributes
• Each result tuple = group t1,…,tn of tuples with the
same projection attribute values
– Prob(group) = Prob( C1 OR C2 OR… Cn) , where each
Ci= e1 AND e2 … AND ek
– Evaluate the probability of a large DNF expression
– Can be efficiently approximated through MC
14
simulation (a.k.a. sampling)
[Karp,Luby&Madras:1989]
Naïve:
Monte Carlo Simulation
E
= X1X2 Ç X1X3 Ç X2X3
Cnt à 0
repeat N times
randomly choose X1, X2, X3 2 {0,1}
if E(X1, X2, X3) = 1
then Cnt = Cnt+1
P = Cnt/N
May be very big
return P /* ' Pr(E) */
Theorem. If N ¸ (1/ Pr(E)) £ (4ln(2/d)/e2) then:
Pr[ | P/Pr(E) - 1 | > e ] < d
X1X2
X1X3
X2X3
0/1-estimator
theorem
Works for any E
Not in PTIME
15
[Karp,Luby&Madras:1989]
Improved:
E
Monte Carlo Simulation
= C1 Ç C2 Ç . . . Ç Cm
Cnt à 0; S à Pr(C1) + … + Pr(Cm);
repeat N times
randomly choose i 2 {1,2,…, m}, with prob. Pr(Ci) / S
randomly choose X1, …, Xn 2 {0,1} s.t. Ci = 1
if C1=0 and C2=0 and … and Ci-1 = 0
then Cnt = Cnt+1
P = Cnt/N * 1/
Now it’s better
return P /* ' Pr(E) */
Theorem. If N ¸ (1/ m) £ (4ln(2/d)/e2) then:
Pr[ | P/Pr(E) - 1 | > e ] < d
Only for E in DNF
In PTIME 16
Summary on Monte Carlo
Some form of simulation is needed in probabilistic
databases, to cope with the #P-hardness
bottleneck
– Naïve MC: works well when Prob is big
– Improved MC: needed when Prob is small
Recent work [Re,Dalvi,Suciu, ICDE’07] describes
optimized MC for top-k tuple evaluation
17
Handling Tuple Correlations
Tuple correlations/dependencies arise naturally
– Sensor networks: Temporal/spatial correlations
– During query evaluation (even starting with
independent tuples)
Need representation formalism that can capture
and evaluate queries over such correlated tuples
18
Capturing Tuple Correlations: Basic Ideas
Use key ideas of Probabilistic Graphical Models
(PGMs)
– Bayes and Markov networks are special cases
Tuple-based random variables
– Each tuple t corresponds to a Boolean RV Xt
Factors capturing correlations across subsets of RVs
– f(X) is a function of a (small) subset X of the Xt RVs
[Sen, Deshpande:2007]
19
Capturing Tuple Correlations: Basic Ideas
Associate each probabilistic tuple with a binomial RV
Define PGM factors capturing correlations across
subsets of tuple RVs
Probability of a possible world = product of all PGM
factors
– PGM = factored, economical representation of possible
worlds distribution
– Closed & complete representation formalism
20
Example: Mutual Exclusion
Want to capture mutual exclusion (XOR) between
tuples s1 and t1
21
Example: Positive Correlation
Want to capture positive correlation between tuples
s1 and t1
22
PGM Representation
Definition: A PGM is a graph whose nodes represent
RVs and edges represent correlations
Factors correspond to the cliques of the PGM graph
– Graph structure encodes conditional independencies
– Joint pdf = P clique factors
23
– Economical representation (O(2^k), k=|max clique|)
Query Evaluation: Basic Ideas
Carefully represent correlations between base, intermediate,
and result tuples to generate a PGM for the query result
distribution
– Each relational op generates Boolean factors capturing the
dependencies of its input/output tuples
Final model = product of all generated factors
Cast probabilistic computations in query evaluation as a
probabilistic inference problem over the resulting
(factored) PGM
– Can import ML techniques and optimizations
24
Query Evaluation: Example
25
Probabilistic DBs: Summary
• Principled framework for managing uncertainties
– Uncertainty management: ML, AI, Stats
– Benefits of DB world: declarative QL, optimization,
scale to large data, physical access structs, …
• Prob DBs = “Marriage” of DBs and ML/AI/Stats
– ML folks have also been moving our way: Relational
extensions to ML models (PRMs, FO models,
inductive logic programming, …)
26
Probabilistic DBs: Future
• Importing more sophisticated ML techniques and
tools inside the DBMS
– Inference as queries, FO models and optimizations,
access structs for relational queries + inference, …
• More on the algorithmic front: Probabilstic DBs
and possible worlds semantics brings new
challenges
– E.g., approximate query processing, probabilistic data
streams (e.g., sketching), …
27
Download