A Dichotomy. in in Probabilistic Databases. Joint work with Robert Fink. for Non-Repeating Queries with Negation Queries with Negation
|
|
- Virginia Rice
- 6 years ago
- Views:
Transcription
1 Dichotomy for Non-Repeating Queries with Negation Queries with Negation in in Probabilistic Databases Robert Dan Olteanu Fink and Dan Olteanu Joint work with Robert Fink Uncertainty in Computation Simons Institute for the Theory of Computing PODS, erkeley June 24, Oct , / 20 28
2 Outline Probabilistic Databases 101 The Dichotomy The Interesting but Hard Queries The Easy Queries Leftovers 2 / 28
3 Tuple-Independent Probabilistic Databases Tuple-independent database of n tuples (t i ) i [n] : Each tuple t i associated with an independent oolean random variable x i. P(x i = true) gives the probability that t i exists in the database. Possible-worlds semantics: Each possible world defined by an assignment θ of the variables (x i ) i [n] : It consists of all tuples t i for which θ(x i ) = true. It has probability P(θ) = Π i [n] P(x i = θ(x i )). tuple-independent database with n tuples has 2 n possible worlds. 3 / 28
4 Relational lgebra Popular database query language since Codd times. lgebra carrier: set of all finite relations lgebra operations: π (projection), (Cartesian product), (set difference), (join), σ (selection), (set union), δ (renaming) s expressive as domain relational calculus (RC) In this talk: Relational algebra fragment 1R Included: Equality joins, selections, projections, difference Excluded: Repeating relation symbols, unions 4 / 28
5 Relational lgebra Popular database query language since Codd times. lgebra carrier: set of all finite relations lgebra operations: π (projection), (Cartesian product), (set difference), (join), σ (selection), (set union), δ (renaming) s expressive as domain relational calculus (RC) In this talk: Relational algebra fragment 1R Included: Equality joins, selections, projections, difference Excluded: Repeating relation symbols, unions Examples of (oolean) 1R queries: re there combinations of tuples in (R, T ) that are not in (U, V )? [( ) ( )] π R() T () U() V () [( ) ( )] R() T () U() V () (in RC) Does relation S hold hands with both R and T? π [ R() S(, ) T () ] [ R() S(, ) T () ] (in RC) 4 / 28
6 The Query Evaluation Problem For any oolean 1R query Q and tuple-independent database D: Compute the probability that Q is true in a random world of D. The case of non-oolean queries can be reduced to the oolean case. We are interested in the data complexity of this problem. Fix the query Q and take the database D as input. 5 / 28
7 Outline Probabilistic Databases 101 The Dichotomy The Interesting but Hard Queries The Easy Queries Leftovers 6 / 28
8 Data complexity of any 1R query Q in tuple-independent databases: Polynomial time if Q is hierarchical and #P-hard otherwise. 7 / 28
9 Hierarchical 1R Queries (oolean) 1R query Q is hierarchical if For every pair of distinct query variables and in Q, there is no triple of relation symbols R, S, and T in Q such that: R has but not, S has both and, and T has but not. 8 / 28
10 Hierarchical 1R Queries (oolean) 1R query Q is hierarchical if For every pair of distinct query variables and in Q, there is no triple of relation symbols R, S, and T in Q such that: R has but not, S has both and, and T has but not. R() S(, ) T () 8 / 28
11 Hierarchical 1R Queries (oolean) 1R query Q is hierarchical if For every pair of distinct query variables and in Q, there is no triple of relation symbols R, S, and T in Q such that: R has but not, S has both and, and T has but not. 9 / 28
12 Hierarchical 1R Queries (oolean) 1R query Q is hierarchical if For every pair of distinct query variables and in Q, there is no triple of relation symbols R, S, and T in Q such that: R has but not, S has both and, and T has but not. 9 / 28
13 Examples Hierarchical queries: π [( R() S(, ) ) T (, ) ] π [( R() T () ) ( U() V () )] π [ (M() N() ) [( R() T () ) ( U() V () )] ] π [ π [ M() N() ] π [( R() T () ) ( U() V () )] ] 10 / 28
14 Examples Hierarchical queries: π [( R() S(, ) ) T (, ) ] π [( R() T () ) ( U() V () )] π [ (M() N() ) [( R() T () ) ( U() V () )] ] π [ π [ M() N() ] π [( R() T () ) ( U() V () )] ] Non-hierarchical queries: [ ] π R() S(, ) T () [ ( ) ] π π R() S(, ) T () [ ( ) ] π T () π R() S(, ) [ π X () [ ( )] ] R() π T () S(, ) 10 / 28
15 Outline Probabilistic Databases 101 The Dichotomy The Interesting but Hard Queries The Easy Queries Leftovers 11 / 28
16 Hardness Proof Idea Reduction from #P-hard model counting problem for positive bipartite DNF: Given a non-hierarchical 1R query Q and ny positive bipartite DNF formula Ψ over disjoint sets X and Y of random variables. #Ψ can be computed using linearly many calls to an oracle for P(Q), where Q is evaluated on tuple-independent databases of sizes linear in the size of Ψ. 12 / 28
17 Simple Case Input formula and query: Ψ = x 1 y 1 x 1 y 2 x 2 y 1 over sets X = {x 1, x 2}, Y = {y 1, y 2} ] Q = π [R() S(, ) T () Construct a database D such that Ψ becomes the grounding of Q wrt D: Column holds formulas over random variables. We use for true and for false. Variables also used as constants for and. S(x i, y j, ): x i y j is a clause in Ψ. R(x i, x i ) and T (y j, y j ): x i is a variable in X and y j is a variable in Y. R x 1 x 1 x 2 x 2 T y 1 y 1 y 2 y 2 S x 1 y 1 x 1 y 2 x 2 y 1 R S T x 1 y 1 x 1 y 1 x 1 y 2 x 1 y 2 x 2 y 1 x 2 y 1 π [ R S T ] () Ψ 13 / 28
18 Simple Case Input formula and query: Ψ = x 1 y 1 x 1 y 2 x 2 y 1 over sets X = {x 1, x 2}, Y = {y 1, y 2} ] Q = π [R() S(, ) T () Construct a database D such that Ψ becomes the grounding of Q wrt D: Column holds formulas over random variables. We use for true and for false. Variables also used as constants for and. S(x i, y j, ): x i y j is a clause in Ψ. R(x i, x i ) and T (y j, y j ): x i is a variable in X and y j is a variable in Y. R x 1 x 1 x 2 x 2 T y 1 y 1 y 2 y 2 S x 1 y 1 x 1 y 2 x 2 y 1 R S T x 1 y 1 x 1 y 1 x 1 y 2 x 1 y 2 x 2 y 1 x 2 y 1 π [ R S T ] () Ψ This is the only minimal hard pattern for positive 1R queries! 13 / 28
19 Surprising Case Input formula and query: Ψ = x 1 y 1 x 1 y 2 over sets X = {x 1}, Y = {y 1, y 2} [ ( ) ] Q = π R() π T () S(, ) Construct a database D such that Ψ becomes the grounding of Q wrt D: S(a, b, ): Clause a has variable b in Ψ. R(a, ) and T (b, b): a is a clause and b is a variable in Ψ. R T S T S π (T S) R π (T S) 1 2 x 1 x 1 y 1 y 1 y 2 y 2 1 x 1 1 y 1 2 x 1 2 y 2 1 x 1 x 1 1 y 1 y 1 2 x 1 x 1 2 y 2 y 2 1 x 1 y 1 2 x 1 y 2 1 x 1 y 1 2 x 1 y 2 14 / 28
20 Surprising Case Input formula and query: Ψ = x 1 y 1 x 1 y 2 over sets X = {x 1}, Y = {y 1, y 2} [ ( ) ] Q = π R() π T () S(, ) Construct a database D such that Ψ becomes the grounding of Q wrt D: S(a, b, ): Clause a has variable b in Ψ. R(a, ) and T (b, b): a is a clause and b is a variable in Ψ. R T S T S π (T S) R π (T S) 1 2 x 1 x 1 y 1 y 1 y 2 y 2 1 x 1 1 y 1 2 x 1 2 y 2 1 x 1 x 1 1 y 1 y 1 2 x 1 x 1 2 y 2 y 2 1 x 1 y 1 2 x 1 y 2 1 x 1 y 1 2 x 1 y 2 This query is already hard when T is the only probabilistic input relation! 14 / 28
21 More Involved Case Input formula and query: Ψ = x 1 y 1 x 1 y 2 x 2 y 1 over sets X = {x 1, x 2}, Y = {y 1, y 2} ] Q = π [S(, ) R() T () We need a different reduction gadget: Use additional random variables Z = {z 1,..., z E }, one per clause in Ψ = ψ 1 ψ E. Construct a database D such that the grounding of Q wrt D is Υ = [ E i=1 z ] E i ψ i = i=1 (z i ψ i ). R x 1 x 1 x 2 x 2 T y 1 x 1 y 2 y 2 S x 1 y 1 z 1 x 1 y 2 z 2 x 2 y 1 z 3 S R T x 1 y 1 z 1 (x 1 y 1 ) x 1 y 2 z 2 (x 1 y 2 ) x 2 y 1 z 3 (x 2 y 1 ) π [ S R T ] () E i=1 z i ψ i Compute #Ψ using linearly many calls to the oracle for P Q = 1 P(Υ). 15 / 28
22 The Small Print (1/2) Ψ = (i,j) E x iy j = ψ 1 ψ E over disjoint variable sets X and Y Let Θ be the set of assignments of variables X Y that satisfy Ψ: #Ψ = 1. θ Θ:θ =Ψ Partition Θ into disjoint sets Θ 0 Θ E, such that θ Θ i if and only if θ satisfies exactly i clauses of Ψ: #Ψ = θ Θ 1 :θ =Ψ θ Θ E :θ =Ψ 1 = Θ Θ E. Θ 1,..., Θ E can be computed using an oracle for P Υ : E E Υ = z i ψ i or, equivalently Υ = (z i ψ i ) i=1 i=1 16 / 28
23 The Small Print (2/2) Express the probability of Υ = E i=1 (z i ψ i ) as a function of Θ 1,..., Θ E : Fix the probabilities of variables in X Y to 1/2 and of variables in Z to p z. Then: ( ) ( ) E exactly k clauses exactly k clauses P Υ = P Υ P k=0 of Ψ are satisfied of Ψ are satisfied }{{} p E k z = 1 X + Y E p E k z Θ k 2 k=0 } {{ } 1 X + Y Θ k 2 This is a polynomial in p z of degree E, with coefficients Θ 0,..., Θ E. The coefficients can be derived from E + 1 pairs (p z, P Υ ) using Lagrange s polynomial interpolation formula. E + 1 oracle calls to P Υ suffice to determine #Ψ = E i=0 Θ i. 17 / 28
24 Hard Query Patterns There are 48 (!) minimal non-hierarchical query patterns. inary trees with leaves,, and and inner nodes or. Some are symmetric and need not be considered separately: and can be exchanged, joins are commutative and associative. Still, many cases left to consider due to the difference operator. P 1.1 P 1.2 P 1.3 P 1.4 P 5.1 P 5.2 P 5.3 P There is a database construction scheme for each pattern. Each non-hierarchical query Q matches a pattern P x.y. 18 / 28
25 Hard Query Patterns There are 48 (!) minimal non-hierarchical query patterns. inary trees with leaves,, and and inner nodes or. Some are symmetric and need not be considered separately: and can be exchanged, joins are commutative and associative. Still, many cases left to consider due to the difference operator. P 1.1 P 1.2 P 1.3 P 1.4 P 5.1 P 5.2 P 5.3 P There is a database construction scheme for each pattern. Each non-hierarchical query Q matches a pattern P x.y. In the absence of negation, P 1.1 is the only hard pattern to consider! 18 / 28
26 Non-hierarchical Queries Match Minimal Hard Patterns Each non-hierarchical query Q matches a pattern P x.y: There is a total mapping from P x.y to Q s parse tree that is identity on inner nodes and, preserves ancestor-descendant relationships, maps leaves to relations: to R(); to S(, ); and to T (). π Pattern P 5.3 Query Q X () R() π T () S(, ) The match preserves the grounding of the query pattern: Q and P x.y have the same grounding for any database using our construction scheme. 19 / 28
27 Outline Probabilistic Databases 101 The Dichotomy The Interesting but Hard Queries The Easy Queries Leftovers 20 / 28
28 Evaluation of Hierarchical 1R Queries pproach based on knowledge compilation For any database D, the probability P Q(D) of a 1R query Q is the probability P Ψ of Q s grounding Ψ. Compile Ψ into ODD(Ψ) in polynomial time. Compute probability of ODD(Ψ) in time linear in its size. 21 / 28
29 Evaluation of Hierarchical 1R Queries pproach based on knowledge compilation For any database D, the probability P Q(D) of a 1R query Q is the probability P Ψ of Q s grounding Ψ. Compile Ψ into ODD(Ψ) in polynomial time. Compute probability of ODD(Ψ) in time linear in its size. Distinction from existing tractability results [O. & Huang 2008]: 1R without negation: Grounding formulas are read-once. Read-once formulas admit linear-size ODs. 1R : Grounding formulas are not read-once. They admit ODs of sizes linear in the database size but exponential in the query size. 21 / 28
30 The Inner Workings From hierarchical 1R to RC-hierarchical -consistent RC : Translate query Q into an equivalent disjunction of disjunction-free existential relational calculus queries Q 1 Q k. k can be very large for queries with projection under difference! RC-hierarchical: For each X (Q ), every relation symbol in Q has variable X. Each of the disjuncts yields a poly-size ODD. -consistent: The nesting order of the quantifiers is the same in Q 1,, Q k. ll ODDs have compatible variable orders and their disjunction is a poly-size ODD. The ODD width grows exponentially with k, its height stays linear in the size of the database. Width = maximum number of edges crossing the section between any two consecutive levels. 22 / 28
31 Query Evaluation Example (1/3) Consider the following query and tuple-independent database: Q = π [ (R() T () ) ( U() V () ) ] R T U V R T R T U V 1 r 1 2 r 2 1 t 1 2 t 2 1 u 1 2 u 2 1 v 1 2 v r 1 t r 1 t r 2 t r 2 t r 1 t 1 (u 1 v 1 ) 1 2 r 1 t 2 (u 1 v 2 ) 2 1 r 2 t 1 (u 2 v 1 ) 2 2 r 2 t 2 (u 2 v 2 ) 23 / 28
32 Query Evaluation Example (1/3) Consider the following query and tuple-independent database: Q = π [ (R() T () ) ( U() V () ) ] R T U V R T R T U V 1 r 1 2 r 2 1 t 1 2 t 2 1 u 1 2 u 2 1 v 1 2 v r 1 t r 1 t r 2 t r 2 t r 1 t 1 (u 1 v 1 ) 1 2 r 1 t 2 (u 1 v 2 ) 2 1 r 2 t 1 (u 2 v 1 ) 2 2 r 2 t 2 (u 2 v 2 ) The grounding of Q is: Ψ = r 1 [ t1 ( u 1 v 1 ) t 2 ( u 1 v 2 ) ] r 2 [ t1 ( u 2 v 1 ) t 2 ( u 2 v 2 ) ]. Variables entangle in Ψ beyond read-once factorization. This is the pivotal intricacy introduced by the difference operator. 23 / 28
33 Query Evaluation Example (2/3) Translate Q = π [ (R() T () ) ( U() V () ) ] into RC : ( ) ( ) Q RC = R() U() T () R() T () V () }{{}}{{} Q 1 oth Q 1 and Q 2 are RC-hierarchical. Q 1 Q 2 is -consistent: Same order for Q 1 and Q 2. Query grounding: Q 2. Ψ = (r 1 u 1 r 2 u 2 ) (t 1 t 2 ) (r 1 r 2 ) (t 1 v 1 t 2 v 2 ) }{{}}{{} Ψ 1 Ψ 2. oth Ψ 1 and Ψ 2 admit linear-size ODDs. The two ODDs have compatible orders and their disjunction is an ODD whose width is the product of the widths of the two ODDs. 24 / 28
34 Query Evaluation Example (3/3) Compile grounding formula into ODD: Ψ = (r 1 u 1 r 2 u 2 ) (t 1 t 2 ) (r 1 r 2 ) (t 1 v 1 t 2 v 2 ) }{{}}{{} Ψ 1 Ψ 2. r 1 r 1 r 1 u 1 u 1 r 2 r 2 r 2 r 2 u 2 u 2 u 2 t 1 t 1 = t 1 t 1 v 1 v 1 t 2 t 2 t 2 t 2 v 2 v 2 Ψ 1 Ψ 2 = Ψ 25 / 28
35 Outline Probabilistic Databases 101 The Dichotomy The Dichotomy The Interesting but Hard Queries The Interesting but Hard Queries The Easy Queries The Easy Queries Leftovers Leftovers 18 / / 28
36 Dichotomies eyond 1R Some known dichotomies Non-repeating CQ, UCQ [Dalvi & Suciu 2004, 2010] Quantified queries, ranking queries [O.& team 2011, 2012] Non-repeating relational algebra = 1R + union. Hierarchical property not enough, consistency also needed. π [(R() S 1(, ) T () S 2(, )) S(, )] is hard, though it is equivalent to a union of two hierarchical 1R queries. Non-repeating relational calculus S(x, y) R(x) is tractable, S(x, y) (R(x) T (y)) is hard. oth are non-repeating, yet not expressible in 1R. Possible (though expensive) approach: Translate to RC and check RC-hierarchical and -consistency. Full relational algebra (or full relational calculus) It is undecidable whether the union of two equivalent relational algebra queries, one hard and one tractable, is tractable. 27 / 28
37 Thank you! 28 / 28
Probabilistic Databases
Probabilistic Databases Dan Olteanu (Oxford) London, November 2017 The National Archives Probabilistic Databases For the purpose of this introductory talk: Probabilistic data = Relational data + Probabilities
More informationBrief Tutorial on Probabilistic Databases
Brief Tutorial on Probabilistic Databases Dan Suciu University of Washington Simons 206 About This Talk Probabilistic databases Tuple-independent Query evaluation Statistical relational models Representation,
More informationQuery answering using views
Query answering using views General setting: database relations R 1,...,R n. Several views V 1,...,V k are defined as results of queries over the R i s. We have a query Q over R 1,...,R n. Question: Can
More informationKnowledge Compilation Meets Database Theory : Compiling Queries to Decision Diagrams
Knowledge Compilation Meets Database Theory : Compiling Queries to Decision Diagrams Abhay Jha Computer Science and Engineering University of Washington, WA, USA abhaykj@cs.washington.edu Dan Suciu Computer
More informationGAV-sound with conjunctive queries
GAV-sound with conjunctive queries Source and global schema as before: source R 1 (A, B),R 2 (B,C) Global schema: T 1 (A, C), T 2 (B,C) GAV mappings become sound: T 1 {x, y, z R 1 (x,y) R 2 (y,z)} T 2
More informationQuery Evaluation on Probabilistic Databases. CSE 544: Wednesday, May 24, 2006
Query Evaluation on Probabilistic Databases CSE 544: Wednesday, May 24, 2006 Problem Setting Queries: Tables: Review A(x,y) :- Review(x,y), Movie(x,z), z > 1991 name rating p Movie Monkey Love good.5 title
More informationParallel-Correctness and Transferability for Conjunctive Queries
Parallel-Correctness and Transferability for Conjunctive Queries Tom J. Ameloot1 Gaetano Geck2 Bas Ketsman1 Frank Neven1 Thomas Schwentick2 1 Hasselt University 2 Dortmund University Big Data Too large
More informationRelational Calculus. Dr Paolo Guagliardo. University of Edinburgh. Fall 2016
Relational Calculus Dr Paolo Guagliardo University of Edinburgh Fall 2016 First-order logic term t := x (variable) c (constant) f(t 1,..., t n ) (function application) formula ϕ := P (t 1,..., t n ) t
More informationarxiv: v1 [cs.ai] 21 Sep 2014
Oblivious Bounds on the Probability of Boolean Functions WOLFGANG GATTERBAUER, Carnegie Mellon University DAN SUCIU, University of Washington arxiv:409.6052v [cs.ai] 2 Sep 204 This paper develops upper
More informationTractable Lineages on Treelike Instances: Limits and Extensions
Tractable Lineages on Treelike Instances: Limits and Extensions Antoine Amarilli 1, Pierre Bourhis 2, Pierre enellart 1,3 June 29th, 2016 1 Télécom ParisTech 2 CNR CRItAL 3 National University of ingapore
More informationFactorised Representations of Query Results: Size Bounds and Readability
Factorised Representations of Query Results: Size Bounds and Readability Dan Olteanu and Jakub Závodný Department of Computer Science University of Oxford {dan.olteanu,jakub.zavodny}@cs.ox.ac.uk ABSTRACT
More informationTowards Deterministic Decomposable Circuits for Safe Queries
Towards Deterministic Decomposable Circuits for Safe Queries Mikaël Monet 1 and Dan Olteanu 2 1 LTCI, Télécom ParisTech, Université Paris-Saclay, France, Inria Paris; Paris, France mikael.monet@telecom-paristech.fr
More informationDatabase Theory VU , SS Complexity of Query Evaluation. Reinhard Pichler
Database Theory Database Theory VU 181.140, SS 2018 5. Complexity of Query Evaluation Reinhard Pichler Institut für Informationssysteme Arbeitsbereich DBAI Technische Universität Wien 17 April, 2018 Pichler
More informationPropositional and Predicate Logic - V
Propositional and Predicate Logic - V Petr Gregor KTIML MFF UK WS 2016/2017 Petr Gregor (KTIML MFF UK) Propositional and Predicate Logic - V WS 2016/2017 1 / 21 Formal proof systems Hilbert s calculus
More informationCylindrical Algebraic Decomposition in Coq
Cylindrical Algebraic Decomposition in Coq MAP 2010 - Logroño 13-16 November 2010 Assia Mahboubi INRIA Microsoft Research Joint Centre (France) INRIA Saclay Île-de-France École Polytechnique, Palaiseau
More informationScalable Uncertainty Management
Scalable Uncertainty Management 05 Query Evaluation in Probabilistic Databases Rainer Gemulla Jun 1, 2012 Overview In this lecture Primer: relational calculus Understand complexity of query evaluation
More informationFactorized Relational Databases Olteanu and Závodný, University of Oxford
November 8, 2013 Database Seminar, U Washington Factorized Relational Databases http://www.cs.ox.ac.uk/projects/fd/ Olteanu and Závodný, University of Oxford Factorized Representations of Relations Cust
More informationA Toolbox of Query Evaluation Techniques for Probabilistic Databases
2nd Workshop on Management and mining Of UNcertain Data (MOUND) Long Beach, March 1st, 2010 A Toolbox of Query Evaluation Techniques for Probabilistic Databases Dan Olteanu, Oxford University Computing
More informationQueries and Materialized Views on Probabilistic Databases
Queries and Materialized Views on Probabilistic Databases Nilesh Dalvi Christopher Ré Dan Suciu September 11, 2008 Abstract We review in this paper some recent yet fundamental results on evaluating queries
More informationComputational Logic. Relational Query Languages with Negation. Free University of Bozen-Bolzano, Werner Nutt
Computational Logic Free University of Bozen-Bolzano, 2010 Werner Nutt (Slides adapted from Thomas Eiter and Leonid Libkin) Computational Logic 1 Queries with All Who are the directors whose movies are
More informationBounded Query Rewriting Using Views
Bounded Query Rewriting Using Views Yang Cao 1,3 Wenfei Fan 1,3 Floris Geerts 2 Ping Lu 3 1 University of Edinburgh 2 University of Antwerp 3 Beihang University {wenfei@inf, Y.Cao-17@sms}.ed.ac.uk, floris.geerts@uantwerpen.be,
More informationOn the Optimal Approximation of Queries Using Tractable Propositional Languages
On the Optimal Approximation of Queries Using Tractable Propositional Languages Robert Fink and Dan Olteanu Oxford University Computing Laboratory {robert.fink,dan.olteanu}@comlab.ox.ac.uk ABSTRACT This
More informationLifted Inference: Exact Search Based Algorithms
Lifted Inference: Exact Search Based Algorithms Vibhav Gogate The University of Texas at Dallas Overview Background and Notation Probabilistic Knowledge Bases Exact Inference in Propositional Models First-order
More informationProvenance Semirings. Todd Green Grigoris Karvounarakis Val Tannen. presented by Clemens Ley
Provenance Semirings Todd Green Grigoris Karvounarakis Val Tannen presented by Clemens Ley place of origin Provenance Semirings Todd Green Grigoris Karvounarakis Val Tannen presented by Clemens Ley place
More informationOutline. Part 1: Motivation Part 2: Probabilistic Databases Part 3: Weighted Model Counting Part 4: Lifted Inference for WFOMC
Outline Part 1: Motivation Part 2: Probabilistic Databases Part 3: Weighted Model Counting Part 4: Lifted Inference for WFOMC Part 5: Completeness of Lifted Inference Part 6: Query Compilation Part 7:
More informationQuery Processing. 3 steps: Parsing & Translation Optimization Evaluation
rela%onal algebra Query Processing 3 steps: Parsing & Translation Optimization Evaluation 30 Simple set of algebraic operations on relations Journey of a query SQL select from where Rela%onal algebra π
More informationQuantified Boolean Formulas: Complexity and Expressiveness
Dagstuhl SAT Interactions 2012 Quantified Boolean Formulas: Complexity and Expressiveness Uwe Bubeck University of Paderborn 20.11.2012 Outline Introduction Free Variables and Equivalence Complexity Expressiveness
More informationFirst-Order Knowledge Compilation for Probabilistic Reasoning
First-Order Knowledge Compilation for Probabilistic Reasoning Guy Van den Broeck based on joint work with Adnan Darwiche, Dan Suciu, and many others MOTIVATION 1 A Simple Reasoning Problem...? Probability
More informationWhat is the decimal (base 10) representation of the binary number ? Show your work and place your final answer in the box.
Question 1. [10 marks] Part (a) [2 marks] What is the decimal (base 10) representation of the binary number 110101? Show your work and place your final answer in the box. 2 0 + 2 2 + 2 4 + 2 5 = 1 + 4
More informationComplexity Theory VU , SS The Polynomial Hierarchy. Reinhard Pichler
Complexity Theory Complexity Theory VU 181.142, SS 2018 6. The Polynomial Hierarchy Reinhard Pichler Institut für Informationssysteme Arbeitsbereich DBAI Technische Universität Wien 15 May, 2018 Reinhard
More informationOutline. Complexity Theory EXACT TSP. The Class DP. Definition. Problem EXACT TSP. Complexity of EXACT TSP. Proposition VU 181.
Complexity Theory Complexity Theory Outline Complexity Theory VU 181.142, SS 2018 6. The Polynomial Hierarchy Reinhard Pichler Institut für Informationssysteme Arbeitsbereich DBAI Technische Universität
More information1 First-order logic. 1 Syntax of first-order logic. 2 Semantics of first-order logic. 3 First-order logic queries. 2 First-order query evaluation
Knowledge Bases and Databases Part 1: First-Order Queries Diego Calvanese Faculty of Computer Science Master of Science in Computer Science A.Y. 2007/2008 Overview of Part 1: First-order queries 1 First-order
More informationComp487/587 - Boolean Formulas
Comp487/587 - Boolean Formulas 1 Logic and SAT 1.1 What is a Boolean Formula Logic is a way through which we can analyze and reason about simple or complicated events. In particular, we are interested
More informationComputing Query Probability with Incidence Algebras Technical Report UW-CSE University of Washington
Computing Query Probability with Incidence Algebras Technical Report UW-CSE-10-03-02 University of Washington Nilesh Dalvi, Karl Schnaitter and Dan Suciu Revised: August 24, 2010 Abstract We describe an
More informationProduct rule. Chain rule
Probability Recap CS 188: Artificial Intelligence ayes Nets: Independence Conditional probability Product rule Chain rule, independent if and only if: and are conditionally independent given if and only
More informationDatabase Design and Implementation
Database Design and Implementation CS 645 Data provenance Provenance provenance, n. The fact of coming from some particular source or quarter; origin, derivation [Oxford English Dictionary] Data provenance
More informationFundamentos lógicos de bases de datos (Logical foundations of databases)
20/7/2015 ECI 2015 Buenos Aires Fundamentos lógicos de bases de datos (Logical foundations of databases) Diego Figueira Gabriele Puppis CNRS LaBRI About the speakers Gabriele Puppis PhD from Udine (Italy)
More informationINTRODUCTION TO RELATIONAL DATABASE SYSTEMS
INTRODUCTION TO RELATIONAL DATABASE SYSTEMS DATENBANKSYSTEME 1 (INF 3131) Torsten Grust Universität Tübingen Winter 2017/18 1 THE RELATIONAL ALGEBRA The Relational Algebra (RA) is a query language for
More informationINSTITUTE OF MATHEMATICS THE CZECH ACADEMY OF SCIENCES. A trade-off between length and width in resolution. Neil Thapen
INSTITUTE OF MATHEMATICS THE CZECH ACADEMY OF SCIENCES A trade-off between length and width in resolution Neil Thapen Preprint No. 59-2015 PRAHA 2015 A trade-off between length and width in resolution
More information3. Only sequences that were formed by using finitely many applications of rules 1 and 2, are propositional formulas.
1 Chapter 1 Propositional Logic Mathematical logic studies correct thinking, correct deductions of statements from other statements. Let us make it more precise. A fundamental property of a statement is
More informationAlgebraic Model Counting
Algebraic Model Counting Angelika Kimmig a,, Guy Van den Broeck b, Luc De Raedt a a Department of Computer Science, KU Leuven, Celestijnenlaan 200a box 2402, 3001 Heverlee, Belgium. b UCLA Computer Science
More informationarxiv: v1 [cs.db] 21 Feb 2017
Answering Conjunctive Queries under Updates Christoph Berkholz, Jens Keppeler, Nicole Schweikardt Humboldt-Universität zu Berlin {berkholz,keppelej,schweika}@informatik.hu-berlin.de February 22, 207 arxiv:702.06370v
More informationCS 512, Spring 2017, Handout 10 Propositional Logic: Conjunctive Normal Forms, Disjunctive Normal Forms, Horn Formulas, and other special forms
CS 512, Spring 2017, Handout 10 Propositional Logic: Conjunctive Normal Forms, Disjunctive Normal Forms, Horn Formulas, and other special forms Assaf Kfoury 5 February 2017 Assaf Kfoury, CS 512, Spring
More informationStructural Tractability of Counting of Solutions to Conjunctive Queries
Structural Tractability of Counting of Solutions to Conjunctive Queries Arnaud Durand 1 1 University Paris Diderot Journées DAG, june 2013 Joint work with Stefan Mengel (JCSS (to appear) + ICDT 2013) 1
More information7 RC Simulates RA. Lemma: For every RA expression E(A 1... A k ) there exists a DRC formula F with F V (F ) = {A 1,..., A k } and
7 RC Simulates RA. We now show that DRC (and hence TRC) is at least as expressive as RA. That is, given an RA expression E that mentions at most C, there is an equivalent DRC expression E that mentions
More informationA brief introduction to Logic. (slides from
A brief introduction to Logic (slides from http://www.decision-procedures.org/) 1 A Brief Introduction to Logic - Outline Propositional Logic :Syntax Propositional Logic :Semantics Satisfiability and validity
More informationIntroduction to Model Theory
Introduction to Model Theory Charles Steinhorn, Vassar College Katrin Tent, University of Münster CIRM, January 8, 2018 The three lectures Introduction to basic model theory Focus on Definability More
More information2.5.2 Basic CNF/DNF Transformation
2.5. NORMAL FORMS 39 On the other hand, checking the unsatisfiability of CNF formulas or the validity of DNF formulas is conp-complete. For any propositional formula φ there is an equivalent formula in
More informationTractable Reasoning in First-Order Knowledge Bases with Disjunctive Information
Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information Yongmei Liu and Hector J. Levesque Department of Computer Science University of Toronto Toronto, ON, Canada M5S 3G4 {yliu,
More informationPropositional Logic Not Enough
Section 1.4 Propositional Logic Not Enough If we have: All men are mortal. Socrates is a man. Does it follow that Socrates is mortal? Can t be represented in propositional logic. Need a language that talks
More informationModel Counting of Query Expressions: Limitations of Propositional Methods
Model Counting of Query Expressions: Limitations of Propositional Methods Paul Beame University of Washington beame@cs.washington.edu Jerry Li MIT jerryzli@csail.mit.edu Dan Suciu University of Washington
More informationCS2742 midterm test 2 study sheet. Boolean circuits: Predicate logic:
x NOT ~x x y AND x /\ y x y OR x \/ y Figure 1: Types of gates in a digital circuit. CS2742 midterm test 2 study sheet Boolean circuits: Boolean circuits is a generalization of Boolean formulas in which
More informationCS632 Notes on Relational Query Languages I
CS632 Notes on Relational Query Languages I A. Demers 6 Feb 2003 1 Introduction Here we define relations, and introduce our notational conventions, which are taken almost directly from [AD93]. We begin
More informationSum-Product Networks: A New Deep Architecture
Sum-Product Networks: A New Deep Architecture Pedro Domingos Dept. Computer Science & Eng. University of Washington Joint work with Hoifung Poon 1 Graphical Models: Challenges Bayesian Network Markov Network
More informationThe complexity of enumeration and counting for acyclic conjunctive queries
The complexity of enumeration and counting for acyclic conjunctive queries Cambridge, march 2012 Counting and enumeration Counting Output the number of solutions Example : sat, Perfect Matching, Permanent,
More informationRegular n-ary Queries in Trees and Variable Independence
Regular n-ary Queries in Trees and Variable Independence Emmanuel Filiot Sophie Tison Laboratoire d Informatique Fondamentale de Lille (LIFL) INRIA Lille Nord-Europe, Mostrare Project IFIP TCS, 2008 E.Filiot
More informationIncomplete Information in RDF
Incomplete Information in RDF Charalampos Nikolaou and Manolis Koubarakis charnik@di.uoa.gr koubarak@di.uoa.gr Department of Informatics and Telecommunications National and Kapodistrian University of Athens
More informationFIRST-ORDER QUERY EVALUATION ON STRUCTURES OF BOUNDED DEGREE
FIRST-ORDER QUERY EVALUATION ON STRUCTURES OF BOUNDED DEGREE INRIA and ENS Cachan e-mail address: kazana@lsv.ens-cachan.fr WOJCIECH KAZANA AND LUC SEGOUFIN INRIA and ENS Cachan e-mail address: see http://pages.saclay.inria.fr/luc.segoufin/
More informationPropositional Logic: Models and Proofs
Propositional Logic: Models and Proofs C. R. Ramakrishnan CSE 505 1 Syntax 2 Model Theory 3 Proof Theory and Resolution Compiled at 11:51 on 2016/11/02 Computing with Logic Propositional Logic CSE 505
More information15-855: Intensive Intro to Complexity Theory Spring Lecture 7: The Permanent, Toda s Theorem, XXX
15-855: Intensive Intro to Complexity Theory Spring 2009 Lecture 7: The Permanent, Toda s Theorem, XXX 1 #P and Permanent Recall the class of counting problems, #P, introduced last lecture. It was introduced
More informationSingle-Round Multi-Join Evaluation. Bas Ketsman
Single-Round Multi-Join Evaluation Bas Ketsman Outline 1. Introduction 2. Parallel-Correctness 3. Transferability 4. Special Cases 2 Motivation Single-round Multi-joins Less rounds / barriers Formal framework
More informationCSE 544: Principles of Database Systems
CSE 544: Principles of Database Systems Conjunctive Queries (and beyond) CSE544 - Spring, 2013 1 Outline Conjunctive queries Query containment and equivalence Query minimization Undecidability for relational
More informationOn Factorisation of Provenance Polynomials
On Factorisation of Provenance Polynomials Dan Olteanu and Jakub Závodný Oxford University Computing Laboratory Wolfson Building, Parks Road, OX1 3QD, Oxford, UK 1 Introduction Tracking and managing provenance
More informationFinite Model Theory: First-Order Logic on the Class of Finite Models
1 Finite Model Theory: First-Order Logic on the Class of Finite Models Anuj Dawar University of Cambridge Modnet Tutorial, La Roche, 21 April 2008 2 Finite Model Theory In the 1980s, the term finite model
More informationModal Dependence Logic
Modal Dependence Logic Jouko Väänänen Institute for Logic, Language and Computation Universiteit van Amsterdam Plantage Muidergracht 24 1018 TV Amsterdam, The Netherlands J.A.Vaananen@uva.nl Abstract We
More informationSimulation of quantum computers with probabilistic models
Simulation of quantum computers with probabilistic models Vlad Gheorghiu Department of Physics Carnegie Mellon University Pittsburgh, PA 15213, U.S.A. April 6, 2010 Vlad Gheorghiu (CMU) Simulation of quantum
More informationClasses of Boolean Functions
Classes of Boolean Functions Nader H. Bshouty Eyal Kushilevitz Abstract Here we give classes of Boolean functions that considered in COLT. Classes of Functions Here we introduce the basic classes of functions
More informationProbabilistic Theorem Proving. Vibhav Gogate (Joint work with Pedro Domingos)
Probabilistic Theorem Proving Vibhav Gogate (Joint work with Pedro Domingos) Progress to Date First-order variable elimination [Poole, 2003; de Salvo Braz, 2007; etc.] Lifted belief propagation [Singla
More informationWith Question/Answer Animations. Chapter 2
With Question/Answer Animations Chapter 2 Chapter Summary Sets The Language of Sets Set Operations Set Identities Functions Types of Functions Operations on Functions Sequences and Summations Types of
More informationProofs. Chapter 2 P P Q Q
Chapter Proofs In this chapter we develop three methods for proving a statement. To start let s suppose the statement is of the form P Q or if P, then Q. Direct: This method typically starts with P. Then,
More informationEquivalence of SQL Queries In Presence of Embedded Dependencies
Equivalence of SQL Queries In Presence of Embedded Dependencies Rada Chirkova Department of Computer Science NC State University, Raleigh, NC 27695, USA chirkova@csc.ncsu.edu Michael R. Genesereth Department
More informationInconsistency-Tolerant Conjunctive Query Answering for Simple Ontologies
Inconsistency-Tolerant Conjunctive Query nswering for Simple Ontologies Meghyn ienvenu LRI - CNRS & Université Paris-Sud, France www.lri.fr/ meghyn/ meghyn@lri.fr 1 Introduction In recent years, there
More informationNon-Deterministic Time
Non-Deterministic Time Master Informatique 2016 1 Non-Deterministic Time Complexity Classes Reminder on DTM vs NDTM [Turing 1936] (q 0, x 0 ) (q 1, x 1 ) Deterministic (q n, x n ) Non-Deterministic (q
More informationSchema Mapping Discovery from Data Instances
Schema Mapping Discovery from Data Instances GEORG GOTTLOB 6 University of Oxford, Oxford, United Kingdom AND PIERRE SENELLART Institut Télécom; Télécom ParisTech; CNRS LTCI, Paris, France Abstract. We
More informationIntroduction to Temporal Logic. The purpose of temporal logics is to specify properties of dynamic systems. These can be either
Introduction to Temporal Logic The purpose of temporal logics is to specify properties of dynamic systems. These can be either Desired properites. Often liveness properties like In every infinite run action
More informationLogic and Databases. Phokion G. Kolaitis. UC Santa Cruz & IBM Research Almaden. Lecture 4 Part 1
Logic and Databases Phokion G. Kolaitis UC Santa Cruz & IBM Research Almaden Lecture 4 Part 1 1 Thematic Roadmap Logic and Database Query Languages Relational Algebra and Relational Calculus Conjunctive
More informationThe Complexity of Computing the Behaviour of Lattice Automata on Infinite Trees
The Complexity of Computing the Behaviour of Lattice Automata on Infinite Trees Karsten Lehmann a, Rafael Peñaloza b a Optimisation Research Group, NICTA Artificial Intelligence Group, Australian National
More informationModel Checking for Modal Intuitionistic Dependence Logic
1/71 Model Checking for Modal Intuitionistic Dependence Logic Fan Yang Department of Mathematics and Statistics University of Helsinki Logical Approaches to Barriers in Complexity II Cambridge, 26-30 March,
More informationPROPOSITIONAL LOGIC. VL Logik: WS 2018/19
PROPOSITIONAL LOGIC VL Logik: WS 2018/19 (Version 2018.2) Martina Seidl (martina.seidl@jku.at), Armin Biere (biere@jku.at) Institut für Formale Modelle und Verifikation BOX Game: Rules 1. The game board
More information1 PSPACE-Completeness
CS 6743 Lecture 14 1 Fall 2007 1 PSPACE-Completeness Recall the NP-complete problem SAT: Is a given Boolean formula φ(x 1,..., x n ) satisfiable? The same question can be stated equivalently as: Is the
More informationComposing Schema Mappings: Second-Order Dependencies to the Rescue
Composing Schema Mappings: Second-Order Dependencies to the Rescue RONALD FAGIN IBM Almaden Research Center PHOKION G. KOLAITIS IBM Almaden Research Center LUCIAN POPA IBM Almaden Research Center WANG-CHIEW
More informationACO Comprehensive Exam March 20 and 21, Computability, Complexity and Algorithms
1. Computability, Complexity and Algorithms Part a: You are given a graph G = (V,E) with edge weights w(e) > 0 for e E. You are also given a minimum cost spanning tree (MST) T. For one particular edge
More informationOn Datalog vs. LFP. Anuj Dawar and Stephan Kreutzer
On Datalog vs. LFP Anuj Dawar and Stephan Kreutzer 1 University of Cambridge Computer Lab, anuj.dawar@cl.cam.ac.uk 2 Oxford University Computing Laboratory, kreutzer@comlab.ox.ac.uk Abstract. We show that
More information1 FUNDAMENTALS OF LOGIC NO.10 HERBRAND THEOREM Tatsuya Hagino hagino@sfc.keio.ac.jp lecture URL https://vu5.sfc.keio.ac.jp/slide/ 2 So Far Propositional Logic Logical connectives (,,, ) Truth table Tautology
More informationBayesian Networks Factor Graphs the Case-Factor Algorithm and the Junction Tree Algorithm
Bayesian Networks Factor Graphs the Case-Factor Algorithm and the Junction Tree Algorithm 1 Bayesian Networks We will use capital letters for random variables and lower case letters for values of those
More informationTractable Counting of the Answers to Conjunctive Queries
Tractable Counting of the Answers to Conjunctive Queries Reinhard Pichler and Sebastian Skritek Technische Universität Wien, {pichler, skritek}@dbai.tuwien.ac.at Abstract. Conjunctive queries (CQs) are
More informationShannon-type Inequalities, Submodular Width, and Disjunctive Datalog
Shannon-type Inequalities, Submodular Width, and Disjunctive Datalog Hung Q. Ngo (Stealth Mode) With Mahmoud Abo Khamis and Dan Suciu @ PODS 2017 Table of Contents Connecting the Dots Output Size Bounds
More informationPart 1: Propositional Logic
Part 1: Propositional Logic Literature (also for first-order logic) Schöning: Logik für Informatiker, Spektrum Fitting: First-Order Logic and Automated Theorem Proving, Springer 1 Last time 1.1 Syntax
More informationComputing Query Probability with Incidence Algebras
Computing Query Probability with Incidence Algebras Nilesh Dalvi Yahoo Research Santa Clara, CA, USA ndalvi@yahoo-inc.com Karl Schnaitter UC Santa Cruz Santa Cruz, CA, USA karlsch@soe.ucsc.edu Dan Suciu
More informationA Unit Resolution Approach to Knowledge Compilation. 2. Preliminaries
A Unit Resolution Approach to Knowledge Compilation Arindama Singh and Manoj K Raut Department of Mathematics Indian Institute of Technology Chennai-600036, India Abstract : Knowledge compilation deals
More informationOn the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic
On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic Domenico Cantone and Marianna Nicolosi Asmundo Dipartimento di Matematica e Informatica Università
More informationAny Wizard of Oz fans? Discrete Math Basics. Outline. Sets. Set Operations. Sets. Dorothy: How does one get to the Emerald City?
Any Wizard of Oz fans? Discrete Math Basics Dorothy: How does one get to the Emerald City? Glynda: It is always best to start at the beginning Outline Sets Relations Proofs Sets A set is a collection of
More informationLower Bounds for Exact Model Counting and Applications in Probabilistic Databases
Lower Bounds for Exact Model Counting and Applications in Probabilistic Databases Paul Beame Jerry Li Sudeepa Roy Dan Suciu Computer Science and Engineering University of Washington Seattle, WA 98195 {beame,
More informationLTCS Report. Decidability and Complexity of Threshold Description Logics Induced by Concept Similarity Measures. LTCS-Report 16-07
Technische Universität Dresden Institute for Theoretical Computer Science Chair for Automata Theory LTCS Report Decidability and Complexity of Threshold Description Logics Induced by Concept Similarity
More informationDatalog : A Family of Languages for Ontology Querying
Datalog : A Family of Languages for Ontology Querying Georg Gottlob Department of Computer Science University of Oxford joint work with Andrea Calì,Thomas Lukasiewicz, Marco Manna, Andreas Pieris et al.
More informationRelational completeness of query languages for annotated databases
Relational completeness of query languages for annotated databases Floris Geerts 1,2 and Jan Van den Bussche 1 1 Hasselt University/Transnational University Limburg 2 University of Edinburgh Abstract.
More informationNotes. Corneliu Popeea. May 3, 2013
Notes Corneliu Popeea May 3, 2013 1 Propositional logic Syntax We rely on a set of atomic propositions, AP, containing atoms like p, q. A propositional logic formula φ Formula is then defined by the following
More informationDichotomies in Ontology-Mediated Querying with the Guarded Fragment
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment eating these from the CONP-hard cases. This question and related ones have given rise to a considerable array of ontology languages,
More informationExercises 1 - Solutions
Exercises 1 - Solutions SAV 2013 1 PL validity For each of the following propositional logic formulae determine whether it is valid or not. If it is valid prove it, otherwise give a counterexample. Note
More informationA New 3-CNF Transformation by Parallel-Serial Graphs 1
A New 3-CNF Transformation by Parallel-Serial Graphs 1 Uwe Bubeck, Hans Kleine Büning University of Paderborn, Computer Science Institute, 33098 Paderborn, Germany Abstract For propositional formulas we
More information