Sciweavers

3319 search results - page 16 / 664
» Type Theoretical Databases
Sort
View
DBPL
1989
Springer
120views Database» more  DBPL 1989»
15 years 1 months ago
A Framework for Comparing Type Systems for Database Programming Languages
Several proposals have been published in recent years for database programming languages (DBPLs), many of which have been object-oriented. Our goal in this paper is not to argue f...
Antonio Albano, Alan Dearle, Giorgio Ghelli, Chris...
SSD
1993
Springer
152views Database» more  SSD 1993»
15 years 1 months ago
Realms: A Foundation for Spatial Data Types in Database Systems
: Spatial data types or algebras for database systems should (i) be fully general (which means, closed under set operations, hence e.g. a region value can be a set of polygons with...
Ralf Hartmut Güting, Markus Schneider
84
Voted
BMCBI
2004
139views more  BMCBI 2004»
14 years 9 months ago
mlstdbNet - distributed multi-locus sequence typing (MLST) databases
Background: Multi-locus sequence typing (MLST) is a method of typing that facilitates the discrimination of microbial isolates by comparing the sequences of housekeeping gene frag...
Keith A. Jolley, Man-Suen Chan, Martin C. J. Maide...
ADC
2008
Springer
146views Database» more  ADC 2008»
15 years 4 months ago
A Typed Higher-Order Calculus for Querying XML Databases
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
Qing Wang, Klaus-Dieter Schewe
ICDT
1997
ACM
95views Database» more  ICDT 1997»
15 years 1 months ago
Type-Consistency Problems for Queries in Object-Oriented Databases
Abstract Method invocation mechanism is one of the essential features in objectoriented programming languages. This mechanism contributes to data encapsulation and code reuse, but ...
Yasunori Ishihara, Hiroyuki Seki, Minoru Ito