Sciweavers

13734 search results - page 271 / 2747
» Abstractions of data types
Sort
View
ECOOP
2005
Springer
16 years 2 days ago
Towards Reusable Heterogeneous Data-Centric Disentangled Parts
This paper presents our ongoing research towards a safe system evolution. Our approach is based on data-centric, objectoriented systems. Within those systems we utilise (i) multi-...
Michael Reinsch, Takuo Watanabe
ICDT
2001
ACM
189views Database» more  ICDT 2001»
15 years 11 months ago
A Semi-monad for Semi-structured Data
This document proposes an algebra for XML Query. The algebra has been submitted to the W3C XML Query Working Group. A novel feature of the algebra is the use of regular-expression ...
Mary F. Fernández, Jérôme Sim&...
VMCAI
2005
Springer
16 years 1 days ago
Generalized Typestate Checking for Data Structure Consistency
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
Patrick Lam, Viktor Kuncak, Martin C. Rinard
VLDB
1995
ACM
91views Database» more  VLDB 1995»
15 years 10 months ago
A Data Transformation System for Biological Data Sources
Scientific data of importance to biologists in the Humitn Genome Project resides not only in conventional da.tabases, but in structured files maintained in a number of different f...
Peter Buneman, Susan B. Davidson, Kyle Hart, G. Ch...
DEXA
2004
Springer
106views Database» more  DEXA 2004»
15 years 12 months ago
A Graph-Based Data Model to Represent Transaction Time in Semistructured Data
Abstract. In this paper we propose the Graphical sEmistructured teMporal data model (GEM), which is based on labeled graphs and allows one to represent in a uniform way semistructu...
Carlo Combi, Barbara Oliboni, Elisa Quintarelli