| NSF Org: |
IIS Div Of Information & Intelligent Systems |
| Recipient: |
|
| Initial Amendment Date: | June 23, 2006 |
| Latest Amendment Date: | June 23, 2006 |
| Award Number: | 0621438 |
| Award Instrument: | Standard Grant |
| Program Manager: |
James French
IIS Div Of Information & Intelligent Systems CSE Direct For Computer & Info Scie & Enginr |
| Start Date: | July 1, 2006 |
| End Date: | June 30, 2008 (Estimated) |
| Total Intended Award Amount: | $200,000.00 |
| Total Awarded Amount to Date: | $200,000.00 |
| Funds Obligated to Date: |
|
| History of Investigator: |
|
| Recipient Sponsored Research Office: |
341 PINE TREE RD ITHACA NY US 14850-2820 (607)255-5014 |
| Sponsor Congressional District: |
|
| Primary Place of Performance: |
341 PINE TREE RD ITHACA NY US 14850-2820 |
| Primary Place of
Performance Congressional District: |
|
| Unique Entity Identifier (UEI): |
|
| Parent UEI: |
|
| NSF Program(s): | COLLABORATIVE SYSTEMS |
| Primary Program Source: |
|
| Program Reference Code(s): |
|
| Program Element Code(s): |
|
| Award Agency Code: | 4900 |
| Fund Agency Code: | 4900 |
| Assistance Listing Number(s): | 47.070 |
ABSTRACT
IIS-0621438
Johannes E Gehrke
Cornell University
Developing Formal Semantics for Data Streams
In many applications, for example stock monitoring to large-scale system
monitoring, data is not static but arrives in high-speed data streams. Unlike
in traditional Database Management Systems, research in data streams has been
driven by the development of many application-specific systems and languages.
The result has been a plethora of stream query languages, with no unified
formal framework for optimization or general study.
This project is developing a formal semantics to unify data stream query
languages, like what already exists for traditional relational databases.
This project is (1) developing a formal data stream language powerful enough
to encompass all of the existing data stream query languages, (2) using this
framework to identify the expressive power of these existing languages, and
(3) developing a language hierarchy within this framework that identifies the
trade-off between expressiveness and performance. The proposed educational
program will train a graduate student for research in the theory of data
streams. Success in this project will bring tremendous benefits to data
stream processing, as it will provide a uniform framework for studying
optimization of data stream queries. It will also connect the area of
mathematical logic with data stream systems, a connection that has already
been shown to be beneficial for traditional database systems. Our results
will be disseminated via the following website:
http://www.cs.cornell.edu/database/cayuga/expressiveness/.
PUBLICATIONS PRODUCED AS A RESULT OF THIS RESEARCH
Note:
When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external
site maintained by the publisher. Some full text articles may not yet be available without a
charge during the embargo (administrative interval).
Some links on this page may take you to non-federal websites. Their policies may differ from
this site.
Please report errors in award information by writing to: awardsearch@nsf.gov.
