Abstract
This paper reviews research on the formal specification of active behaviour, indicating both what has been done in this area, and how. The scope of different approaches is compared within a common framework, which reveals that although many aspects of active behaviour have been described formally, no single proposal covers all phenomena associated with active database systems.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
A. Aiken, J. Widom, and J.M. Hellerstein. Behaviour of database production rules: Termination, confluence, and observable determinism. In ACM SIGMOD, volume 21, pages 59–68, 1992.
E. Baralis and J. Widom. Using delta relations to optimize condition evaluation in active databases. Technical Report Stan-CS-93-1495, Department of Computer Science, Stanford University, 1993.
E. Baralis and J. Widom. An algebraic approach to rule analysis in expert database systems. In J. Bocca, M. Jarke, and C. Zaniolo, editors, Proc. 20th VLDB, pages 475–486. Morgan-Kaufmann, 1994.
J. Campin, N.W. Paton, and M.H. Williams. A Structured Specification of an Active Database System. Information and Software Technology, 37(1):47–61, 1995.
J. Campin, N.W. Paton, and M.H. Williams. Specifying Active Database Systems in an Object-Oriented Framework. submitted for publication, 1995.
Alvaro A.A. Fernandes, M. Howard Williams, and Norman W. Paton. A Logic-Based Integration of Active and Deductive Databases, 1994. Submitted for publication.
S. Gatziu and K.R. Dittrich. Events in an active object-oriented database. In N.W. Paton and M.H. Williams, editors, Rules in Database Systems, pages 23–39. Springer-Verlag, 1994.
E.N. Hanson. Rule Condition Testing and Action Execution in Ariel. In Proc. SIGMOD, pages 49–58. ACM, 1992.
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.
R. Hull and D. Jacobs. Language constructs for programming active databases. In R. Camps G.M. Lohman, A. Sernadas, editor, Intl. Conf on Very Large Data Bases, volume 17, pages 455–467. Morgan Kaugmann, 1991.
D. Jacobs and R. Hull. Database Programming With Delayed Updates. In P. Kanellakis and J. Schmidt, editors, Third International Workshop on Database Programming Languages. Morgan-Kaufmann, 1991.
A.P. Karadimce and S.D. Urban. Conditional Term Rewriting as a Basis for Analysis of Active Database Rules. In J. Widom and S. Chakravarthy, editors, Proc. IEEE RIDE-ADS Workshop on Active Database Systems, pages 156–162. IEEE Press, 1994.
R. Kowalski. Database updates in the event calculus. Journal of Logic Programming, 12:121–146, 1992.
A.Y. Levy and Y. Sagiv. Queries independent of updates. In R. Agrawal, S. Baker, and D. Bell, editors, Proc. 19th VLDB, pages 171–181. Morgan-Kaufmann, 1993.
N.W. Paton, O. Diaz, M.H. Williams, J. Campin, A. Dinn, and A. Jaime. Dimensions of active behaviour. In N.W. Paton and M.H. Williams, editors, Proc. 1st Int. Workshop on Rules In Database Systems, pages 40–57. Springer-Verlag, 1994.
L. Raschid. A semantics for a class of stratified production system programs. J. Logic Programming, 21(1):31–57, 1994.
G.A. Rose. Object-Z. In S. Stepney, R. Barden, and David Cooper, editors, Object-Orientation in Z, pages 59–77. Springer-Verlag, 1992.
M. Stonebraker, A. Jhingran, J. Goh, and S. Potamianos. On rules, procedures, caching and views in database systems. In Proc. ACM SIGMOD, pages 281–290, 1990.
M. Teisseire, P. Poncelet, and R. Cichetti. Towards event-driven modelling for database design. In J. Bocca, M. Jarke, and C. Zaniolo, editors, Proc. 20th Int. Conf on VLDB, pages 1–12. Morgan-Kaufmann, 1994.
L. van der Voort and A. Siebes. Enforcing confluence of rule execution. In N.W. Paton and M.H. Williams, editors, Proc. 1st Int. Workshop on Rules In Database Systems, pages 194–207. Springer-Verlag, 1994.
J. Widom. A Denotational Senmantics for the Starburst Production Rule Language. ACM SIGMOD Record, 21(3):4–9, 1992.
J. Widom and S.J. Finkelstein. Set-Oriented Production Rules in Relational Database Systems. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 259–270, 1990.
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.
Y. Zhou and M. Hsu. A theory for rule triggering systems. In F. Bancilhon and et al., editors, Proc. Extending Database Technology (EDBT), pages 407–421. Springer-Verlag, 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Paton, N.W., Campin, J., Fernandes, A.A.A., Williams, M.H. (1995). Formal specification of active database functionality: A survey. In: Sellis, T. (eds) Rules in Database Systems. RIDS 1995. Lecture Notes in Computer Science, vol 985. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60365-4_117
Download citation
DOI: https://doi.org/10.1007/3-540-60365-4_117
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60365-8
Online ISBN: 978-3-540-45137-2
eBook Packages: Springer Book Archive