1180 search results - page 81 / 236 » A Logical Data Model for Integrated Geographical Databases |
137
click to vote
TACAS
1999
Springer
15 years 8 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
146
click to vote
NAR
2011
14 years 7 months ago
2011
The Munich Information Center for Protein Sequences (MIPS at the Helmholtz Center for Environmental Health, Neuherberg, Germany) has many years of experience in providing annotate...
222
click to vote
GIS
2004
ACM
16 years 5 months ago
2004
ACM
In the geometric data model [6], spatio-temporal data are modelled as a finite collection of triangles that are transformed by time-dependent affinities. To facilitate querying an...
151
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: To interpret microarray experiments, several ontological analysis tools have been developed. However, current tools are limited to specific organisms. Results: We deve...
135
click to vote
P2PKM
2004
15 years 5 months ago
2004
Abstract. We are interested in the development of a database management layer which is completely portable and, therefore, "pluggable" on top of multiple host platforms. ...