3009 search results - page 145 / 602 » The Expressive Rate of Constraints |
95
Voted
SIGMOD
2011
ACM
14 years 29 days ago
2011
ACM
We study the problem of generating synthetic databases having declaratively specified characteristics. This problem is motivated by database system and application testing, data ...
153
click to vote
ICDE
2005
IEEE
15 years 11 months ago
2005
IEEE
The SQL queries produced in XML-to-SQL query translation are often unnecessarily complex, even for simple input XML queries. In this paper we argue that relational systems can do ...
104
Voted
VL
2003
IEEE
15 years 3 months ago
2003
IEEE
Constraint diagrams are a visual notation designed to complement the Unified Modeling Language in the development of software systems. They generalize Venn diagrams and Euler cir...
116
click to vote
ISORC
1998
IEEE
15 years 2 months ago
1998
IEEE
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
88
Voted
CP
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...