3319 search results - page 15 / 664 » Type Theoretical Databases |
CL
2000
Springer
15 years 2 months ago
2000
Springer
Generalized databases will be examined, in which attributes can be sets of attributes, or sets of sets of attributes, and other higher type constructs. A precise semantics will be ...
HASKELL
2006
ACM
15 years 3 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
153
click to vote
ICDE
1999
IEEE
15 years 11 months ago
1999
IEEE
Similarity searching in text databases with multiple field types is still an open problem. We experimented with CORDIS and we evaluated the effectiveness of many text retrieval me...
BMCBI
2006
14 years 9 months ago
2006
Background: Bacterial typing schemes based on the sequences of genes encoding surface antigens require databases that provide a uniform, curated, and widely accepted nomenclature ...
71
Voted
CAISE
2006
Springer
15 years 1 months ago
2006
Springer
Our research explores a new database extension. Our aim is to see how far it is possible to support collaborative editing and document provenance with database technology, and exte...