Sciweavers

6597 search results - page 61 / 1320
» Orderings and Types in Databases
Sort
View
ICDT
2001
ACM
114views Database» more  ICDT 2001»
14 years 1 months ago
Subsumption for XML types
XML data is often used (validated, stored, queried, etc) with respect to di erent types. Understanding the relationship between these types can provide important information for ma...
Gabriel M. Kuper, Jérôme Siméo...
PODS
1999
ACM
89views Database» more  PODS 1999»
14 years 1 months ago
Type Inference in the Polymorphic Relational Algebra
We give a polymorphic account of the relational algebra. We introduce a formalism of \type formulas" speci cally tuned for relational algebra expressions, and present an algo...
Jan Van den Bussche, Emmanuel Waller
DBPL
2007
Springer
101views Database» more  DBPL 2007»
14 years 28 days ago
Efficient Inclusion for a Class of XML Types with Interleaving and Counting
Inclusion between XML types is important but expensive, and is much more expensive when unordered types are considered. We prove here that inclusion for XML types with interleavin...
Giorgio Ghelli, Dario Colazzo, Carlo Sartiani
XIMEP
2004
ACM
74views Database» more  XIMEP 2004»
14 years 2 months ago
Schema Validation and Type Annotation for Encoded Trees
We argue that efficient support for schema validation and type annotation in XQuery processors deserves as much attention as efficient evaluation techniques for XPath queries have...
Torsten Grust, Stefan Klinger
SIGMOD
2003
ACM
134views Database» more  SIGMOD 2003»
14 years 9 months ago
Location-based Spatial Queries
In this paper we propose an approach that enables mobile clients to determine the validity of previous queries based on their current locations. In order to make this possible, th...
Jun Zhang, Manli Zhu, Dimitris Papadias, Yufei Tao...