Abstract
We present a method that deals effectively with existential derived predicates during view updating. Existing methods either consider all instantiations of a given existential variable or request the instantiation directly to the user. Clearly, these approaches are not appropriate since either they are not practical or rely on the user’s best guess to assign the most appropriate values. On the contrary, our proposal considers only patterns of the variable instantiations that are relevant to the view update request, rather than taking into account all possible instantiations.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bry, F., Manthey, R.: Checking Consistency of Database Constraints: a Logical Basis. In: VLDB, pp. 13–20 (1986)
Console, L., Sapino, M.L., Theseider, D.: The Role of Abduction in Database View Updating. Journal of Intelligent Information Systems 4(3), 261–280 (1995)
Decker, H.: An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases. In: JICSLP, pp. 157–169 (1996)
Farré, C., Teniente, E., Urpí, T.: Query Containment With Negated IDB Predicates, To appear in ADBIS (2003)
Kakas, A., Michael, A.: Integrating Abductive and Constraint Logic Programming, In: Proc. of the 12th ICLP. Kanagawa, Japan, pp. 399–413 (1995)
Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1987)
Levy, A., Sagiv, Y.: Queries Independent of Updates. In: Proceedings of the 19th International Conference on Very Large Data Bases, VLDB 1993, pp. 171–181 (1993)
Lobo, J., Trajcevski, G.: Minimal and Consistent Evolution in Knowledge Bases. Journal of Applied Non-Classical Logics 7(1-2), 117–146 (1997)
Lloyd, J.W., Topor, R.W.: Making Prolog more Expressive. Journal of Logic Programming 1(3), 225–240 (1984)
Mayol, E., Teniente, E.: A Survey of Current Methods for Integrity Constraint Maintenance and View Updating. In: Kouloumdjian, J., Roddick, J., Chen, P.P., Embley, D.W., Liddle, S.W. (eds.) ER Workshops 1999. LNCS, vol. 1727, pp. 62–73. Springer, Heidelberg (1999)
Mayol, E., Teniente, E.: A Review of Integrity Constraint Maintenance and View Updating Techniques. To appear in Data & Knowledge Engineering (2003)
Olivé, A.: Integrity Checking in Deductive Databases. In: Proc. of the 17th VLDB Conference, Barcelona, pp. 513–523 (1991)
Teniente, E., Olivé, A.: Updating Knowledge Bases While Maintaining Their Consistency. VLDB Journal 4(2), 193–241 (1995)
Teniente, E., Urpí, T.: On the Abductive or Deductive Nature of Database Schema Validation and Update Processing Problems. TPLP Journal 3(3), 287–327 (2003)
Ullman, J.D.: Information Integration Using Logical Views. In: Afrati, F.N., Kolaitis, P.G. (eds.) ICDT 1997. LNCS, vol. 1186, pp. 19–40. Springer, Heidelberg (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Farré, C., Teniente, E., Urpí, T. (2003). Handling Existential Derived Predicates in View Updating. In: Palamidessi, C. (eds) Logic Programming. ICLP 2003. Lecture Notes in Computer Science, vol 2916. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24599-5_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-24599-5_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20642-2
Online ISBN: 978-3-540-24599-5
eBook Packages: Springer Book Archive