1075 search results - page 11 / 215 » Toward a Verified Relational Database Management System |
248
click to vote
SIGMOD
2002
ACM
15 years 12 months ago
2002
ACM
XML is quickly becoming the de facto standard for data exchange over the Internet. This is creating a new set of data management requirements involving XML, such as the need to st...
89
Voted
ICDE
2010
IEEE
15 years 6 months ago
2010
IEEE
– Keyword search (KWS) over relational data, where the answers are multiple tuples connected via joins, has received significant attention in the past decade. Numerous solutions ...
ICFEM
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...
107
click to vote
CIKM
2009
Springer
15 years 6 months ago
2009
Springer
XML query languages use directional path expressions to locate data in an XML data collection. They are tightly coupled to the structure of a data collection, and can fail when ev...
162
click to vote
SIGMOD
2005
ACM
15 years 12 months ago
2005
ACM
This paper describes the overall architecture and design aspects of a hybrid relational and XML database system called System RX. We believe that such a system is fundamental in t...