| Deductive Databases: Semantics | |
|---|---|
|
Syntax of First-Order Logic, | slides |
| Notes on Lattices | slides |
| Fixpoint-Based Semantics | slides |
| SLD-Resolution | slides |
| The Magic Set Method | slides |
| Compilation and Optimization | slides |
| Stable Models, Choice and Aggregates | |
|---|---|
|
Stable Models | slides |
| Stratification | slides |
| Choice Models | slides |
| Aggregates | slides |
| State-Based Reasoning | |
|---|---|
|
Datalog1S | slides |
| XY-Stratification | slides |
User -Defined Aggregates in ATLAS
| with Data Mining applications | |
|---|---|
|
Introduction to UDAs | slides |
|
Data Mining in ATLAS
|
Data Streams: Query Languages and Systems
| Continuous Queries | |
|---|---|
|
Introduction and Overview [by B. Babcock et al., PODS 2002] | slides |
| Introduction to CQL [by J. Widom, Stanford Univ.] | slides |
|
Windows in SQL:1999 by Kenn Guion, QED Solutions Inc. | report |
|
ATLAS: a Complete SQL Extension for streams |
XML
| Short Overview of | |
|---|---|
|
W3C Activities & Standards | slides |
|
XML Data Languages
| slides |
|
Temporal XML
|