-
5
-
-
3142707202
-
Locally Consistent Transformations and Query Answering in Data Exchange
-
M. Arenas, P. Barceló, R. Fagin, and L. Libkin. Locally Consistent Transformations and Query Answering in Data Exchange. In Proceedings of the 23rd ACM Symposium on Principles of Database Systems, PODS'04, pages 229-240, 2004.
-
(2004)
Proceedings of the 23rd ACM Symposium on Principles of Database Systems, PODS'04
, pp. 229-240
-
-
Arenas, M.1
Barceló, P.2
Fagin, R.3
Libkin, L.4
-
6
-
-
57349086222
-
The Recovery of a Schema Mapping: Bringing Back Exchanged Data
-
M. Arenas, J. Pérez, and C. Riveros. The Recovery of a Schema Mapping: Bringing Back Exchanged Data. In Proceedings of the 27th ACM Symposium on Principles of Database Systems, PODS'08, pages 13-22, 2008.
-
(2008)
Proceedings of the 27th ACM Symposium on Principles of Database Systems, PODS'08
, pp. 13-22
-
-
Arenas, M.1
Pérez, J.2
Riveros, C.3
-
7
-
-
67650718426
-
Logical Foundations of Relational Data Exchange
-
P. Barceló. Logical Foundations of Relational Data Exchange. SIGMOD Record, 38(1):49-58, 2009.
-
(2009)
SIGMOD Record
, vol.38
, Issue.1
, pp. 49-58
-
-
Barceló, P.1
-
9
-
-
0021375959
-
Inclusion Dependencies and their Interaction with Functional Dependencies
-
M. Casanova, R. Fagin, and C. Papadimitriou. Inclusion Dependencies and their Interaction with Functional Dependencies. J. Computer and System Sciences, 20(1):29-59, 1984.
-
(1984)
J. Computer and System Sciences
, vol.20
, Issue.1
, pp. 29-59
-
-
Casanova, M.1
Fagin, R.2
Papadimitriou, C.3
-
12
-
-
0001377462
-
Functional and Inclusion Dependencies: A Graph Theoretic Approach
-
S. S. Cosmadakis and P. C. Kanellakis. Functional and Inclusion Dependencies: A Graph Theoretic Approach. In Advances in Computing Research, volume 3, pages 163-184. 1986.
-
(1986)
Advances in Computing Research
, vol.3
, pp. 163-184
-
-
Cosmadakis, S.S.1
Kanellakis, P.C.2
-
14
-
-
33644910155
-
Query Reformulation with Constraints
-
A. Deutsch, L. Popa, and V. Tannen. Query Reformulation with Constraints. SIGMOD Record, 35(1):65-73, 2006.
-
(2006)
SIGMOD Record
, vol.35
, Issue.1
, pp. 65-73
-
-
Deutsch, A.1
Popa, L.2
Tannen, V.3
-
17
-
-
36949003730
-
Inverting Schema Mappings
-
R. Fagin. Inverting Schema Mappings. ACM Trans. Database Syst., 32(4), 2007.
-
(2007)
ACM Trans. Database Syst.
, vol.32
, Issue.4
-
-
Fagin, R.1
-
18
-
-
69049116364
-
Clio: Schema mapping creation and data exchange
-
A. Borgida, V. Chaudhri, P. Giorgini, and E. Yu, editors, Conceptual Modeling: Foundations and Applications, Essays in Honor of John Mylopoulos, Springer-Verlag
-
R. Fagin, L. Haas, M. Hernandez, R. Miller, L. Popa, and Y. Velegrakis. Clio: Schema mapping creation and data exchange. In A. Borgida, V. Chaudhri, P. Giorgini, and E. Yu, editors, Conceptual Modeling: Foundations and Applications, Essays in Honor of John Mylopoulos, volume 5600 of Lecture Notes in Computer Science, pages 198-236. Springer-Verlag, 2009.
-
(2009)
Lecture Notes in Computer Science
, vol.5600
, pp. 198-236
-
-
Fagin, R.1
Haas, L.2
Hernandez, M.3
Miller, R.4
Popa, L.5
Velegrakis, Y.6
-
19
-
-
57349138344
-
Towards a Theory of Schema-Mapping Optimization
-
R. Fagin, P. Kolaitis, A. Nash, and L. Popa. Towards a Theory of Schema-Mapping Optimization. In Proceedings of the 27th ACM Symposium on Principles of Database Systems, PODS'08, pages 33-42, 2008.
-
(2008)
Proceedings of the 27th ACM Symposium on Principles of Database Systems, PODS'08
, pp. 33-42
-
-
Fagin, R.1
Kolaitis, P.2
Nash, A.3
Popa, L.4
-
20
-
-
18144386595
-
Data Exchange: Semantics and Query Answering
-
R. Fagin, P. G. Kolaitis, R. J. Miller, and L. Popa. Data Exchange: Semantics and Query Answering. Theoretical Computer Science, 336:89-124, 2005.
-
(2005)
Theoretical Computer Science
, vol.336
, pp. 89-124
-
-
Fagin, R.1
Kolaitis, P.G.2
Miller, R.J.3
Popa, L.4
-
22
-
-
33745201812
-
Composing schema mappings: Second-order dependencies to the rescue
-
R. Fagin, P. G. Kolaitis, L. Popa, and W. C. Tan. Composing schema mappings: Second-order dependencies to the rescue. ACM Trans. Database Syst., 30(4):994-1055, 2005.
-
(2005)
ACM Trans. Database Syst.
, vol.30
, Issue.4
, pp. 994-1055
-
-
Fagin, R.1
Kolaitis, P.G.2
Popa, L.3
Tan, W.C.4
-
23
-
-
0002787734
-
On monadic NP vs monadic coNP
-
R. Fagin, L. Stockmeyer, and M. Vardi. On monadic NP vs monadic coNP. Information and Computation, 120(1):78-92, 1995.
-
(1995)
Information and Computation
, vol.120
, Issue.1
, pp. 78-92
-
-
Fagin, R.1
Stockmeyer, L.2
Vardi, M.3
-
24
-
-
84893842937
-
Nested Mappings: Schema Mapping Reloaded
-
A. Fuxman, M. A. Hernández, C. T. H. Ho, R. J. Miller, P. Papotti, and L. Popa. Nested Mappings: Schema Mapping Reloaded. In Very Large Data Bases (VLDB), pages 67-78, 2006.
-
(2006)
Very Large Data Bases (VLDB)
, pp. 67-78
-
-
Fuxman, A.1
Hernández, M.A.2
Ho, C.T.H.3
Miller, R.J.4
Papotti, P.5
Popa, L.6
-
25
-
-
33846210676
-
Peer Data Exchange
-
A. Fuxman, P. Kolaitis, R. Miller, and W.-C. Tan. Peer Data Exchange. ACM Transactions on Database Systems, 31(4):1454-1498, 2006.
-
(2006)
ACM Transactions on Database Systems
, vol.31
, Issue.4
, pp. 1454-1498
-
-
Fuxman, A.1
Kolaitis, P.2
Miller, R.3
Tan, W.-C.4
-
27
-
-
35448962084
-
On Reconciling Data Exchange, Data Integration, and Peer Data Management
-
G. D. Giacomo, D. Lembo, M. Lenzerini, and R. Rosati. On Reconciling Data Exchange, Data Integration, and Peer Data Management. In ACM Symposium on Principles of Database Systems (PODS), pages 133-142, 2007.
-
(2007)
ACM Symposium on Principles of Database Systems (PODS)
, pp. 133-142
-
-
Giacomo, G.D.1
Lembo, D.2
Lenzerini, M.3
Rosati, R.4
-
28
-
-
43949146666
-
Efficient Core Computation in Data Exchange
-
G. Gottlob and A. Nash. Efficient Core Computation in Data Exchange. Journal of the ACM, 55(2), 2008.
-
(2008)
Journal of the ACM
, vol.55
, Issue.2
-
-
Gottlob, G.1
Nash, A.2
-
29
-
-
43249130171
-
Fixed-Parameter Algorithms for Artificial Intelligence, Constraint Satisfaction and Database Problems
-
G. Gottlob and S. Szeider. Fixed-Parameter Algorithms For Artificial Intelligence, Constraint Satisfaction and Database Problems. Computer Journal, 51(3):303-325, 2008.
-
(2008)
Computer Journal
, vol.51
, Issue.3
, pp. 303-325
-
-
Gottlob, G.1
Szeider, S.2
-
30
-
-
85011102573
-
Update Exchange with Mappings and Provenance
-
T. Green, G. Karvounarakis, Z. Ives, and V. Tannen. Update Exchange with Mappings and Provenance. In International Conference on Very Large Data Bases (VLDB), pages 675-686, 2007.
-
(2007)
International Conference on Very Large Data Bases (VLDB)
, pp. 675-686
-
-
Green, T.1
Karvounarakis, G.2
Ives, Z.3
Tannen, V.4
-
31
-
-
0002650529
-
Model-theoretic methods in the study of elementary logic
-
Addison, Henkin, and Tarski, eds., North Holland
-
W. P. Hanf. Model-theoretic methods in the study of elementary logic. In The Theory of Models; Addison, Henkin, and Tarski, eds., North Holland 1965, pages 132-145, 1965.
-
(1965)
The Theory of Models
, vol.1965
, pp. 132-145
-
-
Hanf, W.P.1
-
39
-
-
57049092199
-
Towards Rule-Based Minimization of RDF Graphs under Constraints
-
Web Reasoning and Rule Systems, Springer-Verlag
-
M. Meier. Towards Rule-Based Minimization of RDF Graphs under Constraints. In Web Reasoning and Rule Systems, volume 5341 of Lecture Notes in Computer Science, pages 89-103. Springer-Verlag, 2008.
-
(2008)
Lecture Notes in Computer Science
, vol.5341
, pp. 89-103
-
-
Meier, M.1
-
40
-
-
27644440516
-
Generic Model Management: Concepts and Algorithms
-
Springer
-
S. Melnik. Generic Model Management: Concepts and Algorithms, volume 2967 of Lecture Notes in Computer Science. Springer, 2004.
-
(2004)
Lecture Notes in Computer Science
, vol.2967
-
-
Melnik, S.1
-
41
-
-
33244478785
-
Composition of Mappings Given by Embedded Dependencies
-
A. Nash, P. A. Bernstein, and S. Melnik. Composition of Mappings Given by Embedded Dependencies. In Proceedings of the 24th ACM Symposium on Principles of Database Systems, PODS'05, pages 172-183, 2005.
-
(2005)
Proceedings of the 24th ACM Symposium on Principles of Database Systems, PODS'05
, pp. 172-183
-
-
Nash, A.1
Bernstein, P.A.2
Melnik, S.3
-
42
-
-
67349153774
-
Schema Exchange: Generic Mappings for Transformaing Data and Metadata
-
P. Papotti and R. Tortone. Schema Exchange: Generic Mappings for Transformaing Data and Metadata. Data and Knowledge Engineering, 68(7):665-682, 2009.
-
(2009)
Data and Knowledge Engineering
, vol.68
, Issue.7
, pp. 665-682
-
-
Papotti, P.1
Tortone, R.2
|