Sciweavers

1075 search results - page 80 / 215
» Toward a Verified Relational Database Management System
Sort
View
SIGMOD
2008
ACM
145views Database» more  SIGMOD 2008»
14 years 9 months ago
Optimizing complex queries with multiple relation instances
Today's query processing engines do not take advantage of the multiple occurrences of a relation in a query to improve performance. Instead, each instance is treated as a dis...
Yu Cao, Gopal C. Das, Chee Yong Chan, Kian-Lee Tan
TIME
2009
IEEE
14 years 3 months ago
The AXML Artifact Model
—Towards a data-centric workflow approach, we introduce an artifact model to capture data and workflow management activities in distributed settings. The model is built on Acti...
Serge Abiteboul, Pierre Bourhis, Alban Galland, Bo...
SAC
2010
ACM
14 years 3 months ago
Web-based graphical querying of databases through an ontology: the Wonder system
Biological scientists have made large amounts of data available on the Web, which can be accessed by canned or precomputed queries presented via web forms. To satisfy further info...
Diego Calvanese, C. Maria Keet, Werner Nutt, Maria...
BNCOD
2003
97views Database» more  BNCOD 2003»
13 years 10 months ago
ProSQL: A Prototyping Tool for SQL Temporal Language Extensions
This paper describes ProSQL, a novel prototyping tool to support the development of extensions to SQL. ProSQL provides a simple way to prototype the features of a proposed extensio...
James Green, Roger Johnson
STTT
2008
134views more  STTT 2008»
13 years 8 months ago
Automated verification of access control policies using a SAT solver
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...
Graham Hughes, Tevfik Bultan