1075 search results - page 5 / 215 » Toward a Verified Relational Database Management System |
SIGMOD
2007
ACM
14 years 10 months ago
2007
ACM
Graphs are prevalently used to model the relationships between objects in various domains. With the increasing usage of graph databases, it has become more and more demanding to e...
CIKM
2008
Springer
13 years 11 months ago
2008
Springer
ICDE
2007
IEEE
14 years 11 months ago
2007
IEEE
The content-based publish/subscribe (pub/sub) paradigm for system design is becoming increasingly popular, offering unique benefits for a large number of data-intensive applicatio...
ICDE
2006
IEEE
14 years 11 months ago
2006
IEEE
In this paper, we present the ArchIS system that achieves full-functionality transaction-time databases without requiring temporal extensions in XML or database standards. ArchIS&...
SYRCODIS
2008
13 years 11 months ago
2008
In the last few years, XML became a de-facto standard for the exchange of structured and semi-structured data. The database research community took this development into account b...