5130 search results - page 168 / 1026 » Constraint Query Languages |
119
click to vote
FSTTCS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract Decision procedures underlie many program analysis problems. Traditional program analysis algorithms attempt to prove some property about a single, statically-defined prog...
119
click to vote
ESOP
2003
Springer
15 years 8 months ago
2003
Springer
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
100
click to vote
IDEAS
2005
IEEE
15 years 8 months ago
2005
IEEE
The modern XML query language called XQuery includes advanced facilities both to query and to transform XML data. An XQuery query optimizer should be able to optimize any query. F...
118
click to vote
VLDB
1999
ACM
15 years 7 months ago
1999
ACM
In this paper, we describe our recent experiences in adding a number of object-relational extensions to the DB2 Universal Database UDB system as part of a research and developme...
155
click to vote
CINQ
2004
Springer
15 years 6 months ago
2004
Springer
Inductive databases (IDBs) have been proposed to afford the problem of knowledge discovery from huge databases. With an IDB the user/analyst performs a set of very different operat...