History-less Checking of Dynamic Integrity Constraints.
Jan Chomicki:
History-less Checking of Dynamic Integrity Constraints.
ICDE 1992: 557-564@inproceedings{DBLP:conf/icde/Chomicki92,
author = {Jan Chomicki},
editor = {Forouzan Golshani},
title = {History-less Checking of Dynamic Integrity Constraints},
booktitle = {Proceedings of the Eighth International Conference on Data Engineering,
February 3-7, 1992, Tempe, Arizona},
publisher = {IEEE Computer Society},
year = {1992},
isbn = {0-8186-2545-7},
pages = {557-564},
ee = {db/conf/icde/Chomicki92.html},
crossref = {DBLP:conf/icde/92},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
Abstract
Copyright © 1992 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
Forouzan Golshani (Ed.):
Proceedings of the Eighth International Conference on Data Engineering, February 3-7, 1992, Tempe, Arizona.
IEEE Computer Society 1992, ISBN 0-8186-2545-7
Contents BibTeX
References
- [1]
- Rajeev Alur, Thomas A. Henzinger:
Real-time Logics: Complexity and Expressiveness.
LICS 1990: 390-401 BibTeX
- [2]
- Stefano Ceri, Jennifer Widom:
Deriving Production Rules for Incremental View Maintenance.
VLDB 1991: 577-589 BibTeX
- [3]
- Umeshwar Dayal, Barbara T. Blaustein, Alejandro P. Buchmann, Upen S. Chakravarthy, Meichun Hsu, R. Ledin, Dennis R. McCarthy, Arnon Rosenthal, Sunil K. Sarin, Michael J. Carey, Miron Livny, Rajiv Jauhari:
The HiPAC Project: Combining Active Databases and Timing Constraints.
SIGMOD Record 17(1): 51-70(1988) BibTeX
- [4]
- José Mauro Volkmer de Castilho, Marco A. Casanova, Antonio L. Furtado:
A Temporal Framework for Database Specifications.
VLDB 1982: 280-291 BibTeX
- [5]
- Dov M. Gabbay, Peter McBrien:
Temporal Logic & Historical Databases.
VLDB 1991: 423-430 BibTeX
- [6]
- Hervé Gallaire, Jack Minker, Jean-Marie Nicolas:
Logic and Databases: A Deductive Approach.
ACM Comput. Surv. 16(2): 153-185(1984) BibTeX
- [7]
- ...
- [8]
- Klaus Hülsmann, Gunter Saake:
Theoretical Foundations of Handling Large Substitution Sets in Temporal Integrity Monitoring.
Acta Inf. 28(4): 365-407(1991) BibTeX
- [9]
- Udo W. Lipeck, Gunter Saake:
Monitoring dynamic integrity constraints based on temporal logic.
Inf. Syst. 12(3): 255-269(1987) BibTeX
- [10]
- ...
- [11]
- Jean-Marie Nicolas:
Logic for Improving Integrity Checking in Relational Data Bases.
Acta Inf. 18: 227-253(1982) BibTeX
- [12]
- Xiaolei Qian, Richard J. Waldinger:
A Transaction Logic for Database Specification.
SIGMOD Conference 1988: 243-250 BibTeX
- [13]
- Richard T. Snodgrass, Ilsoo Ahn:
Temporal Databases.
IEEE Computer 19(9): 35-42(1986) BibTeX
- [14]
- Michael Stonebraker, Anant Jhingran, Jeffrey Goh, Spyros Potamianos:
On Rules, Procedures, Caching and Views in Data Base Systems.
SIGMOD Conference 1990: 281-290 BibTeX
- [15]
- ...
- [16]
- Alexander Tuzhilin, James Clifford:
A Temporal Relational Algebra as Basis for Temporal Relational Completeness.
VLDB 1990: 13-23 BibTeX
- [17]
- Moshe Y. Vardi, Pierre Wolper:
An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report).
LICS 1986: 332-344 BibTeX
- [18]
- Jennifer Widom, Roberta Cochrane, Bruce G. Lindsay:
Implementing Set-Oriented Production Rules as an Extension to Starburst.
VLDB 1991: 275-285 BibTeX
Referenced by
- Claudio Bettini, Xiaoyang Sean Wang, Sushil Jajodia:
Temporal Semantic Assumptions and Their Use in Databases.
IEEE Trans. Knowl. Data Eng. 10(2): 277-296(1998)
- Iakovos Motakis, Carlo Zaniolo:
Temporal Aggregation in Active Database Rules.
SIGMOD Conference 1997: 440-451
- Lars Bækgaard:
Transaction-Based Specification of Database Evolution.
ER 1997: 127-140
- John Mylopoulos, Vinay K. Chaudhri, Dimitris Plexousakis, Adel Shrufi, Thodoros Topaloglou:
Building Knowledge Base Management Systems.
VLDB J. 5(4): 238-263(1996)
- Dimitris Plexousakis, John Mylopoulos:
Accomodating Integrity Constraints During Database Design.
EDBT 1996: 497-513
- 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)
- A. Prasad Sistla, Ouri Wolfson:
Temporal Triggers in Active Databases.
IEEE Trans. Knowl. Data Eng. 7(3): 471-486(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
- Claudio Bettini, Xiaoyang Sean Wang, Elisa Bertino, Sushil Jajodia:
Semantic Assumptions and Query Evaluation in Temporal Databases.
SIGMOD Conference 1995: 257-268
- H. V. Jagadish, Inderpal Singh Mumick, Abraham Silberschatz:
View Maintenance Issues for the Chronicle Data Model.
PODS 1995: 113-124
- Nicole Bidoit, Sandra de Amo:
A First Step Towards Implementing Dynamic Algebraic Dependencies.
ICDT 1995: 308-321
- Jennifer Widom:
Research Problems in Data Warehousing.
CIKM 1995: 25-30
- Serge Abiteboul, Richard Hull, Victor Vianu:
Foundations of Databases.
Addison-Wesley 1995, ISBN 0-201-53771-0
Contents - 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:
Temporal Inegrity Constraints in Relational Databases.
IEEE Data Eng. Bull. 17(2): 33-37(1994)
- Dimitris Plexousakis:
Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases.
VLDB 1993: 146-157
- Jan Chomicki, Damian Niwinski:
On the Feasibility of Checking Temporal Integrity Constraints.
PODS 1993: 202-213
- Jan Chomicki:
Real-Time Integrity Constraints.
PODS 1992: 274-282
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:05 2009