R. Clayton (rclayton@clayton.cs.monmouth.edu)
Wed, 17 Jan 2001 19:01:09 -0500 (EST)
[Here's the job talk I mentioned in class. This person's being considered for
the database opening in the department.]
Making Java a Database Language
Suad Alagic
Department of Computer Science
Wichita State University
Date: March 14, 2001
Time: 1:30pm - 2:30pm
Place: E118
Abstract
What does it really take to make Java a database language? The talk will show
that accomplishing this goal presents a major research and implementation
challenge. Three significant and orthogonal limitations of the Java technology
must be resolved: lack of assertions (constraints), lack of parametric
polymorphism, and lack of a suitable model of persistence.
The existing research covers particular extensions by attempting to overcome a
single limitation without any considerations for the remaining two. But a
full-fledged Java database technology requires an integrated solution for these
limitations. Such a solution will be presented in the talk. This solution
eliminates the impedance mismatch between Java and query languages. It allows
static type checking of queries and compile-time query optimization, as well as
the integration of the notion of a transaction into the Java technology.
The availability of constraints makes it possible to establish a formal theory
that is semantic in nature unlike typical type systems. This temporal model
theory applies to a declarative Java query and transaction language. It offers
results on behavioral properties for correct software reuse and on verification
of database transactions.
The implementation techniques for some essential components of the proposed
technology will also be presented in this talk.
This archive was generated by hypermail 2.0b3 on Thu May 17 2001 - 12:00:05 EDT