article

Free access

Temporal conditions and integrity constraints in active database systems

Authors:

A. Prasad Sistla,

Ouri WolfsonAuthors Info & Claims

ACM SIGMOD Record, Volume 24, Issue 2

Pages 269 - 280

https://doi.org/10.1145/568271.223844

Published: 22 May 1995 Publication History

Abstract

In this paper, we present a unified formalism, based on Past Temporal Logic, for specifying conditions and events in the rules for active database system. This language permits specification of many time varying properties of database systems. It also permits specification of temporal aggregates. We present an efficient incremental algorithm for detecting conditions specified in this language. The given algorithm, for a subclass of the logic, was implemented on top of Sybase.

References

[1]

S. Chakravarthy et. al., HiPAC: A Research Project in Active, Time-Constrained Database Management, TR XAIT-89-02, Xerox Advanced Information Technology.

[2]

S. Chakravarthy et. al., Composite Events for Active Databases: Semantics, Contexts and Detection, Proc VLDB 94.

Digital Library

[3]

J. Chomicki, History-less Checking of Cynamic Integrity Constraints, IEEE International Conference on Data Engineering, Phoenix, Arizona, Febraury 1992.

Digital Library

[4]

J. Chomicki, Real-Time Integrity Constraints, ACM Symposium on Principles of Database Systems, June 1992.

Digital Library

[5]

U. Dayal, Active Database Management Systems, Proceedings of the Third International Conference on Data and Knowledge Bases-Improving Usability and Responsiveness, Jerusalem, June 1988.

Digital Library

[6]

U. Dayal, M. Hsu, R. Ladin Organizing Long-Running Activities with Triggers and Transactions, Proc. ACM-SIGMOD Conf. 1990.

Digital Library

[7]

U. Dayal, M. Hsu, R. Ladin A Transactional Model for Long-Running Activities, Proceedings of the 17th Conf. on VLDB, 1991.

Digital Library

[8]

M. Deng, Past Temporal Logic Trigger Evaluation System, Master Project Report, University of Illinois at Chicago, Department of EE and CS, 1994.

[9]

A. Elmagarmid, editor, Data Eng. Bulletin, Special Issue on Unconventional Transaction Management, March 1991.

[10]

O. Etzion, A. Gal and A. Segev, Retroactive and Proactive Database Processing, Proc. of the 4th Int. Workshop on Research Issues in Database Engineering, Feb. 94.

[11]

S. Gatziu and K. Dittrich, SAMOS: an Active Object-Oriented Database System, Data Engineering Bulletin, Dec. 92.

[12]

N. H. Gehani, H. V. Jagadish and O. Shmueli, Event Specification in an Active Object-Oriented Database, ACM-SIGMOD 92.

Digital Library

[13]

N. H. Gehani, H. V. Jagadish and O. Shmueli. Composite Event Specification in Active Databases: Model & Implementation, Proceedings of the 18th International Conference on Very Large Databases, Aug. 1992.

Digital Library

[14]

M. Gertz and U. Lipeck, Deriving Integrity Maintainging Triggers from Transition Graphs, Proc. Int. Conf. on Data Eng., 1993.

Digital Library

[15]

E. N. Hanson, Rule Condition Testing and Action Execution in Ariel, Proceedings of the ACM-SIGMOD 1992, International Conference on Management of Data, June 1992.

Digital Library

[16]

E. N. Hanson and J. Widom, An Overview of Production Rules in Database Systems Research Report RJ9023, IBM Research Division, 1992.

[17]

G. Kiernan, C. de Maindreville, E. Simon, Making Deductive Database a Practical Technology: A Step Forward, Proc. of the ACM-Sigmod International Conf. on Management of Data, 1990.

Digital Library

[18]

A. Kotz, K. Dittrich and J. Mulle, Supporting Semantic Rules by a Generalized Event/Trigger Mechanism, Proc. of the EDBT'88, Springer Verlag LNCS 303.

Digital Library

[19]

U. W. Lipeck and Gunter Saake, Monitoring Dynamic Integrity Constraints Based on Temporal Logic, Information Systems, 12(3):255-269, 1987.

Digital Library

[20]

U. W. Lipeck and Gunter Saake, Using Finite-Linear Temporal Logic for Specifying Database Dynamics, Lecture Notes in Computer Science, Springer-Verlag 1988.

Digital Library

[21]

D. R. McCarthy and U. Dayal, The Architecture of An Active Database Management System, Proc. ACM-SIGMOD 1989 Int'l Conf. Management of Data, Portland, Oregon, May-June 1989, 215-224.

Digital Library

[22]

T. Risch, Monitoring Database Objects, Proc. VLDB, Aug. 89.

Digital Library

[23]

A. Segev and H. Gunadhi, Event-Join Optimization in Temporal Relational Databases, Proc. VLDB, Aug. 1989.

Digital Library

[24]

A. Segev and A. Shoshani, Logical Modeling of Temporal Data, Proc. of the ACM-Sigmod International Conf. on Management of Data, 1987.

Digital Library

[25]

A. Segev and A. Shoshani, The Representation of a Temporal Data Model in the Relational Environment, 4th Int. Conf. on Statistical and Scientific Data Management, June 1988.

Digital Library

[26]

T. Sellis, Ed., Special Issue on Rule Management and Processing in Expert Database Systems, SIGMOD RECORD, 18(3), Sept. 1989.

Digital Library

[27]

A. P Sistla and O. Wolfson, Temporal Triggers in Active Databases, To appear in IEEE Transactions on Knowledge and Data Engineering 1995.

Digital Library

[28]

R. jSnodgrass and I. Ahn, The Temporal Databases, IEEE Computer, Sep. 1986.

Digital Library

[29]

R. Snodgrass, S. Gomez, E. McKenzie, Aggregates in the Temporal Query Language TQuel. IEEE Trans. on Knowledge and data Eng., Oct. 1993.

Digital Library

[30]

L. J. Stockmeyer (1974), The complexity of decision procedures in Automata theory and Logic, Doctoral Dissertation, MIT, Cambridge, Project MAC Technical Report Tr-133.

[31]

M. Stonebraker, A. Jhingran, J. Goh, and S Potamianos, On Rules, Procedures, Caching and Views in Database Systems, Proc. of the ACM-Sigmod International Conf. on Management of Data, 1990.

Digital Library

[32]

M. Stonebraker and G. Kemnitz, The Postgres Next-generation Database Management System, CACM, Oct. 91.

Digital Library

[33]

D. Toman and J. Chomicki, Implementing Temporal Integrity Constraints Using an Active Database, Proc. of the 4th Int Workshop on Research Issues in Database Engineering, Feb. 94.

[34]

A. Tuzhilin and J. Clifford, A Temporal Relational Algebra as a Basis for Temporal Relational Completeness, Proc. of the 16th VLDB Confeence, 1990.

Digital Library

[35]

J. D Ullman, Principles of Database and Knowledge-Base Systems, Computer Science Press, 1988.

Digital Library

[36]

J. Widom, S. Finkelstein, Set-Oriented Production Rules in Relational Database Systems, Proc. of the ACM-Sigmod International Conf. on Management of Data, 1990.

Digital Library

Cited By

Wijsen J(2018)Temporal Integrity ConstraintsEncyclopedia of Database Systems10.1007/978-1-4614-8265-9_400(3980-3986)Online publication date: 7-Dec-2018
https://doi.org/10.1007/978-1-4614-8265-9_400
Wijsen J(2017)Temporal Integrity ConstraintsEncyclopedia of Database Systems10.1007/978-1-4899-7993-3_400-2(1-7)Online publication date: 3-Feb-2017
https://doi.org/10.1007/978-1-4899-7993-3_400-2
Basin DKlaedtke FMarinovic SZălinescu E(2013)Monitoring of Temporal First-Order Properties with AggregationsRuntime Verification10.1007/978-3-642-40787-1_3(40-58)Online publication date: 2013
https://doi.org/10.1007/978-3-642-40787-1_3
Show More Cited By

Index Terms

Temporal conditions and integrity constraints in active database systems
1. Information systems
  1. Data management systems
2. Theory of computation
  1. Logic
  2. Models of computation
    1. Computability

Recommendations

Temporal conditions and integrity constraints in active database systems
SIGMOD '95: Proceedings of the 1995 ACM SIGMOD international conference on Management of data

In this paper, we present a unified formalism, based on Past Temporal Logic, for specifying conditions and events in the rules for active database system. This language permits specification of many time varying properties of database systems. It also ...
Integrity Constraints in Temporal Relational Databases
ITCC '04: Proceedings of the International Conference on Information Technology: Coding and Computing (ITCC'04) Volume 2 - Volume 2

The article addresses the key issues of integrity constraints intemporal data within the relational framework. These issues includerepresentation of temporal data, temporal grouping identifiers,primary keys of temporal relations and other forms of ...
Integrity constraints in (conceptual) database models
The evolution of conceptual modeling

The theory of integrity constraints has led to a large body of knowledge and to many applications such as optimisation of schema behaviour through normalisation to schemata which are easier to maintain, as automatic enforcement of database integrity by ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGMOD Record

ACM SIGMOD Record Volume 24, Issue 2

May 1995

490 pages

ISSN:0163-5808

DOI:10.1145/568271

Issue’s Table of Contents

SIGMOD '95: Proceedings of the 1995 ACM SIGMOD international conference on Management of data
June 1995
508 pages
ISBN:0897917316
DOI:10.1145/223784
Editors:
Michael Carey
Univ. of Wisconsin
,
Donovan Schneider
Red Brick Systems

Copyright © 1995 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 22 May 1995

Published in SIGMOD Volume 24, Issue 2

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

59
Total Citations
View Citations
796
Total Downloads

Downloads (Last 12 months)70
Downloads (Last 6 weeks)8

Reflects downloads up to 07 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Wijsen J(2018)Temporal Integrity ConstraintsEncyclopedia of Database Systems10.1007/978-1-4614-8265-9_400(3980-3986)Online publication date: 7-Dec-2018
https://doi.org/10.1007/978-1-4614-8265-9_400
Wijsen J(2017)Temporal Integrity ConstraintsEncyclopedia of Database Systems10.1007/978-1-4899-7993-3_400-2(1-7)Online publication date: 3-Feb-2017
https://doi.org/10.1007/978-1-4899-7993-3_400-2
Basin DKlaedtke FMarinovic SZălinescu E(2013)Monitoring of Temporal First-Order Properties with AggregationsRuntime Verification10.1007/978-3-642-40787-1_3(40-58)Online publication date: 2013
https://doi.org/10.1007/978-3-642-40787-1_3
Trajcevski GValtchanov NGhica OScheuermann P(2009)A Case for Meta-Triggers in Wireless Sensor NetworksProceedings of the 2009 Eighth IEEE International Symposium on Network Computing and Applications10.1109/NCA.2009.53(171-178)Online publication date: 9-Jul-2009
https://dl.acm.org/doi/10.1109/NCA.2009.53
Mansour EHöpfner H(2009)Replay the Execution History of Rule-Based InformationProceedings of the 2009 First International Conference on Advances in Databases, Knowledge, and Data Applications10.1109/DBKDA.2009.17(28-35)Online publication date: 1-Mar-2009
https://dl.acm.org/doi/10.1109/DBKDA.2009.17
Wijsen J(2009)Temporal Integrity ConstraintsEncyclopedia of Database Systems10.1007/978-0-387-39940-9_400(2976-2982)Online publication date: 2009
https://doi.org/10.1007/978-0-387-39940-9_400
Patankar ASegev A(2006)An architecture and construction of a business event managerTemporal Databases: Research and Practice10.1007/BFb0053706(257-280)Online publication date: 23-May-2006
https://doi.org/10.1007/BFb0053706
van den Akker JSiebes A(2005)DEGAS: Capturing dynamics in objectsActive Flow and Combustion Control 201810.1007/3-540-61292-0_5(82-98)Online publication date: 1-Jun-2005
https://doi.org/10.1007/3-540-61292-0_5
Plexousakis D(2005)Compilation and simplification of temporal integrity constraintsRules in Database Systems10.1007/3-540-60365-4_132(260-274)Online publication date: 2-Jun-2005
https://doi.org/10.1007/3-540-60365-4_132
Mok AKonana PLiu GLee CWoo H(2004)Specifying Timing Constraints and Composite EventsIEEE Transactions on Software Engineering10.1109/TSE.2004.10530:12(841-858)Online publication date: 1-Dec-2004
https://dl.acm.org/doi/10.1109/TSE.2004.105
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents