181 search results - page 2 / 37 » On Quantification with A Finite Universe |
94
Voted
FOIKS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In this paper, we present a syntactic method for solving firstorder equational constraints over term algebras. The presented method exploits a novel notion of quasi-solve...
160
click to vote
SIGMOD
2006
ACM
15 years 11 months ago
2006
ACM
Although it has been acknowledged for many years that querying and updating time-varying information using standard (i.e., non-temporal) SQL is a challenging task, the proposed te...
VLDB
1997
ACM
15 years 3 months ago
1997
ACM
ICLP
1989
Springer
15 years 3 months ago
1989
Springer
ICDE
1990
IEEE
15 years 3 months ago
1990
IEEE
