Outline

4/30/98

Click here to start

Table of Contents

Softbot = Software Robot

The Tuple Extraction Problem

Note the Movie Names….

Surrounded by <B> and </B>

Similarly, Showtimes by <I>, </I>

Course Topics by Week

Knowledge Representation

Reasoning Algorithms

Summary: Propositional Logic

Propositional. Logic vs First Order

More Definitions

Interaction of quant + connective

Nested Quantifiers: Order matters!

Today’s KR Sequence

More Terminology

Integrity Constraints

Foreign Key Constraints

Functional Dependencies

Relational Algebra

Selection Example

Cartesian Product

Cartesian Product Example

Logic Based Query Languages

Datalog Concepts

Predicates and Atoms

Datalog Rules and Queries

Correspondence: Datalog ~ Relational Algebra

The Meaning of Datalog Rules

Transitive Closure

Recursion in Datalog

Built in Predicates

Negated Subgoals

Stratified Negation is Ok

Subtleties with Stratified Rules

Motivation: Info Integration

Information Integration

Representation I

Representation II:

Representation II

A Plan to Solve the Query

Query Containment

Perspective from Logic

Containment Mappings

Computing Containment

Reusing Materialized Views

Back to Information Integration

A Plan to Solve the Query

How verify this plan answers query?

Author: weld

Email: weld@cs.washington.edu

Other information:
CSE 592, Lecture 5

Download presentation source