Abstract
We develop a general framework of rule based database update on the basis of prioritized logic programs. This approach has advantages in representing and handling information conflict in updates. We then focus on the computational aspect of this approach. We show that under our framework, the model checking in an update is co-NP-complete, while the associated inference problem is II P 2 -complete. From a practical viewpoint, we propose two strategies to simplify an update specification so that under some conditions, solving an update problem can be based on solving some smaller components of the original problem. Our experimental result shows that these strategies indeed significantly reduce the time cost of evaluating an update specification.
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
M. Gelfond and V. Lifschitz, Classical negation in logic programs and disjunctive databases. New Generation Computing, 9, pp365–386, 1991.
V. Lifschitz and H. Turner, Splitting a logic program. In Proceedings of Eleventh International Conference on Logic Programming, pp23–37, 1994.
J. J. Alferes and et al, Dynamic logic programming. In Proceedings of KR-98, pp98–109, 1998.
V. Marek and I. Pivkina and M. Truszcyński, Annotated revision programs. In Proceedings of LPNMR’99, pp49–62, 1999.
I. Niemelä and P. Simons, Efficient implementation of the well-founded and stable model semantics. In Proceedings of IJCSLP’96, pp 289–303, 1996.
V. W. Marek and M. Truszczyński, Autoepistemic logic. Journal of the Association Machinery, 38(3), pp588–619, 1991.
C.-M. Wu and Y. Zhang, Implementing prioritized logic programming. In Proceedings of ISMIS’99, pp 85–93, 1999.
Y. Zhang and N. Y. Foo, Answer sets for prioritized logic programs. In Proceedings of the 1997 International Logic Programming Symposium (ILPS’97), pp69–83, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bai, Y., Zhang, Y. (2001). On the Computational Aspect of Rule Based Database Updates. In: Monostori, L., Váncza, J., Ali, M. (eds) Engineering of Intelligent Systems. IEA/AIE 2001. Lecture Notes in Computer Science(), vol 2070. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45517-5_9
Download citation
DOI: https://doi.org/10.1007/3-540-45517-5_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42219-8
Online ISBN: 978-3-540-45517-2
eBook Packages: Springer Book Archive