-
2
-
-
0034294212
-
Relational transducers for electronic commerce
-
S. Abiteboul, V. Vianu, B. S. Fordham, and Y. Yesha. Relational transducers for electronic commerce. JCSS, 61(2):236-269, 2000.
-
(2000)
JCSS
, vol.61
, Issue.2
, pp. 236-269
-
-
Abiteboul, S.1
Vianu, V.2
Fordham, B.S.3
Yesha, Y.4
-
3
-
-
0002541139
-
Answering queries using materialized views with disjunctions
-
F. N. Afrati, M. Gergatsoulis, and T. G. Kavalieros. Answering queries using materialized views with disjunctions. In ICDT, 1999.
-
(1999)
ICDT
-
-
Afrati, F.N.1
Gergatsoulis, M.2
Kavalieros, T.G.3
-
4
-
-
33750731959
-
Rewriting queries using views in the presence of arithmetic comparisons
-
F. N. Afrati, C. Li, and P. Mitra. Rewriting queries using views in the presence of arithmetic comparisons. Theor. Comput. Set., 368(1-2):88-123, 2006.
-
(2006)
Theor. Comput. Set
, vol.368
, Issue.1-2
, pp. 88-123
-
-
Afrati, F.N.1
Li, C.2
Mitra, P.3
-
5
-
-
33745587348
-
Automatic composition of transition-based semantic web services with messaging
-
D. Berardi, D. Calvanese, G. D. Giacomo, R. Hull, and M. Mecella. Automatic composition of transition-based semantic web services with messaging. In VLDB, 2005.
-
(2005)
VLDB
-
-
Berardi, D.1
Calvanese, D.2
Giacomo, G.D.3
Hull, R.4
Mecella, M.5
-
6
-
-
22944452100
-
Automatic service composition based on behavioral descriptions
-
D. Berardi, D. Calvanese, G. D. Giacomo, M. Lenz-erini, and M. Mecella. Automatic service composition based on behavioral descriptions. Int. J. Cooperative Inf. Syst., 14(4):333-376, 2005.
-
(2005)
Int. J. Cooperative Inf. Syst
, vol.14
, Issue.4
, pp. 333-376
-
-
Berardi, D.1
Calvanese, D.2
Giacomo, G.D.3
Lenz-erini, M.4
Mecella, M.5
-
7
-
-
84947109155
-
-
Business Process Execution Language for Web Services version 1.1 (BEPL4WS), 2004. http://www.ibm.com/developerworks/library/specification/ws- bpel/.
-
Business Process Execution Language for Web Services version 1.1 (BEPL4WS), 2004. http://www.ibm.com/developerworks/library/specification/ws- bpel/.
-
-
-
-
8
-
-
10644261399
-
Rewriting of regular expressions and regular path queries
-
D. Calvanese, G. D. Giacomo, M. Lenzerini, and M. Y. Vardi. Rewriting of regular expressions and regular path queries. JCSS, 64(3):443-465, 2002.
-
(2002)
JCSS
, vol.64
, Issue.3
, pp. 443-465
-
-
Calvanese, D.1
Giacomo, G.D.2
Lenzerini, M.3
Vardi, M.Y.4
-
9
-
-
18144381089
-
Decidable containment of recursive queries
-
D. Calvanese, G. D. Giacomo, and M. Y. Vardi. Decidable containment of recursive queries. TCS, 336(1) :33-56, 2005.
-
(2005)
TCS
, vol.336
, Issue.1
, pp. 33-56
-
-
Calvanese, D.1
Giacomo, G.D.2
Vardi, M.Y.3
-
10
-
-
0031075172
-
On the equivalence of recursive and nonrecursive datalog programs
-
S. Chaudhuri and M. Y. Vardi. On the equivalence of recursive and nonrecursive datalog programs. JCSS, 54(l):61-78, 1997.
-
(1997)
JCSS
, vol.54
, Issue.L
, pp. 61-78
-
-
Chaudhuri, S.1
Vardi, M.Y.2
-
11
-
-
85139962248
-
Parallel evaluation of recursive rule queries
-
S. S. Cosmadakis and P. C. Kanellakis. Parallel evaluation of recursive rule queries. In PODS, 1986.
-
(1986)
PODS
-
-
Cosmadakis, S.S.1
Kanellakis, P.C.2
-
12
-
-
33845938560
-
Specification and verification of data-driven Web applications
-
A. Deutsch, L. Sui, and V. Vianu. Specification and verification of data-driven Web applications. JCSS, 73(3):442-474, 2007.
-
(2007)
JCSS
, vol.73
, Issue.3
, pp. 442-474
-
-
Deutsch, A.1
Sui, L.2
Vianu, V.3
-
13
-
-
34250668466
-
Verification of communicating data-driven Web services
-
A. Deutsch, L. Sui, V. Vianu, and D. Zhou. Verification of communicating data-driven Web services. In PODS, 2006.
-
(2006)
PODS
-
-
Deutsch, A.1
Sui, L.2
Vianu, V.3
Zhou, D.4
-
14
-
-
0030642616
-
Answering recursive queries using views
-
O. M. Duschka and M. R. Genesereth. Answering recursive queries using views. In PODS, 1997.
-
(1997)
PODS
-
-
Duschka, O.M.1
Genesereth, M.R.2
-
15
-
-
19944405131
-
-
X. Fu, T. Bultan, and J. Su. Analysis of interacting BPEL Web services. In WWW, 2004.
-
X. Fu, T. Bultan, and J. Su. Analysis of interacting BPEL Web services. In WWW, 2004.
-
-
-
-
16
-
-
9544247758
-
-
X. Fu, T. Bultan, and J. Su. Conversation protocols: a formalism for specification and verification of reactive electronic services. TCS, 328(l-2):19-37, 2004.
-
X. Fu, T. Bultan, and J. Su. Conversation protocols: a formalism for specification and verification of reactive electronic services. TCS, 328(l-2):19-37, 2004.
-
-
-
-
19
-
-
0038147465
-
On the complexity of single rule datalog queries
-
G. Gottlob and C. Papadimitriou. On the complexity of single rule datalog queries. Inf. Comput., 183(1):104- 122, 2003.
-
(2003)
Inf. Comput
, vol.183
, Issue.1
, pp. 104-122
-
-
Gottlob, G.1
Papadimitriou, C.2
-
20
-
-
0002372246
-
Theory of answering queries using views
-
A. Y. Halevy. Theory of answering queries using views. SIGMOD Record, 29(4), 2001.
-
(2001)
SIGMOD Record
, vol.29
, Issue.4
-
-
Halevy, A.Y.1
-
21
-
-
24344444145
-
Tools for composite web services: A short overview
-
R. Hull and J. Su. Tools for composite web services: a short overview. SIGMOD Record, 34(1):5-12, 2005.
-
(2005)
SIGMOD Record
, vol.34
, Issue.1
, pp. 5-12
-
-
Hull, R.1
Su, J.2
-
22
-
-
0023827554
-
On conjunctive queries containing inequalities
-
A. Klug. On conjunctive queries containing inequalities. J. ACM, 35(1):146-160, 1988.
-
(1988)
J. ACM
, vol.35
, Issue.1
, pp. 146-160
-
-
Klug, A.1
-
24
-
-
57349094319
-
A lower bound on Web services composition
-
A. Muscholl and I. Walukiewicz. A lower bound on Web services composition. In FoSSaCS, 2007.
-
(2007)
FoSSaCS
-
-
Muscholl, A.1
Walukiewicz, I.2
-
27
-
-
84947109158
-
-
Semantic Web Services Framework (SWSF) Version 1.1, 2005
-
Semantic Web Services Framework (SWSF) Version 1.1, 2005. http://www.daml.Org/services/swsf/l.l/.
-
-
-
-
29
-
-
0037591752
-
Verification of relational transducers for electronic commerce
-
M. Spielmann. Verification of relational transducers for electronic commerce. JCSS, 66(l):40-65, 2003.
-
(2003)
JCSS
, vol.66
, Issue.L
, pp. 40-65
-
-
Spielmann, M.1
|