1193 search results - page 109 / 239 » Database Query Languages and Functional Logic Programming |
156
click to vote
BMCBI
2011
14 years 9 months ago
2011
Background: Remote homology detection is a hard computational problem. Most approaches have trained computational models by using either full protein sequences or multiple sequenc...
138
click to vote
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
105
click to vote
DEBU
2007
15 years 2 months ago
2007
Modern database systems mostly support representation and retrieval of data belonging to different scripts and different languages. But the database functions are mostly designed ...
119
Voted
PODS
2010
ACM
15 years 2 months ago
2010
ACM
We study functional and multivalued dependencies over SQL tables with NOT NULL constraints. Under a no-information interpretation of null values we develop tools for reasoning. We...
128
Voted
MTSR
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we describe the development of an ontology of molecular and phenotypic cereals data, realized by integrating existing public web databases with the database developed...