Sciweavers

1075 search results - page 118 / 215
» Toward a Verified Relational Database Management System
Sort
View
ISTA
2001
13 years 10 months ago
A Technique for Information System Integration
: Nowadays, a central topic in database science is the need of an integrated access to large amounts of data provided by various information sources whose contents are strictly rel...
Sergio Greco, Luigi Pontieri, Ester Zumpano
BTW
2003
Springer
88views Database» more  BTW 2003»
14 years 2 months ago
XML in der Oracle Datenbank "relational and beyond"
: In Geschäfts- und B2B-Anwendungen wird XML zunehmend als das Format für elektronisches Publizieren und den Austausch von Dokumenten eingesetzt. Richtiges Speichern von XML-Doku...
Ulrike Schwinn
DSN
2006
IEEE
14 years 2 months ago
Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures
—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...
Albert Meixner, Daniel J. Sorin
ASWC
2006
Springer
14 years 17 days ago
Minerva: A Scalable OWL Ontology Storage and Inference System
With the increasing use of ontologies in Semantic Web and enterprise knowledge management, it is critical to develop scalable and efficient ontology management systems. In this pap...
Jian Zhou, Li Ma, Qiaoling Liu, Lei Zhang, Yong Yu...
SIGMOD
2007
ACM
159views Database» more  SIGMOD 2007»
14 years 9 months ago
Anatomy of the ADO.NET entity framework
Traditional client-server applications relegate query and persistence operations on their data to database systems. The database system operates on data in the form of rows and ta...
Atul Adya, José A. Blakeley, S. Muralidhar,...