History-less checking of dynamic integrity constraints

Publisher Website

2 January 2003

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/icde.1992.213153

Abstract

No abstract available

Keywords

This publication has 11 references indexed in Scilit:

Theoretical foundations of handling large substitution sets in temporal integrity monitoring
Acta Informatica, 1991
On rules, procedure, caching and views in data base systems
Published by Association for Computing Machinery (ACM) ,1990
The anchored version of the temporal framework
Published by Springer Nature ,1989
The HiPAC project: combining active databases and timing constraints
ACM SIGMOD Record, 1988
A transaction logic for database specification
Published by Association for Computing Machinery (ACM) ,1988
Monitoring dynamic integrity constraints based on temporal logic
Information Systems, 1987
Temporal Databases
Computer, 1986
Recurring Dominoes: Making the Highly Undecidable Highly Understandable
North-Holland Mathematics Studies, 1985
Logic and Databases: A Deductive Approach
ACM Computing Surveys, 1984
Logic for improving integrity checking in relational data bases?
Acta Informatica, 1982