Sciweavers

13734 search results - page 132 / 2747
» Abstractions of data types
Sort
View
JFP
2002
108views more  JFP 2002»
15 years 3 months ago
A calculus with polymorphic and polyvariant flow types
We present CIL , a typed -calculus which serves as the foundation for a typed intermediate language for optimizing compilers for higher-order polymorphic programming languages. Th...
J. B. Wells, Allyn Dimock, Robert Muller, Franklyn...
DOLAP
2007
ACM
15 years 7 months ago
Optimal chunking of large multidimensional arrays for data warehousing
ss domain. Using this more abstract approach means that more data sources of varying types can be incorporated with less effort, and such heterogeneous data sources might be very r...
Ekow J. Otoo, Doron Rotem, Sridhar Seshadri
ICDT
2001
ACM
114views Database» more  ICDT 2001»
15 years 8 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...
VLDB
1999
ACM
131views Database» more  VLDB 1999»
15 years 8 months ago
High-Performance Extensible Indexing
Today’s object-relational DBMSs (ORDBMSs) are designed to support novel application domains by providing an extensible architecture, supplemented by domain-specific database ex...
Marcel Kornacker
139
Voted
DEBU
2010
99views more  DEBU 2010»
15 years 3 months ago
Search-As-You-Type: Opportunities and Challenges
Traditional information systems return answers after a user submits a complete query. Users often feel "left in the dark" when they have limited knowledge about the unde...
Chen Li, Guoliang Li