Sciweavers

3319 search results - page 74 / 664
» Type Theoretical Databases
Sort
View
ADBIS
2007
Springer
124views Database» more  ADBIS 2007»
15 years 4 months ago
Incremental Validation of String-Based XML Data in Databases, File Systems, and Streams
Although the native (tree-like) storage of XML data becomes more and more important there will be an enduring demand to manage XML data in its textual representation, for instance ...
Beda Christoph Hammerschmidt, Christian Werner, Yl...
SSDBM
2003
IEEE
115views Database» more  SSDBM 2003»
15 years 3 months ago
Efficient Update and Retrieval of Objects in a Multiresolution Geospatial Database
Many emerging applications benefit from the extraction of geospatial data specified at different resolutions for viewing purposes. Data must also be topologically accurate and up-...
Sham Prasher, Xiaofang Zhou
CIKM
2008
Springer
14 years 11 months ago
Modeling and exploiting query interactions in database systems
The typical workload in a database system consists of a mixture of multiple queries of different types, running concurrently and interacting with each other. Hence, optimizing per...
Mumtaz Ahmad, Ashraf Aboulnaga, Shivnath Babu, Kam...
ICSE
2004
IEEE-ACM
15 years 10 months ago
Static Checking of Dynamically Generated Queries in Database Applications
Many data-intensive applications dynamically construct queries in response to client requests and execute them. Java servlets, e.g., can create string representations of SQL queri...
Carl Gould, Zhendong Su, Premkumar T. Devanbu
POPL
2002
ACM
15 years 10 months ago
Functional logic overloading
Functional logic overloading is a novel approach to userdefined overloading that extends Haskell's concept of type classes in significant ways. Whereas type classes are conce...
Matthias Neubauer, Peter Thiemann, Martin Gasbichl...