Top Banner
1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine
58

1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

Dec 27, 2015

Download

Documents

Nickolas Willis
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

1

Data integration

Most slides are borrowed from Dr. Chen Li, UC Irvine

Page 2: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

2

Motivation

Legacy database Plain text files

Biblio sever

Support seamless access to autonomous and heterogeneous information sources.

Page 3: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

3

Comparison Shopping

Lowest price of the DVD: “The Matrix”?

Applications

Comparison shopping

Supply-chain management

Supplier 2

… Integrator

Supplier M

Supplier 1

Buyer 2

Buyer M

Buyer 1

Page 4: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

4

Mediation architecture

Mediator

Wrapper

Source 1

Wrapper

Source 2

Wrapper

Source n

Page 5: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

5

• Sources are heterogeneous:– Different data models: relational, object-oriented, XML, …– Different schemas and representations. E.g.,

“Keanu Reeves” or “Reeves, Keanu” or “Reeves, K.” etc.• Describe source contents• Use source data to answer queries• Sources have limited query capabilities• Data quality• Performance• … …

Challenges

Page 6: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

6

Research projects

• Garlic (IBM),• Information Manifold (AT&T)• InfoSleuth (MCC),• Tsimmis, InfoMaster (Stanford)• Internet Softbot/Razor/Tukwila (U Wash.)• Hermes (Maryland)• Telegraph / Eddies (UC Berkeley)• Niagara (Univ Wisconsin)• DISCO, Agora (INRIA, France)• SIMS/Ariadne (USC/ISI)• Emerac/Havasu (ASU)

Page 7: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

7

Industry

• Nimble Technology• Enosys Markets• IBM• BEA

Page 8: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

8

Virtual integration

• Leave the data in the sources• When a query comes in:

– Determine the relevant sources to the query– Break down the query into sub-queries for the sources– Get the answers from the sources, filter them if needed and combine

them appropriately• Data is fresh• Otherwise known as

On Demand Integration

Slides from Dr. Michalis Petropoulos

Page 9: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

9

Mediator

Virtual Integration Architecture

DataSource

DataSource

GlobalSchema

LocalSchema

LocalSchema

Query Result

Wrapper Wrapper

End User

Design-Time

MediationLanguage

Mapping Tool

Run-Time

QueryReformulation

Optimization& Execution

XML

Web Services

1

Slides from Dr. Michalis Petropoulos

Page 10: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

10

Design-Time

Mediator

Virtual Integration Architecture

DataSource

DataSource

GlobalSchema

LocalSchema

LocalSchema

Query Result

Wrapper Wrapper

End User

MediationLanguage

Mapping Tool

Run-Time

QueryReformulation

Optimization& Execution

XML

Web Services

1

2

Slides from Dr. Michalis Petropoulos

Page 11: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

11

Mediator

Virtual Integration Architecture

DataSource

DataSource

GlobalSchema

LocalSchema

LocalSchema

Query Result

Wrapper Wrapper

End User

Design-Time

MediationLanguage

Mapping Tool

Run-Time

QueryReformulation

Optimization& Execution

XML

Web Services

1

2

3

Slides from Dr. Michalis Petropoulos

Page 12: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

12

Mediator

Virtual Integration Architecture

DataSource

DataSource

GlobalSchema

LocalSchema

LocalSchema

Query Result

Wrapper Wrapper

End User

Design-Time

MediationLanguage

Mapping Tool

Run-Time

QueryReformulation

Optimization& Execution

XML

Web Services

1

2

3

4

Slides from Dr. Michalis Petropoulos

Page 13: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

13

Mediator

Virtual Integration Architecture

DataSource

DataSource

GlobalSchema

LocalSchema

LocalSchema

Query Result

Wrapper Wrapper

End User

Design-Time

MediationLanguage

Mapping Tool

Run-Time

QueryReformulation

Optimization& Execution

XML

Web Services

1

2

5

3

4

Slides from Dr. Michalis Petropoulos

Page 14: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

14

Mediator

Virtual Integration Architecture

DataSource

DataSource

GlobalSchema

LocalSchema

LocalSchema

Query ResultEnd User

Wrapper Wrapper

Design-Time

MediationLanguage

Mapping Tool

Run-Time

QueryReformulation

Optimization& Execution

XML

Web Services

1

2

5

63

4

Slides from Dr. Michalis Petropoulos

Page 15: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

15

Outline

• Basics: theories of conjunctive queries• Global-as-view (GAV) approach to data integration• Local-as-view (LAV) approach to data integration

Page 16: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

16

Conjunctive Queries (CQ’s) in Datalog

• Most common form of query; equivalent to select-project-join (SPJ) queries• Useful for data integration• Form: q(X) :- p1(X1), p2(X2),…, pn(Xn).• Head q(X) represents the query answers• Body p1(X1), p2(X2),…, pn(Xn) represents the query conditions

– The head is true if all the subgoals are true.– Each pi(Xi) is called a subgoal. Xi is a vector of variables or constants.– Shared variables represent join conditions– Constants represent “Attribute=const” selection conditions– A relation can appear in multiple predicates (subgoals)

head

body

subgoals

q(X) :- p1(X1), p2(X2), …, pn(Xn)

Page 17: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

17

Conjunctive queries

• Head and subgoals are atoms.• An atom consists of a predicate applied to zero or more

arguments• Predicates represent relations.• An atom is true for given values of its variables iff the

arguments form a tuple of the relation.• Whenever an assignment of values to all variables makes all

subgoals true, the rule asserts that the resulting head is also true.

Page 18: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

18

Conjunctive Queries: example

• Schemastudent(name, courseNum), course(number, Instructor)

• SQL SELECT name FROM student, course WHERE student.courseNum=course.number AND instructor=‘Li’;• Equal to:

ans(SN) :- student(SN, CN), course(CN,’Li’).

– Predicates student and course correspond to relations names– Two subgoals: student(SN, CN) and course(CN,’Li’)– Variables: SN, CN. Constant: ‘Li’– Shared variable, CN, corresponds to “student.courseNum=course.number”– Variable SN in the head: the answer to the query

Page 19: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

19

Why not SQL

• Datalog is more concise• Let us state some general principles

– e.g., containment of rules that are almost impossible to state correctly in SQL.

– Will see that later• Recursion is much easier to express in Datalog.

Page 20: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

20

Answer to a CQ

• For a CQ Q on database D, the answer Q(D) is a set of heads of Q if we:– Substitute constants for variables in the body of Q in all possible ways– Require all subgoals to be true

• Example: ans(SN) :- student(SN, CN), course(CN,’Li’).– Tuples are also called facts:

student(Jack, 184), student(Tom,215), …, course(184,Li), course(215,Li), …– Answer “Jack”: SNJack,CN184– Answer “Tom”: SNTom,CN215– Answer “Jack”: SNJack,CN215 (duplicate eliminated)

Number Instructor 184 Li 215 Li 214 Mehrotra 252 Gupta

Student Course

Page 21: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

21

Query containment

• For two queries Q1 and Q2, we say Q1 is contained in Q2, denoted Q1Q2, if any database D, we have Q1(D) Q2(D).

• We say Q1 and Q2 are equivalent, denoted Q1Q2, if Q1(D) Q2(D) and Q2(D) Q1(D).

• Example: Q1: ans(SN) :- student(SN, CN), course(CN, ’Li’).

Q2: ans(SN) :- student(SN, CN), course(CN, INS).

We have: Q1(D) Q2(D).

Page 22: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

22

Another example

Q1: p(X,Y) :- r(X,W), b(W,Z), r(Z,Y).

Q2: p(X,Y) :- r(X,W), b(W,W), r(W,Y).

• We have: Q2 Q1

• Proof:– For any DB D, suppose p(x,y) is in Q2(D). Then there is a w such that

r(x,w), b(w,w), and r(w,y) are in D.– For Q1, consider the substitution: X x, W w, Z w, Y y.

– Thus the head of Q1 becomes p(x,y), meaning that p(x,y) is also in Q1(D).

• In general, how to test containment of CQ’s?– Containment mappings

Page 23: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

23

Test containment

• Two approaches:1. Containment mappings.2. Canonical databases.

• Really the same in the simple CQ case covered so far.• Containment test is NP-complete, but CQ’s tend to be small so

here is one case where intractability doesn’t hurt you.

Page 24: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

24

Containment mappings• A containment mapping from Q2 to Q1: Map variables of Q2 to

variables of Q1, such that:– Head of Q2 becomes head of Q1;– Each subgoal of Q2 becomes some subgoal of Q1.

• It is not necessary that every subgoal of Q1 is the target of some subgoal of Q2.

• Q1 Q2 iff there is a containment mapping from Q2 to Q1. – Note that the containment mapping is opposite the containment --- it goes

from the larger (containing CQ) to the smaller (contained CQ).• Example:

Q1: p(X,Y) :- r(X,W), b(W,Z), r(Z,Y).

Q2: p(X,Y) :- r(X,W), b(W,W), r(W,Y).– Containment mapping from Q1 to Q2: X X, Y Y, W W, Z W– No containment mapping from Q2 to Q1:

• For b(W,W) in Q2, its only possible target in Q1 is b(W,Z)• However, we cannot have a mapping WW and WZ, since each variable cannot

be mapped to two different variables

Page 25: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

25

A slightly different example

Q1: p(X,Y):- r(X,Z), g(Z,Z), r(Z,Y).

Q2: p(A,B):- r(A,C), g(C,D), r(D,B).

Containment mapping m:m(A)=X;m(B)=Y;m(C)=m(D)=Z.

Page 26: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

26

Q1: p(X,Y):- r(X,Y), g(Y,Z).Q2: p(A,B):- r(A,B), r(A,C).

Q1 looks for:

Q2 looks for:

Another Example

X ZY

A B

C

Page 27: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

27

Q1: p(X,Y):- r(X,Y), g(Y,Z).

Q2: p(A,B):- r(A,B), r(A,C).

Containment mapping:m(A)=X;m(B)=m(C)=Y.

Example - Continued

Notice twosubgoals canmap to one.

And notevery subgoalneed be atarget.

Page 28: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

28

Example - Concluded

Q1: p(X,Y):- r(X,Y), g(Y,Z).Q2: p(A,B):- r(A,B), r(A,C).

• No containment mapping from Q1 to Q2.– g(Y,Z) cannot map anywhere, since there is no g subgoal in Q2.

• Thus, Q1 properly contained in Q2.

Page 29: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

29

Extending CQ’s• CQ’s with built-in predicates:

– We can add more conditions to variables in a CQ.– Example:

student(name, GPA, courseNum), course(number,instructor,year)Q1(SN) :- student(SN, G, CN), course(CN, ’Li’), G>=3.5.Q2(SN) :- student(SN, G, CN), course(CN, ’Li’), G>=3.5, Y < 2002.Q2(SN) Q1(SN).

• Datalog queries: – a (possibly infinite) set of CQ’s with (possibly) recursion– Example: parent(Parent, Child)– Query: finding all ancestors of Tom

ancestor(P,C) :- parent(P, C). ancestor(P,C) :- ancestor(P,X), parent(X, C).

result(P) :- ancestor(P, ‘tom’).

Page 30: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

30

• Although CQ theory first appeared at a database conference, the AI community has taken CQ’s to heart.

• CQ’s, or similar logics like description logic, are used in a number of AI applications.– Again, their design theory is really containment and equivalence.

Page 31: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

31

Outline

• Basics: theories of conjunctive queries• Global-as-view (GAV) approach to data

integration• Local-as-view (LAV) approach to data integration

Page 32: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

32

GAV approach to data integration

• Readings:– Jeffrey Ullman, Information Integration Using Logical Views, ICDT

1997. – Ramana Yerneni, Chen Li, Hector Garcia-Molina, and Jeffrey

Ullman, Computing Capabilities of Mediators, SIGMOD 1999.

Page 33: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

33

Global-as-view Approach

Mediator

• Mediator exports views defined on source relationsmed(Dealer,City,Make,Year) = R1 R2

• A query is posted on mediator views:SELECT * FROM medWHERE Year = ‘2001’;

ans(D,C,M, ‘2001’) :- med(D,C,M,‘2001’).• Mediator expands query to source queries:

SELECT * FROM R1, R2 WHERE Year = ‘2001’;

ans(D,C,M,’2001’) :- R1(D,C), R2(D,M, ‘2001’).

R1(Dealer,City) R2(Dealer, Make, Year)

med(Dealer,City,Make,Year) = R1 R2

Page 34: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

34

• Project: TSIMMIS at Stanford• Advantages:

– User queries are easy to define– Query transformation generation is straightforward

• Disadvantages:– Not all source information is exported:

– Not easily scalable: every time a new source is added, mediator views need to be changed.

• Research issues– Efficient query execution?– Deal with limited source capabilities?

GAV Approach

Page 35: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

35

Limited source capabilities

Complete scans of relations not possible

Reasons:– Legacy databases or structured files: limited interfaces

– Security/Privacy

– Performance concerns

Example 1: legacy databases with restrictive interfaces

Ullman DBMS

Knuth TeX

… …

author titleGiven an author, return the books.

Page 36: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

36

Another example: Web search forms

www.imdb.com

Page 37: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

37

Problems

• How to describe source restrictions?• How to compute mediator restrictions from sources? • How to answer queries efficiently given these restrictions?• How to compute as many answers as possible to a query?• …

Page 38: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

38

Computing mediator restrictions

• Motivation: do not want users to be frustrated by submitting a query that cannot be answerable by the mediator

• Example:– Source 1: book(author?, title, price)

• Capability: “bff”• i.e., we must provide an author, and can get title and price info

– Source 2: review(title?, reviewer, rate)• Capability: “bff”• i.e., we must provide a book title, and can get other info

– Mediator view: MedView(A?,T,P,RV,RT) :- book(A,T,P),review(T,RV,RT).

– Query on the mediator view:• Ans(RT) :- MedView(A, ‘db’, P, RV, RT).• I.e., “find the review rates of DB books”

– But the mediator cannot answer this query, since we do not know the authors.• We want to tell the user beforehand what queries can be answered

Page 39: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

39

Outline

• Basics: theories of conjunctive queries;• Global-as-view (GAV) approach to data integration;• Local-as-view (LAV) approach to data integration.

Page 40: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

40

Local-as-view (LAV) approach

Mediator

• There are global predicates, e.g., “car,” “person,” “book,” etc.• They can been seen as mediator views• The content of each source is described using these global predicates• A query to the mediator is also defined on the global predicates• The mediator finds a way to answer the query using the source

contents

sources

Page 41: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

41

Example

Mediator

• Global predicates: Loc(Dealer,City),Sell(Dealer,Make,Year)• Source content defined on global predicates:

S1(Dealer,City) :- Loc(Dealer, City).S2(Dealer,Make,Year) :- Sell(Dealer, Make, Year).

In general, each definition could be more complicated, rather than direct copies.• Queries defined on global predicates.

Q: ans(D,M,Y) :- Loc(D, ’windsor’), Sell(D, M, Y).– Users do not know source views.

• The mediator decides how to use source views to answer queries.– “Answering queries using views”:

ans(D, M, Y) :- S1(D,’windsor’), S2(D,M,Y).

S1(Dealer,City) S2(Dealer,Make,Year)

Page 42: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

42

Answering queries using views

Mediator

• Source views can be complicated: SPJs, arithmetic comparisons,…• Not easy to decide how to answer a query using source views

Query: ans(D,M) :- Loc(D,‘windsor'), Sell(D,M,Y).

Rewriting: ans(D,M) :- V3(D,‘windsor’, M,Y). ans(D,M) :- V1(D,’windsor’), V2(D,M,Y).

…– “Equivalent rewriting”: compute the “same” answer as the query– A rewriting can join multiple source views

V1(Dealer,City):- Loc(Dealer, City).V2(Dealer,Make,Year):-Sell(Dealer, Make, Year).V3(D,C,M,Y) :- Loc(D,C),Sell(D,M,Y).V4(D,C,M,Y) :- Loc(D,C),Sell(D,M,Y), Y<1970.

Query

Page 43: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

43

Arithmetic comparisons

Mediator

• Comparisons can make the problem even trickier• Query: ans(D,M) :- Loc(D,‘windsor'), Sell(D,M,Y).

Rewriting: ans(D,M) :- V(D,‘windsor’, M,Y).

Contained rewriting: only retrieve cars before 1970. • Query: ans(D,M):- Loc(D, ‘windsor'), Sell(D,M,Y), Y < 1960.

Rewriting: ans(D,M) :- V(D,‘windsor’, M, Y), Y < 1960.

V(D,C,M,Y):- Loc(D,C),Sell(D,M,Y),Y<1970.

Page 44: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

44

Local-as-View (LAV)

Source1

Source2

Source3

Source4

Source5

Local Schema LocalSchema

LocalSchema

LocalSchema

Global Schema

BookISBNTitleGenreYear

AuthorISBNName

R1ISBNTitleName

Local Schema

R5ISBNTitle

Books before 1970 Humor Books

Create View R1 ASSELECT B.ISBN, B.Title, A.NameFROM Book B, Author AWHERE A.ISBN = B.ISBN AND B.Year < 1970

R1(ISBN, Title, Name):-Book(ISBN, Title, Genre,Year), Author(ISBN, Name), Year<1970.

Create View R5 ASSELECT B.ISBN, B.TitleFROM Book BWHERE B.Genre = ‘Humor’

R5(ISBN, Title):-Book(ISBN, Title, ‘humor’, Year).

Page 45: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

45

LAV details

• Query: Find authors of humor books Q(Name):-Book(ISBN,Title,”humor”,YEAR), Author(ISBN, Name)

• Views:R1(ISBN, Title, Name):- Book(ISBN, Title, Genre,Year), Author(ISBN, Name), Year<1970.R5(ISBN, Title) :-Book(ISBN, Title, ‘humor’, Year).

• Rewriting of Q using views:Q’(Name):-R1(ISBN, Title, Name), R2(ISBN, Title)

• Expansion of Q’Q’’(Name):- Book(ISBN, Title, Genre,Year), Author(ISBN, Name), Year<1970, Book(ISBN, Title, ‘humor’, Year).

Q’’’(Name):- Author(ISBN, Name), Year<1970, Book(ISBN, Title, ‘humor’, Year).

• Q’’’ is contained in Q

Page 46: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

46

Query Rewritings

• Given a query Q and a set of views V:– A conjunctive query P is called a “rewriting” of Q using

V if P only uses views in V, and P computes a partial answer of Q. That is: Pexp Q. A rewriting is also called a “contained rewriting” (CR).

– A conjunctive query P is called an “equivalent rewriting” (ER) of Q using V if P only uses views in V, and P computes the exact answer of Q. That is: Pexp Q.

Page 47: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

47

Bucket algorithm

• It is the basic method for query rewriting

• Each subgoal must be “covered” by some view• Make a list of candidates (buckets) per query subgoal• Consider combinations of candidates from different buckets• Not all combos are “compatible”• Keep the compatible ones and minimize them• Discard the ones contained in another• Take their union

Page 48: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

48

The Bucket Algorithm: Example

V1(Std,Crs,Qtr,Title) :- reg(Std,Crs,Qtr), course(Crs,Title), Crs ≥ 500, Qtr ≥ Aut98V2(Std,Prof,Crs,Qtr) :- reg(Std,Crs,Qtr), teaches(Prof,Crs,Qtr)V3(Std,Crs) :- reg(Std,Crs,Qtr), Qtr ≤ Aut94V4(Prof,Crs,Title,Qtr) :- reg(Std,Crs,Qtr), course(Crs,Title), teaches(Prof,Crs,Qtr), Qtr ≤ Aut97

q(S,C,P) :- teaches(P,C,Q), reg(S,C,Q), course(C,T), C ≥ 300, Q ≥ Aut95

Step 1: For each query subgoal, put the relevant sources into a bucket

Page 49: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

49

The Bucket Algorithm: Example

V1(Std,Crs,Qtr,Title) :- reg(Std,Crs,Qtr), course(Crs,Title), Crs ≥ 500, Qtr ≥ Aut98V2(Std,Prof,Crs,Qtr) :- reg(Std,Crs,Qtr), teaches(Prof,Crs,Qtr)V3(Std,Crs) :- reg(Std,Crs,Qtr), Qtr ≤ Aut94V4(Prof,Crs,Title,Qtr) :- reg(Std,Crs,Qtr), course(Crs,Title), teaches(Prof,Crs,Qtr), Qtr ≤ Aut97

q(S,C,P) :- teaches(P,C,Q), reg(S,C,Q), course(C,T), C ≥ 300, Q ≥ Aut95

PProf, CCrs, QQtr

Note: Arithmetic predicates don’t pose a problem in this step

V2

Buckets

V4

teaches reg course

Page 50: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

50

The Bucket Algorithm: Example

V1(Std,Crs,Qtr,Title) :- reg(Std,Crs,Qtr), course(Crs,Title), Crs ≥ 500, Qtr ≥ Aut98V2(Std,Prof,Crs,Qtr) :- reg(Std,Crs,Qtr), teaches(Prof,Crs,Qtr)V3(Std,Crs) :- reg(Std,Crs,Qtr), Qtr ≤ Aut94V4(Prof,Crs,Title,Qtr) :- reg(Std,Crs,Qtr), course(Crs,Title), teaches(Prof,Crs,Qtr), Qtr ≤ Aut97

q(S,C,P) :- teaches(P,C,Q), reg(S,C,Q), course(C,T), C ≥ 300, Q ≥ Aut95

SStd, CCrs, QQtr

Note: V3 doesn’t work: arithmetic predicates not consistentV4 doesn’t work: S not in the output of V4

V2

Buckets

V4

teaches reg course

V1V2

Page 51: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

51

The Bucket Algorithm: Example

V1(Std,Crs,Qtr,Title) :- reg(Std,Crs,Qtr), course(Crs,Title), Crs ≥ 500, Qtr ≥ Aut98V2(Std,Prof,Crs,Qtr) :- reg(Std,Crs,Qtr), teaches(Prof,Crs,Qtr)V3(Std,Crs) :- reg(Std,Crs,Qtr), Qtr ≤ Aut94V4(Prof,Crs,Title,Qtr) :- reg(Std,Crs,Qtr), course(Crs,Title), teaches(Prof,Crs,Qtr), Qtr ≤ Aut97

q(S,C,P) :- teaches(P,C,Q), reg(S,C,Q), course(C,T), C ≥ 300, Q ≥ Aut95

CCrs, TTitle V2

Buckets

V4

teaches reg course

V1V2

V1V4

Page 52: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

52

The Bucket Algorithm: Example

Step 2:• Try all combos of views, one each from a bucket• Test satisfaction of arithmetic predicates in each case

– e.g., two views may not overlap, i.e., they may be inconsistent• Desired rewriting = union of surviving ones

Query rewriting 1:

q1(S,C,P) :- V2(S’,P,C,Q), V1(S,C,Q,T’), V1(S”,C,Q’,T)– no problem from arithmetic predicates (none in V2)– May or may not be minimal (why?)

V2V4

teaches reg course

V1V2

V1V4

Page 53: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

53

The Bucket Algorithm: Example

Unfolding of rewriting 1:q1’(S,C,P) :- r(S’,C,Q), t(P,C,Q), r(S,C,Q), c(C,T’), r(S”,C,Q’), c(C,T), C ≥ 500, Q ≥ Aut98, C ≥ 500, Q’ ≥ Aut98

• Black r’s can be mapped to green r:S’S, S”S, Q’Q

• Black c can be mapped to green c:just extend above mapping to TT’

Minimized unfolding of rewriting 1:q1m’(S,C,P) :- t(P,C,Q), r(S,C,Q), c(C,T’), C ≥ 500, Q ≥ Aut98Minimized rewriting 1:q1m(S,C,P) :- V2(S’,P,C,Q), V1(S,C,Q,T’)

Page 54: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

54

The Bucket Algorithm: Example

Query Rewriting 2:

q2(S,C,P) :- V2(S’,P,C,Q), V1(S,C,Q,T’), V4(P’,C,T,Q’)q2’(S,C,P) :- r(S’,C,Q), t(P,C,Q), r(S,C,Q), r(S,C,Q), c(C,T’), C ≥ 500, Q ≥ Aut98, r(S”,C,Q’), c(C,T), t(P’,C,Q’), Q’ ≤ Aut97• This combo is infeasible: consider the conjunction of arithmetic predicates

in V1 and V4

Query rewriting 3:

q3(S,C,P) :- V2(S’,P,C,Q), V2(S,P’,C,Q), V4(P”,C,T,Q’)

V2V4

teaches reg course

V1V2

V1V4

V2V4

teaches reg course

V1V2

V1V4

Page 55: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

55

The Bucket Algorithm: Example

Unfolding of rewriting 3:q3’(S,C,P) :- r(S’,C,Q), t(P,C,Q), r(S,C,Q), t(P’,C,Q), r(S”,C,Q’), c(C,T), t(P”,C,Q’), Q’ ≤ Aut97• The green subgoals can cover the black ones under the mapping: S’S,

S”S, P’P, P”P, Q’Q

Minimized rewriting 3:q3m(S,C,P) :- V2(S,P,C,Q), V4(P,C,T,Q)

Verify that there are only two rewritings that are not covered by others

Maximally Contained Rewriting:q’ = q1m q3m

Page 56: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

56

The Bucket Algorithm: Example 2

Query:q(X) :- cites(X,Y), cites(Y,X), sameTopic(X,Y)

Views:V4(A) :- cites(A,B), cites(B,A)V5(C,D) :- sameTopic(C,D)V6(F,H) :- cites(F,G), cites(G,H), sameTopic(F,G)

Note: Should we list V4(X) twice in the buckets?

V4

Buckets

V6

cites cites sameTopic

V4

V6

V5

V6

Page 57: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

57

Bucket algorithm• Query:

q(x):-car(x), sell(x, d), loc(d, ’windsor’).• Views:

v1(x) :- car(x).v2(x) :- car(x), sell(x, d).v3(x,d) :- sell(x, d), loc(d, ’windsor’).v4(x) :- sell(x, d), loc(d, ’windsor’).

Car(x) Sell(x,d) Loc(d,’windsor’)

V1(x)

V2(x) v2(x)

V3(x,d) V3(x,d)

V4(x) V4(x)

q(x):-v1(x), v2(x), v3(x,d).

q(x):-v1(x), v3(x,d).

q(x):-v1(x), v4(x).

q(x):-v2(x), v3(x,d).

q(x):-v2(x), v4(x).

Page 58: 1 Data integration Most slides are borrowed from Dr. Chen Li, UC Irvine.

58

• Projects: Information Manifold, Infomaster, Tukwila, …• Advantages:

– Scalable: new sources easy to add without modifying the mediator views

– All we need to do is to define the new source using the existing mediator views (predicates)

• Disadvantages:– Hard to decide how to answer a query using views

• Reading: Alon Halevy, Answering Queries Using Views: A Survey.

Projects using the LAV approach