176 search results - page 2 / 36 » On the analysis of queries with counting constraints |
SAT
2004
Springer
13 years 10 months ago
2004
Springer
Kolaitis and Vardi pointed out that constraint satisfaction and conjunctive query containment are essentially the same problem. We study the Boolean conjunctive queries under a mor...
ICDE
2009
IEEE
14 years 2 days ago
2009
IEEE
Applications involving analysis of data streams have gained significant popularity and importance. Frequency counting, frequent elements and top-k queries form a class of operato...
CJ
2010
13 years 2 months ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
ICMCS
1999
IEEE
13 years 9 months ago
1999
IEEE
We are interested in the content analysis of video from a collection of spatially distant cameras viewing a single environment. We address the task of counting the number of diffe...
ICDE
1991
IEEE
13 years 8 months ago
1991
IEEE
— Constraints play an important role in the efficient query evaluation in deductive databases. In this paper, constraint-based query evaluation in deductive databases is investi...