Table of Contents
PPT Slide
Relational Database Systems
The Gap Between Theory & Practice
New Applications
New Requirements
New Proposals for DB Languages
Why Do We Need a Formal Calculus?
What is an Effective Calculus?
Rest of the Talk
Case Study: ODMG OQL
OQL:
Monoids
Some Monoids
Example
Monoid Comprehensions
Examples
Based on Abstract Algebra
Formal Semantics
Examples
Translating OQL
Normalization
Example
Unnesting OQL Queries
Why Bother with Query Unnesting?
But Some Queries are Difficult to Unnest
Lessons from Relational Databases
A Need for an Algebra
Why both Algebra and Calculus?
Monoid Algebra
Example of Query Unnesting
PPT Slide
PPT Slide
Translating Calculus to Algebra
Implementation
Other Optimization Techniques
Evaluation Order of Operators
The Operator Ordering Algorithm
Handling Object Identity
Conclusion
Future Work
Related Work
|