3319 search results - page 259 / 664 » Type Theoretical Databases |
160
click to vote
BXML
2003
15 years 4 months ago
2003
We present an approach of how to automatically extract an XML document structure from a conceptual data model that describes the content of the document. We use UML class diagrams ...
143
click to vote
BMCBI
2004
15 years 3 months ago
2004
Background: Polymorphic tandem repeat typing is a new generic technology which has been proved to be very efficient for bacterial pathogens such as B. anthracis, M. tuberculosis, ...
148
click to vote
ICDE
2012
IEEE
13 years 5 months ago
2012
IEEE
Abstract—Most objects and data in the real world are interconnected, forming complex, heterogeneous but often semistructured information networks. However, many database research...
143
click to vote
TLCA
2009
Springer
15 years 9 months ago
2009
Springer
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fr...
138
click to vote
TLCA
2009
Springer
15 years 9 months ago
2009
Springer
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...