Y. Sagiv and M. Yannakakis, "Equivalence Among Relational Expressions with the Union and Difference Operations," Proceedings of the Fourth International Conference on Very Large Data Bases, West Berlin, West Germany, Sep. 13-15, 1978, 1978 IEEE, USA, pp. 535-548. |
A. Y. Levy, A. O. Mendelzon, Y. Sagiv and D. Srivastava, "Answering Queries Using Views," (Extended Abstract), Proceedings of the 14.sup.th ACM Sigact-Sigmod-Sigart Symposium on Principles of Database Systems, San Jose, CA, 1995, pp. 95-104. |
Elkan, Charles. "Independence of Logic Database Queries and Updates." Proceedings of the 9.sup.th ACM Sigact-Sigmod-Sigart Symposium on Principles of Database Systems, pp. 154-160, 1990. |
Levy, Alon Y. et al. Abstract of "Answering Queries Using Views." Proceedings of the 14.sup.th ACM Sigact-Sigmod-Sigart Symposium on Principles of Database Systems, San Jose, CA, 1995. |
Levy, Alon Y. et al. "Queries Independent of Updates." Proceedings of the 19.sup.th VLDB Conference, Dublin, Ireland, pp. 171-181, 1993. |
Motro, Amihai. "Integrity=Validity +Completeness." ACM Transactions on Database Systems, vol. 14, No. 4, pp. 480-502, Dec. 1989. |
Etzioni, Oren et al. Tractable Closed World Reasoning with Updates. Proceedings of KR-94, pp. 178-189, 1994. |