265 search results - page 17 / 53 » Logical Queries over Views: Decidability and Expressiveness |
JACM
2000
14 years 10 months ago
2000
We rework parts of the classical relational theory when the underlying domain is a structure with some interpreted operations that can be used in queries. We identify parts of the...
EDBTW
2006
Springer
15 years 2 days ago
2006
Springer
Abstract. Since XML is used as a storage format in an increasing number of applications, security has become an important issue in XML databases. One aspect of security is restrict...
CSL
2008
Springer
14 years 12 months ago
2008
Springer
We investigate decidability, complexity and expressive power issues for (first-order) separation logic with one record field (herein called SL) and its fragments. SL can specify pr...
AIIA
2007
Springer
15 years 4 months ago
2007
Springer
Relational database (DB) management systems provide the standard means for structuring and querying large amounts of data. However, to access such data the exact structure of the D...
SIGMOD
1997
ACM
15 years 2 months ago
1997
ACM
Data warehouses store materialized views over base data from external sources. Clients typically perform complex read-only queries on the views. The views are refreshed periodical...