Summary
Data driven rules is one of the important rule types that are used by database applications. This paper analyzes requirements for a programming paradigm appropriate for the support of data-driven rules, states the linguistic paradigm, discusses its supporting architecture and shows an extension of the model to support temporal functionalities, especially retroactive and proactive processing. The focus in this paper is on the software engineering aspects of the proposed model: ease of use through a high-level language and improving the verifiability of the rule language.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Albano A., Luccam C., Rezno O. Galileo: A Strongly Typed Interactive Conceptual Language. ACM TODS 10(2), 1985.
ARCADIA — Issues Encountered in Building a Flexible Software Environment; Lessons from the Arcadia Project — Proc.ACM Sigsoft 1992, pp 169–180
Atkinson M.P., Chisholm K.J., Cockshott W.P. PS-algol: An Algol with a persistent heap, SIGPLAN Not. (ACM), 17(7), pp. 24–31, July 1981.
Atkinson M.P., Bailey P., Cockshott W.P., Chisholm K.J., Morrison R. Progress with Persistent Programming, Cambridge University Press, Cambridge, England, 1984.
Atkinson M.P., Buneman O.P. Types and Persistence in Data Base Programming Languages, ACM Computing Surveys 19(2), June 1987.
Balzer R., Goodman N., Wile D. Informality in Program Specifications, IEEE tran. on soft. Eng., 4(2), pp. 94–102, March 1978.
Botzer D. Optimization of Knowledge and Data Representation in Active Databases, M.sc., Thesis, Technion-Israel Institute of Technology, Sep 1992.
Braine M. On the Relation Between Natural Logic of Reasoning and Standard Logic, Psychological Review, 1978.
Buneman O.P., Clemons E. Efficiently Monitoring Relational Data Base, ACM TODS 4(3), pp. 368–382, Sep 1979.
Cardelli L. Amber, Technical Report AT&T Bell Labs, Murray Hill, N.J., 1984.
Chakravarthy S. et al. HiPAC: A research Project in Active, Time-Constrained Database Management, Final Technical Report, XAIT-89-02, July 1989.
Date C.J. An Introduction to Database Systems, Addison Wesley, 1986.
Etzion O. Active Handling of Incomplete or Exceptional Information Database Systems, Proc WITS 91, pp. 46–60.
Etzion O., Gal A., Segev A. Temporal Support in Active Databases, Proc. WITS, pp. 245–254, Dec 1992.
Etzion O. Active Interdatabase Dependencies, to appear in Information Sciences, 1993.
Etzion O. PARDES-A Data-Driven Oriented Active Database Model, Sigmod Record, March 1993.
Etzion O. Flexible Consistency Modes For Active Database Applications, to appear in Information Systems, 1993.
Gadia S.K., Yeung C.S. A Generalized Model for a Relational Temporal Databases, Proc. of ACM SIGMOD 88, pp. 251–259, June 1988.
Gehani N.H., Jagadish H.V. Ode as an Active Database: Constraints and Triggers Ode as an Active Database: Constraints and Triggers, Proc. VLDB 91, pp. 226–327, 1991.
Hammer M., McLeod D. Data Base Description with SDM: a semantic Data Base Model, ACM TODS, 6(3), 1981.
Horowitz E., Kamper A. Application Generators, IEEE software 2(1), 1985.
Hudson S., King R. CACTIS: A Database System for Specification Functionally Defined Data, proc. IEEE OOBDS Workshop, 1986.
Kowalski R. Logic for Problem Solving. North-Holland, 1979.
Lohman G.M., Lindsay B., Pirahesh H., Schiefer K.B. Extensions to Starburst: Objects, Types, Functions and Rules, cacm 34(10), pp. 94–109, Oct 1991.
McCarthy D., Dayal U. The Architecture of an Active Data Base Management System, Proc. 1989 ACM SIGMOD International Conference, pp. 215–224, June 1989.
Morgenstern M. Constraint Equations: Declarative Expression of Constraints with Automatic Enforcement, Proc. VLDB, pp. 291–300, 1984.
Mylopoulos J., Berenstein P., Wong H.K.T. A Language Facility for Designing Database Intensive Applications, ACM TODS 5(2), Jun 1980.
Peterson J.L. Petri Net Theory and The Modeling of Systems, Prentice-Hall, Englewood Cliffs, N.J. 07632, 1981.
Sarda N.L. HSQL: Historical Query Language. Chapter 5 in [33], pp 110–140.
Segev A., Fang, W., Optimal Update Policies for Distributed Materialized Views. Management Science, Vol. 37, No. 7, July 1991.
Sheth A., Rusinkiewicz M., Karabaits G. Using Polytransactions to Manage Interdependent Data, Chapter 14 in: A. Elmagarmid (ed)-Transactions Models for Advanced Database Applications, Morgan-Kaufmann, 1992.
Stonebraker M., Hanson E., Potamianos S. The POSTGRES rules manager, IEEE Tran. on soft. Eng, pp. 897–907, July 1988.
Tansel A.U., Clifford J., Gadia S., Jajodia S., Segev A., Snodgrass R. Temporal Databases: Theory Design and Implementation. The Benjamin/Cummings Publishing Co. Inc, Redwood City, Ca, 1993.
Ullman J. Implementation of Logical Query Language for Data Bases, in: Proceedings of the ACM-SIGMOD International Conference on Management of Data, 1985
Wallace M. Kb2: A Knowledge Based System Embedded in Prolog, Technical Report TR-KB-12, European Computer Industry Research Centre, Munich, Aug. 1986.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 British Computer Society
About this paper
Cite this paper
Etzion, O., Gal, A., Segev, A. (1994). Data Driven and Temporal Rules in PARDES. In: Paton, N.W., Williams, M.H. (eds) Rules in Database Systems. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3225-7_6
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3225-7_6
Publisher Name: Springer, London
Print ISBN: 978-3-540-19846-8
Online ISBN: 978-1-4471-3225-7
eBook Packages: Springer Book Archive