Sciweavers

796 search results - page 16 / 160
» A Formalization of ODMG Queries
Sort
View
ICFCA
2007
Springer
15 years 6 months ago
Computing Intensions of Digital Library Collections
We model a Digital Library as a formal context in which objects are documents and attributes are terms describing documents contents. A formal concept is very close to the notion o...
Carlo Meghini, Nicolas Spyratos
ICDE
2007
IEEE
114views Database» more  ICDE 2007»
16 years 1 months ago
Reverse Query Processing
Traditionally, query processing gets a query and a database instance as input and returns the result of the query for that particular database instance. Reverse query processing (...
Carsten Binnig, Donald Kossmann, Eric Lo
DEBU
2010
134views more  DEBU 2010»
14 years 9 months ago
Causality in Databases
Provenance is often used to validate data, by verifying its origin and explaining its derivation. When searching for "causes" of tuples in the query results or in genera...
Alexandra Meliou, Wolfgang Gatterbauer, Joseph Y. ...
93
Voted
GCC
2003
Springer
15 years 5 months ago
A Formal Data Model and Algebra for Resource Sharing in Grid
Management of various complex resources is an important issue to be well done, in order to fulfill the potential of Grid. In this paper, we propose a formal data model and algebra ...
Qiujian Sheng, Zhongzhi Shi
SIGMOD
2005
ACM
99views Database» more  SIGMOD 2005»
15 years 12 months ago
LiXQuery: a formal foundation for XQuery research
XQuery is considered to become the standard query language for XML documents. However, the complete XQuery syntax and semantics seem too complicated for research and educational p...
Jan Hidders, Philippe Michiels, Jan Paredaens, Roe...