Deriving Integrity Maintaining Triggers from Transition Graphs.
Michael Gertz, Udo W. Lipeck:
Deriving Integrity Maintaining Triggers from Transition Graphs.
ICDE 1993: 22-29@inproceedings{DBLP:conf/icde/GertzL93,
author = {Michael Gertz and
Udo W. Lipeck},
title = {Deriving Integrity Maintaining Triggers from Transition Graphs},
booktitle = {Proceedings of the Ninth International Conference on Data Engineering,
April 19-23, 1993, Vienna, Austria},
publisher = {IEEE Computer Society},
year = {1993},
isbn = {0-8186-3570-3},
pages = {22-29},
ee = {db/conf/icde/GertzL93.html},
crossref = {DBLP:conf/icde/93},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
Abstract
Copyright © 1993 by The Institute of
Electrical and Electronic Engineers, Inc. (IEEE).
Abstract used with permission.
CDROM Version: Load the CDROM "Volume 2 Issue 6, ICDE 1984-1995" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...
BibTeX
Printed Edition
Proceedings of the Ninth International Conference on Data Engineering, April 19-23, 1993, Vienna, Austria.
IEEE Computer Society 1993, ISBN 0-8186-3570-3
Contents BibTeX
References
- [1]
- Stefano Ceri, Jennifer Widom:
Deriving Production Rules for Constraint Maintainance.
VLDB 1990: 566-577 BibTeX
- [2]
- Kapali P. Eswaran, Donald D. Chamberlin:
Functional Specifications of Subsystem for Database Integrity.
VLDB 1975: 48-68 BibTeX
- [3]
- ...
- [4]
- Laura M. Haas, Walter Chang, Guy M. Lohman, John McPherson, Paul F. Wilms, George Lapis, Bruce G. Lindsay, Hamid Pirahesh, Michael J. Carey, Eugene J. Shekita:
Starburst Mid-Flight: As the Dust Clears.
IEEE Trans. Knowl. Data Eng. 2(1): 143-160(1990) BibTeX
- [5]
- Arding Hsu, Tomasz Imielinski:
Integrity Checking for Multiple Updates.
SIGMOD Conference 1985: 152-168 BibTeX
- [6]
- Michael Hammer, Dennis McLeod:
Semantic Integrity in a Relational Data Base System.
VLDB 1975: 25-47 BibTeX
- [7]
- Udo W. Lipeck, Dasu Feng:
Construction of Deterministic Transition Graphs from Dynamic Integrity Constraints.
WG 1988: 166-179 BibTeX
- [8]
- ...
- [9]
- Udo W. Lipeck:
Transformation of Dynamic Integrity Constraints into Transaction Specifications.
Theor. Comput. Sci. 76(1): 115-142(1990) BibTeX
- [10]
- ...
- [11]
- Udo W. Lipeck, Gunter Saake:
Monitoring dynamic integrity constraints based on temporal logic.
Inf. Syst. 12(3): 255-269(1987) BibTeX
- [12]
- Udo W. Lipeck, Heren Zhou:
Monitoring Dynamic Integrity Constraints on Finite State Sequences and Existence Intervals.
FMLDO 1991: 115-130 BibTeX
- [13]
- Jean-Marie Nicolas:
Logic for Improving Integrity Checking in Relational Data Bases.
Acta Inf. 18: 227-253(1982) BibTeX
- [14]
- Gunter Saake:
Descriptive Specification of Database Object Behaviour.
Data Knowl. Eng. 6: 47-73(1991) BibTeX
- [15]
- Michael Stonebraker, Greg Kemnitz:
The Postgres Next Generation Database Management System.
Commun. ACM 34(10): 78-92(1991) BibTeX
- [16]
- Eric Simon, Patrick Valduriez:
Design and Implementation of an Extendible Integrity Subsystem.
SIGMOD Conference 1984: 9-17 BibTeX
- [17]
- Susan Darling Urban, Anton P. Karadimce, Ravi B. Nannapaneni:
The Implementation and Evaluation of Integrity Maintenance Rules in an Object-Oriented Database.
ICDE 1992: 565-572 BibTeX
Referenced by
- Klaus-Dieter Schewe:
Well-Behaving Rule Systems for Entity-Relationship and Object-Oriented Models.
ER 1997: 141-154
- Jennifer Widom:
The Starburst Active Database Rule System.
IEEE Trans. Knowl. Data Eng. 8(4): 583-595(1996)
- Michael H. Böhlen, Jan Chomicki, Richard T. Snodgrass, David Toman:
Querying TSQL2 Databases with Temporal Logic.
EDBT 1996: 325-341
- Jennifer Widom, Stefano Ceri (Eds.):
Active Database Systems: Triggers and Rules For Advanced Database Processing.
Morgan Kaufmann 1996, ISBN 1-55860-304-2
Contents - Jan Chomicki:
Efficient Checking of Temporal Integrity Constraints Using Bounded History Encoding.
ACM Trans. Database Syst. 20(2): 149-186(1995)
- Jan Chomicki, David Toman:
Implementing Temporal Integrity Constraints Using an Active DBMS.
IEEE Trans. Knowl. Data Eng. 7(4): 566-582(1995)
- A. Prasad Sistla, Ouri Wolfson:
Temporal Conditions and Integrity Constraints in Active Database Systems.
SIGMOD Conference 1995: 269-280
- Stefano Ceri, Piero Fraternali, Stefano Paraboschi, Letizia Tanca:
Automatic Generation of Production Rules for Integrity Maintenance.
ACM Trans. Database Syst. 19(3): 367-422(1994)
- Udo W. Lipeck, Michael Gertz, Gunter Saake:
Transitional Monitoring of Dynamic Inegrity Constraints.
IEEE Data Eng. Bull. 17(2): 38-42(1994)
- Jan Chomicki, Damian Niwinski:
On the Feasibility of Checking Temporal Integrity Constraints.
PODS 1993: 202-213
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
ICDE Proceedings: Copyright © by IEEE,
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:18:07 2009