1075 search results - page 144 / 215 » Toward a Verified Relational Database Management System |
SIGMOD
2009
ACM
14 years 9 months ago
2009
ACM
DejaVu is an event processing system that integrates declarative pattern matching over live and archived streams of events on top of a novel system architecture. We propose to dem...
SSDBM
2010
IEEE
14 years 1 months ago
2010
IEEE
Abstract— This paper presents LIVE, a complete DBMS designed for applications with many stored derived relations, and with a need for simple versioning capabilities when base dat...
AMW
2009
13 years 10 months ago
2009
Conventional operators for data retrieval are either based on exact matching or on total order relationship among elements. Neither of them is appropriate to manage complex data, s...
SIGMOD
2001
ACM
14 years 9 months ago
2001
ACM
Users often need to optimize the selection of objects by appropriately weighting the importance of multiple object attributes. Such optimization problems appear often in operation...
SIGMOD
2010
ACM
13 years 3 months ago
2010
ACM
This demonstration presents Crescando, an implementation of a distributed relational table that guarantees predictable response time on unpredictable workloads. In Crescando, data...