Abstract
An important amount of research has been devoted to consistent view updating. In this paper we propose a new approach to deal with this problem. Our approach is aimed at obtaining intensional translations that satisfy a view update request, instead of obtaining extensional translations. Intuitively, our translations are intensional in the sense that they characterise multiple possible values for a set of base fact updates such that the request is satisfied when the updates are applied using these values. Each characterised set of updates constitutes an extensional translation. The main advantages of following this approach are to improve the meaningfulness of the translations to the users; to facilitate the treatment of infinite domains; and to reduce the search space needed to obtain the translations.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Brodsky, A.; Jaffar, J,; Maher, M. “Towards Practical Constraint Databases”, Proc. of the 19 th VLDB Conference, Dublin, Ireland, 1993, pp. 567–580.
Bancilhon, F.; Ramakrishnan, R, “An Amateur's Introduction to Recursive Query Processing”, Proc. of the ACM SIGMOD, Washington D.C., 1986.
Bry, F. “Intensional Updates: Abduction via Deduction”, Proc. of the 7th Int. Conf on Logic Programming, Jerusalem, 1990, pp. 561–575.
Cholvy, L.; Demolombe, R. “Querying a Rule Base”, Proc. of the 1 st Int. Conf. on Expert Database Systems, 1986, pp. 365–371.
Costal, D. “A New Plan Generation Method for Deductive Conceptual Model Validation”, Forth DAISD, 1993, pp. 175–200.
Decker, H. “The Range Form of databases or: How to avoid Floundering”, Proc. 5th ÖGAI, Springer-Verlag, 1989.
Decker, H. “An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases”, Joint International Conference and Symposium on Logic Programming (JICSLP'96), Bonn (Germany), 1996.
Decker, M.; Moerkotte, G.; Müller, H.; Possega,J. “Consistency Driven Planning”, Proc. of the 5th Portuguese Conference on Artificial Intelligence, 195–209, Albufeira, Portugal, 1991.
Decker, H.; Teniente, E.; Urpf, T. “How to Tackle Schema Validation by View Updating”, Proc. of the EDBT'96, Avignon, France, 1996, pp. 535–549.
Jaffar, J.; Michaylov, S.; Stuckey, P.J.; Yap, R. “The CLP(R) Language and System”, ACM Transactions on Programming Languages and Systems, Vol. 14, No. 3, 1992, pp. 339–395.
Jaffar, J.; Maher, M. “Constraint Logic Programming: A Survey”, Journal of Logic Programming, Vol. 19, No. 20, 1994, pp. 503–581.
Kakas, A.; Mancarella, P. “Database Updates through Abduction”, Proc. of the 16 th VLDB Conference, Brisbane, Australia, 1990, pp. 650–661.
Kakas, A.; Michael, A. “Integrating Abductive and Constraint Logic Programming”, Proc. of the 12 th ICLP, Kanagawa, Japan, pp. 399–413.
Kemp, D.B.; Stuckey, P.J. “Optimizing Bottom-up Evaluation of Constraint Queries”, Journal of Logic Programming, Vol. 26, No. 1, 1996, pp. 1–30.
Lloyd, J.W. Foundations on Logic Programming, 2nd edition, Springer, 1987.
Lloyd, J.W.; Topor, R.W. “Making Prolog More Expressive”, Journal of Logic Programming, 1984, No. 3, pp. 225–240.
Motro, A. “Using Integrity Constraints to Provide Intensional Answers to Relational Queries”, Proc. of the 15 th VLDB Amsterdam, 1989, pp. 237–246.
Olivé, A. “Integrity Checking in Deductive Databases”, Proc. of the 17 th VLDB Conference, Barcelona, Catalonia, 1991, pp. 513–523.
Stuckey, P.J. “Constructive Negation for Constraint Logic Programming”, Proc. of the 6 th IEEE Symposium on Logic in Computer Science, Amsterdam, 1991, pp. 328–339.
Stuckey, P.J. “Negation and Constraint Logic Programming”, Information and Computation, 118(1), 1995, pp. 12–33.
Teniente, E.; Olivé. A. “Updating Knowledge Bases while Maintaining their Consistency”, The VLDB Journal, Vol. 4, Num. 2, 1995, pp. 193–241.
Teniente, E., Urpi, T. “A Common Framework for Classifying and Specyfing Deductive Database Updating Problems”. Proc.ICDE'95, Taipei, pp. 173–183.
Ullman, J.D. Principles of Database and Knowledge-Base Systems, Computer Science Press, New York, 1988.
Urpí, T.; Olivé, A. “A Method for Change Computation in Deductive Databases”, Proc. of the 18th VLDB, Vancouver, 1992, pp. 225–237.
Wüthrich, B. “On Updates and Inconsistency Repairing in Deductive databases”, ICDE'93, Vienna, 1993, pp. 608–615.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Costal, D., Teniente, E., Urpí, T. (1997). An approach to obtain intensional translations for consistent view updating. In: Bry, F., Ramakrishnan, R., Ramamohanarao, K. (eds) Deductive and Object-Oriented Databases. DOOD 1997. Lecture Notes in Computer Science, vol 1341. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63792-3_15
Download citation
DOI: https://doi.org/10.1007/3-540-63792-3_15
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63792-9
Online ISBN: 978-3-540-69647-6
eBook Packages: Springer Book Archive