Outline

Table of Contents

Outline

Logistics

Course Topics by Week

Demos

Motivation: Info Integration

Knowledge Representation

Relational Algebra

Example: Empl JOIN Dependents

Propositional. Logic vs First Order

Datalog Rules, Programs & Queries

The Meaning of Datalog Rules

Correspondence: Datalog ~ Relational Algebra

IIIIS Representation I

IIIIS Representation II:

IIIIIS Representation III

Unsafe Rules

Two Questions

A Plan to Solve the Query

How verify this plan answers query?

Outline

Problem: Want All the Reviews

Maximality

Datalog programs

Datalog Program ? Dataflow Diagram

Recursive Query Plans

Solution to Two Open Problems

Example

World Relations & Source Relations

Source Descriptions

Functional Dependencies

Example Query

More Answers because of FDs

Data Dependency

Maximal Query Plan

Limitations on Binding Patterns

Data Dependency

Maximal Query Plan

Dataflow View

Outline

Overview of Construction

Skolem Functions

Inverse Rules

Example

Handling Skolem Functions

The Chase

Chase Rules

Domain Rules

Priming the Pump

Generating Domain Rules

Maximality of Constructed Plan

Arithmetic Predicates <

Conclusions

Email: weld@cs.washington.edu

Other information:
CSE 592, Lecture 6

Download presentation source