105 search results - page 14 / 21 » Proving optimizations correct using parameterized program eq... |
ADBIS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Query reformulation techniques based on semantic knowledge have been used in two ways in database management systems, namely for query optimization and for data integrati...
SIGMOD
1995
ACM
15 years 3 months ago
1995
ACM
We study the problem of e cient maintenance of materialized views that may contain duplicates. This problem is particularly important when queries against such views involve aggre...
71
Voted
WEA
2005
Springer
15 years 5 months ago
2005
Springer
We present the problem of statically distributing instructions of a common programming language, a problem which we prove equivalent to the multiterminal cut problem. We design eļ¬...
112
click to vote
ECOOP
1995
Springer
15 years 3 months ago
1995
Springer
Abstract. This paper presents a framework of speciļ¬cation and veriļ¬cation for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
115
click to vote
KBSE
2000
IEEE
15 years 3 months ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...