1075 search results - page 209 / 215 » Toward a Verified Relational Database Management System |
COOPIS
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
WWW
2011
ACM
13 years 3 months ago
2011
ACM
The problem of answering SPARQL queries over virtual SPARQL views is commonly encountered in a number of settings, including while enforcing security policies to access RDF data, ...
ICDE
2006
IEEE
14 years 10 months ago
2006
IEEE
Speed to market is critical to companies that are driven by sales in a competitive market. The earlier a potential customer can be approached in the decision making process of a p...
ICDE
2003
IEEE
14 years 10 months ago
2003
IEEE
We present a query architecture in which join operators are decomposed into their constituent data structures (State Modules, or SteMs), and dataflow among these SteMs is managed ...
WWW
2002
ACM
14 years 9 months ago
2002
ACM
Table is a commonly used presentation scheme, especially for describing relational information. However, table understanding remains an open problem. In this paper, we consider th...