Abstract
This chapter compares the use of rules in deductive and in active databases. Syntactic similarities notwithstanding, deductive rules and active rules express quite different knowledge models and induce quite distinct execution models. In the last few years, there has been a strong research interest in unifying the two uses of rules by means of a language that either reconciles or, at least, encompasses the more distinctive aspects of their expected combined functionality. After a discussion of the most salient differences between deductive and active rules, an overview is given of different approaches to characterize a rule language providing some level of support for the knowledge and execution models that underlie deductive and active rules. The chapter includes a brief survey of rule languages that attempt to bridge the divide.
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
E. Bertino, B. Catania, G. Guerrini, M. Martelli, and D. Montesi. A Bottom-Up Interpreter for Database Languages with Updates and Transactions. In Proceedings Joint Conference on Declarative Programming Gulp-Prode, pages 207–220. 1994.
M.L. Barja, A.A.A. Fernandes, N.W. Paton, M.H. Williams, A. Dinn, and A.I. Abdelmoty. Design and Implementation of ROCK & ROLL: A Deductive Object-Oriented Database System. Information Systems, 20(3):185–211, 1995.
E. Bertino, G. Guerrini, and D. Montesi. Towards Deductive Object Databases. Theory and Practice of Object Systems, 1(1):19–39, 1995.
P. Bayer and W. Jonker. A Framework for Supporting Triggers in Deductive Databases. In N.W. Paton and M.H. Williams, editors, Proc. 1st Intl. Workshop on Rules In Database Systems, pages 316–330. Springer-Verlag, 1994.
A.J. Bonner and M. Kifer. Transaction Logic Programming. In Proceedings of 10th ICLP, pages 257–279. MIT Press, 1993.
M.J. Carey, D.J. DeWitt, G. Graefe, D.M. Haight, J.E. Richardson, D.T. Schuh, E.J. Shekita, and S.L. Vanderberg. The EXODUS Extensible DBMS Project: An Overview. In S. Zdonik and D. Maier, editors, Readings in Object-Oriented Database Systems, pages 474–499. Morgan Kaufmann, 1990.
S. Ceri, P. Fraternali, S. Paraboschi, and L. Tanca. Active Rule Management in Chimera. In J. Widom and S. Ceri, editors, Active Database Systems, pages 151–176. Morgan Kaufmann, 1996.
S. Ceri, G. Gottlob, and L. Tanca. Logic Programming and Databases. Springer-Verlag, 1990.
S. Ceri and R. Manthey. Chimera: A Model and Language for Active DOOD Systems. In Proceedings of the 2nd East-West Database Workshop, pages 3–16. Springer-Verlag, 1993.
A. Dinn, N.W. Paton, M.H. Williams, and A.A.A. Fernandes. An Active Rule Language for ROCK & ROLL. In Proc. 14th British National Conference on Databases. Springer-Verlag, 1996.
A.A.A. Fernandes, M.H. Williams, and N.W. Paton. A Logic-Based Integration of Active and Deductive Databases. New Generation Computing, 15(2):205–244, 1997.
J.V. Harrison and S.W. Dietrich. Integrating Active and Deductive Rules. In N.W. Paton and M.H. Williams, editors, Proc. 1st Int. Workshop on Rules In Database Systems, pages 288–305. Springer-Verlag, 1994.
G. Kiernan, C. de Maindreville, and E. Simon. Making Deductive Databases a Practical Technology: A Step Forward. In Proceedings 1990 ACM SIGMOD, pages 237–246. ACM Press, 1990.
R. Kowalski. Database Updates in the Event Calculus. Journal of Logic Programming, 12:121–146, 1992.
E. Mendelson. Introduction to Mathematical Logic. Wadsworth & Brooks/Cole, 3rd. edition, 1987.
S. Manchanda and D.S. Warren. A Logic-Based Language for Database Updates. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 363–394. Morgan Kaufmann, 1988.
S. Naqvi and S. Tsur. A Logical Language for Data and Knowledge Bases. Computer Science Press, 1989.
P. Picouet and V. Vianu. Semantics and Expressiveness Issues in Active Databases, 1995. To appear in Journal of Computer and System Sciences. Shorter version in Proceedings PODS 95, pp. 126–138.
R. Reiter. Towards a Logical Reconstruction of Relational Database Theory. In M.L. Brodie, J. Mylopoulos, and J.W. Schmidt, editors, On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages, pages 191–233. Springer-Verlag, 1984.
E. Simon and J. Kiernan. The A-RDL System. In J. Widom and S. Ceri, editors, Active Database Systems, pages 111–149. Morgan Kaufmann, 1996.
M.H. van Emden and R. A. Kowalski. The Semantics of Predicate Logic as a Programming Language. Journal of the ACM, 23(4):733–742, 1976.
V. Vianu. Rule-Based Languages, 1996. To appear in Annals of Mathematics and Artificial Intelligence.
J. Widom. Deductive and Active Databases: Two Paradigms or Ends of a Spectrum? In N.W. Paton and M.H. Williams, editors, Rules in Database Systems, pages 306–315. Springer-Verlag, 1994.
C. Zaniolo. A Unified Semantics for Active and Deductive Databases. In N.W. Paton and M.H. Williams, editors, Rules in Database Systems. Springer-Verlag, 1994.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media New York
About this chapter
Cite this chapter
Fernandes, A.A.A. (1999). Comparing Deductive and Active Databases. In: Paton, N.W. (eds) Active Rules in Database Systems. Monographs in Computer Science. Springer, New York, NY. https://doi.org/10.1007/978-1-4419-8656-6_9
Download citation
DOI: https://doi.org/10.1007/978-1-4419-8656-6_9
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4612-6448-4
Online ISBN: 978-1-4419-8656-6
eBook Packages: Springer Book Archive