1075 search results - page 20 / 215 » Toward a Verified Relational Database Management System |
135
click to vote
AMKM
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Distributed knowledge management systems (DKMS) have been suggested to meet the requirements of today’s knowledge management. Peer-to-peer systems offer technical found...
AAAI
1990
15 years 3 months ago
1990
The Intelligent Database Interface (IDI) is a cache-based interface that is designed to provide Artificial Intelligence systems with efficient access to one or more databases on o...
117
click to vote
XSYM
2004
Springer
15 years 7 months ago
2004
Springer
Processing XML documents in multi-user database management environments requires a suitable storage model of XML data, support of typical XML document processing (XDP) interfaces, ...
131
click to vote
EDBT
2008
ACM
15 years 3 months ago
2008
ACM
In this paper we present our approach towards a modularized database management system (DBMS) whose components can be adapted at runtime and show the modularization of a DBMS bene...
105
click to vote
CIKM
2008
Springer
15 years 3 months ago
2008
Springer
This demonstration presents the concepts, design, and implementation of SCDE, a relational database systems extended with the ability to solve constraint satisfaction problems (CS...