S. Abiteboul, R. Hull, and V. Vianu, Foundations of Databases, 1995.

F. N. Afrati, R. Chirkova, M. Gergatsoulis, and V. Pavlaki, Finding Equivalent Rewritings in the Presence of Arithmetic Comparisons, EDBT, pp.942-960, 2006.
DOI : 10.1007/11687238_55

F. N. Afrati, C. Li, and P. Mitra, Answering queries using views with arithmetic comparisons, Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '02, 2002.
DOI : 10.1145/543613.543641

C. Beeri and M. Y. Vardi, A Proof Procedure for Data Dependencies, Journal of the ACM, vol.31, issue.4, pp.718-741, 1984.
DOI : 10.1145/1634.1636

R. G. Bello, K. Dias, A. Downing, J. Feenan, J. L. Finnerty et al., Materialized views in Oracle, VLDB, pp.659-664, 1998.

P. Buneman, S. Khanna, and W. C. Tan, Why and Where: A Characterization of Data Provenance, ICDT, pp.316-330, 2001.
DOI : 10.1007/3-540-44503-X_20

A. K. Chandra and P. M. Merlin, Optimal implementation of conjunctive queries in relational data bases, Proceedings of the ninth annual ACM symposium on Theory of computing , STOC '77, 1977.
DOI : 10.1145/800105.803397

S. Cohen, W. Nutt, and Y. Sagiv, Rewriting queries with arbitrary aggregation functions using views, ACM Transactions on Database Systems, vol.31, issue.2, p.31, 2006.
DOI : 10.1145/1138394.1138400
URL : http://get.adobe.com/reader/

D. Dehaan, Equivalence of nested queries with mixed semantics, Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, PODS '09, pp.207-216, 2009.
DOI : 10.1145/1559795.1559828

A. Deutsch, L. Popa, and V. Tannen, Physical data independence, constraints, and optimization with universal plans, VLDB, 1999.

A. Deutsch, L. Popa, and V. Tannen, Query reformulation with constraints, ACM SIGMOD Record, vol.35, issue.1, pp.65-73, 2006.
DOI : 10.1145/1121995.1122010

A. Deutsch and V. Tannen, MARS, VLDB, pp.201-212, 2003.
DOI : 10.1016/B978-012722442-8/50026-4

A. Deutsch and V. Tannen, Reformulation of XML Queries and Constraints, ICDT, 2003.
DOI : 10.1007/3-540-36285-1_15

R. Fagin, Horn clauses and database dependencies, Journal of the ACM, vol.29, issue.4, 1982.
DOI : 10.1145/322344.322347
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.71.6769

R. Fagin, P. G. Kolaitis, R. J. Miller, and L. Popa, Data exchange: Semantics and query answering, ICDT, 2003.
DOI : 10.1016/j.tcs.2004.10.033
URL : http://doi.org/10.1016/j.tcs.2004.10.033

D. Florescu, A. Y. Levy, I. Manolescu, and D. Suciu, Query optimization in the presence of limited access patterns, SIGMOD, pp.311-322, 1999.
URL : https://hal.archives-ouvertes.fr/inria-00073035

J. Goldstein and P. Larson, Optimizing queries using materialized views: A practical, scalable solution, SIGMOD, 2001.

T. J. Green, G. Karvounarakis, and V. Tannen, Provenance semirings, Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '07, pp.31-40, 2007.
DOI : 10.1145/1265530.1265535

A. Halevy, Answering queries using views: A survey, The VLDB Journal, vol.10, issue.4, 2001.
DOI : 10.1007/s007780100054

P. Larson, J. Goldstein, H. Guo, and J. Zhou, MTCache: transparent mid-tier database caching in SQL server, Proceedings. 20th International Conference on Data Engineering, 2004.
DOI : 10.1109/ICDE.2004.1319994

M. Levene and G. Loizou, Why is the snowflake schema a good data warehouse design?, Information Systems, vol.28, issue.3, pp.225-240, 2003.
DOI : 10.1016/S0306-4379(02)00021-2

A. Y. Levy, A. O. Mendelzon, Y. Sagiv, and D. Srivastava, Answering queries using views, PODS, pp.95-104, 1995.

A. Y. Levy, A. Rajaraman, and J. D. Ullman, Answering Queries Using Limited External Query Processors, Journal of Computer and System Sciences, vol.58, issue.1, 1999.
DOI : 10.1006/jcss.1998.1599
URL : http://doi.org/10.1006/jcss.1998.1599

M. Meier, M. Schmidt, and G. Lausen, On chase termination beyond stratification, Proceedings of the VLDB Endowment, vol.2, issue.1, pp.970-981, 2009.
DOI : 10.14778/1687627.1687737

A. Motro, An access authorization model for relational databases based on algebraic manipulation of view definitions, [1989] Proceedings. Fifth International Conference on Data Engineering, 1989.
DOI : 10.1109/ICDE.1989.47234

A. Nash and B. Ludäscher, Processing first-order queries under limited access patterns, Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '04, 2004.
DOI : 10.1145/1055558.1055601

N. Onose, A. Deutsch, Y. Papakonstantinou, and E. Curtmola, Rewriting nested XML queries using nested views, Proceedings of the 2006 ACM SIGMOD international conference on Management of data , SIGMOD '06, 2006.
DOI : 10.1145/1142473.1142524
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.111.5186

L. Popa, Object/relational Query Optimization with Chase and Backchase, 2000.

L. Popa, A. Deutsch, A. Sahuguet, and V. Tannen, A chase too far? In SIGMOD, pp.273-284, 2000.

S. Rizvi, A. O. Mendelzon, S. Sudarshan, and P. Roy, Extending query rewriting techniques for fine-grained access control, Proceedings of the 2004 ACM SIGMOD international conference on Management of data , SIGMOD '04, pp.551-562, 2004.
DOI : 10.1145/1007568.1007631

D. Srivastava, S. Dar, H. V. Jagadish, and A. Y. Levy, Answering queries with aggregation using views, VLDB, 1996.

C. Yu and L. Popa, Constraint-based XML query rewriting for data integration, Proceedings of the 2004 ACM SIGMOD international conference on Management of data , SIGMOD '04, pp.371-382, 2004.
DOI : 10.1145/1007568.1007611

M. Zaharioudakis, R. Cochrane, G. Lapis, H. Pirahesh, and M. Urata, Answering complex SQL queries using automatic summary tables, SIGMOD, pp.105-116, 2000.
DOI : 10.1145/335191.335390
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.91.3530