Sciweavers

7 search results - page 2 / 2
» Abstract Indexing Mechanism of the Extensible DBMS Modus
Sort
View
CIE
2008
Springer
13 years 8 months ago
Recursion on Nested Datatypes in Dependent Type Theory
Nested datatypes are families of datatypes that are indexed over all types and where the datatype constructors relate different members of the family. This may be used to represent...
Ralph Matthes
EDBT
2009
ACM
164views Database» more  EDBT 2009»
13 years 11 months ago
Fast object search on road networks
In this paper, we present ROAD, a general framework to evaluate Location-Dependent Spatial Queries (LDSQ)s that searches for spatial objects on road networks. By exploiting search...
Ken C. K. Lee, Wang-Chien Lee, Baihua Zheng