Abstract
We present a model for deductive databases which contain query-driven (or passive) and update-driven (or active) rules. Our approach is based on the assumptions that (a) both inserted and deleted facts are explicitly stored in the database and used in the derivation process and (b) update-driven rules override query-driven derivations. We give formal semantics for such databases using a least fixpoint computation in the context of a three-valued logic. Our objective is to contribute to the foundations of a general theory for so-called intelligent or active databases.
Work partially supported by the French National Project GDR-PRC BD3 and the Brazilian Government
Preview
Unable to display preview. Download preview PDF.
References
F. Bry. Intensional updates: Abduction via deduction. In Intl. Symposium on Logic Programming, 1990.
S. Ceri and J. Widom. Deriving production rules for constraint maintenance. In Proceedings of Very Large Data Bases, 1990.
H. Decker. Integrity enforcement on deductive databases. In First International Conference on Expert Database Systems (EDS), 1986.
M. Fitting. The family of stabe models. Journal of Logic Programming, 17, 1993.
A. Van Gelder, K.A. Ross, and J.S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3), 1991.
M. Halfeld Ferrari Alves, D. Laurent, and N. Spyratos. Passive and active rules in deductive databases. Technical Report LRI, Université de Paris-Sud, 1994.
M. Halfeld Ferrari Alves, D. Laurent, and N. Spyratos. Update driven rules in Datalogneg databases. Technical Report 94-06, LIFO, Université d'Orléans, 1994.
D. Laurent, V. Phan Luong, and N. Spyratos. Database updating revisited. In Third DOOD, Intl. Conf. on Deductive and Object-Oriented Databases, LNCS 760. Springer-Verlag, 1993.
D. Laurent, V. Phan Luong, and N. Spyratos. Updating intensional predicates in deductive databases. In 9th IEEE ICDE, Vienna (Austria), 1993.
D. Maier. The Theory Of Relational Databases. Computer Science Press, 1983.
R. Manthey. Beyond data dictionaries: Towards a reflective architecture of intelligent database system. In Third DOOD, Intl. Conf. on Deductive and Object-Oriented Databases, LNCS 760. Springer-Verlag, 1993.
R. Ramakrishnan, S. Sudarshan, and D. Srivasta. Rule ordering in the bottom-up fixpoint evaluation of logic programs. In Proceedings of Very Large Data Bases, 1990.
R. Reiter. On closed word databases. In H. Gallaire and J. Minker, editors, Logic and data bases. Plenum Press, New York, 1978.
J.D. Ullman. Principles of Databases and Knowledge Base Systems, volume I and II. Computer Science Press, 1989.
L. Vieille, P. Bayer, and V. Kuchenhoff. Integrity checking and materialized views handling by update propagation in the EKS-VI system. Technical Report TR-KB-35, ECRC, June 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Halfeld Ferrari Alves, M., Laurent, D., Spyratos, N. (1994). Passive and active rules in deductive databases. In: Prívara, I., Rovan, B., Ruzička, P. (eds) Mathematical Foundations of Computer Science 1994. MFCS 1994. Lecture Notes in Computer Science, vol 841. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58338-6_85
Download citation
DOI: https://doi.org/10.1007/3-540-58338-6_85
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58338-7
Online ISBN: 978-3-540-48663-3
eBook Packages: Springer Book Archive