Search Sciweavers | Sciweavers

181 search results - page 2 / 37

» On Quantification with A Finite Universe

click to vote

FOIKS
2006
Springer

123views Information Technology» more FOIKS 2006»

Equational Constraint Solving Via a Restricted Form of Universal Quantification

13 years 9 months ago

Download www.sc.ehu.es

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...

Javier Álvez, Paqui Lucio

claim paper

Read More »

click to vote

SIGMOD
2006
ACM

128views Database» more SIGMOD 2006»

Temporal aggregates and temporal universal quantification in standard SQL

14 years 6 months ago

Download www.csie.ntu.edu.tw

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...

Esteban Zimányi

claim paper

Read More »

click to vote

VLDB
1997
ACM

93views Database» more VLDB 1997»

Optimizing Queries with Universal Quantification in Object-Oriented and Object-Relational Databases

13 years 10 months ago