research-article

Transaction Repair for Integrity Enforcement

Author:

L. V. OrmanAuthors Info & Claims

IEEE Transactions on Knowledge and Data Engineering, Volume 13, Issue 6

Pages 996 - 1009

https://doi.org/10.1109/69.971192

Published: 01 November 2001 Publication History

Abstract

A transaction repair system detects erroneous transactions as they update the database, and for each erroneous transaction, it finds the necessary and sufficient changes to the transaction that would repair it. Detection and repair are the two essential components of semantic integrity maintenance since detection alone would leave the user with the difficult responsibility of manually correcting and reentering an erroneous transaction. Both detection and repair rely on incremental integrity maintenance techniques. The detection process takes advantage of the integrity of the database before the transaction, and detects only the new errors introduced by the transaction. The repair process takes advantage of the integrity before the transaction and integrity violation after the transaction but before the repair. Such a two-step incremental analysis produces the minimal repair necessary and sufficient to correct the transaction. All necessary and sufficient repairs are generated, for all first order constraints, and by using only substitution with no resolution search. Multiple constraints are repaired in parallel, with no sequencing of constraints, and no possibility of cycles. Extensions to recursive constraints and nondeterministic transactions are provided.

References

[1]

J.A. Blakely L.N. Coburn and P.A. Larson, “Updated Derived Relations: Detecting Autonomously Computable Updates,” ACM Trans. Database Systems, vol. 14, no. 3, pp. 369-400, 1989.

Digital Library

[2]

W. Chen, “Declarative Updates in Relational Databases,” ACM Trans. Database Systems, vol. 20, no. 1, pp. 42-70, 1995.

Digital Library

[3]

S. Ceri and J. Widom, “Deriving Production Rules for Constraint Maintenance,” Proc. Very Large Data Bases Conf., vol. 16, pp. 566-577, 1990.

Digital Library

[4]

S. Ceri P. Fraternali S. Paraborchi and L. Tanca, “Automatic Generation of Production Rules for Integrity Maintenance,” ACM Trans. Database Systems, vol. 19, no. 3, pp. 366-421, 1994.

Digital Library

[5]

C. Elkan, “Independence of Logic Database Queries and Updates,” Proc. Ninth ACM PODS Conf., pp. 154-160, 1990.

Digital Library

[6]

M. Gertz and U.W. Lipeck, “Deriving Integrity Maintenance Triggers from Transition Graphs,” Proc. Ninth IEEE Conf. Data Eng., pp. 22-30, 1993.

Digital Library

[7]

T. Griffin L. Libkin and H. Trickey, “An Incremental Algorithm for the Incremental Computation of Active Relational Expressions,” IEEE Trans. Knowledge and Data Eng., vol. 9, no. 3, pp. 508-511, May/June 1997.

Digital Library

[8]

J.A. Larson and A.S. Sheth, “Updating Relational Views using Knowledge at View Definition and View Update Time,” Information Systems, vol. 16, no. 2, pp. 145-168, 1991.

Digital Library

[9]

A.Y. Levy and Y. Sagiv, “Queries Independent of Updates,” Proc. Very Large Data Bases Conf., pp. 171-181, 1993.

Digital Library

[10]

W. Kim, Object Oriented Databases. Prentice Hall, 1991.

[11]

K.C. Laudon, “Data Quality and Due Process in Large Interorganizational Record Systems,” Comm. ACM, vol. 29, no. 1, pp. 4-11, 1986.

Digital Library

[12]

W. McCune and L. Henschen, “Maintaining State Constraints in Relational Databases,” J. ACM, vol. 36, no. 1, 1989.

Digital Library

[13]

G. Moerkotte and P.C. Lockemann, “Reactive Consistency Control in Deductive Databases,” ACM Trans. Database Systems, vol. 16, no. 4, pp. 670-702, 1991.

Digital Library

[14]

A. Motro, “Integrity=Validity+Completeness,” ACM Trans. Database Systems, vol. 14, no. 4, pp. 480-502, 1989.

Digital Library

[15]

L.V. Orman, “Database Constraints as Counterexamples,” Acta Informatica, vol. 34, pp. 167-189, 1997.

[16]

L.V. Orman, “Differential Relational Calculus for Integrity Maintenance,” IEEE Trans. Knowledge and Data Eng., vol. 10, no. 2, pp. 328-341, Mar./Apr. 1998.

Digital Library

[17]

X. Qian and G. Wiederhold, “Incremental Computation of Active Relational Expressions,” IEEE Trans. Knowledge and Data Eng., vol. 3, no. 3, pp. 337-341, 1991.

Digital Library

[18]

K.D. Schewe B. Thalheim J.W. Schmidt and I. Wetzel, “Integrity Enforcement in Object Oriented Database,” Modelling Database Dynamics, pp. 174-195, 1993.

Digital Library

[19]

M. Stonebraker A. Juingran J. Goh and S. Potamianos, “On Rules, Procedures, Caching, and Views in Database Systems,” Proc. ACM SIGMOD Conf. Management of Data, pp. 281-290, 1990.

Digital Library

[20]

J.D. Ullman and J. Widom, A First Course on Database Management Systems. Prentice Hall, 1997.

Digital Library

[21]

S.D. Urban and L.M. Delcambre, “Constraint Analysis: A Design Process for Specifying Operations on Objects,” IEEE Trans. Knowledge and Data Eng., vol. 2, no. 4, pp. 391-400, Apr. 1990.

Digital Library

[22]

S.D. Urban and B.B.L. Lim, “An Intelligent Framework for Active Support of Database Semantics,” Int'l J. Expert Systems, vol. 6, no. 1, pp. 1-37, 1993.

Digital Library

[23]

R.Y. Wang V.C. Storey and C.P. Firth, “A Framework for the Analysis of Data Quality Research,” IEEE Trans. Knowledge and Data Eng., vol. 7, no. 4, pp. 623-639, Aug. 1995.

Digital Library

[24]

B. Wuethrich, “On Updates and Inconsistency Repairing in Knowledge Bases,” Proc. IEEE Conf. Data Eng., 1993.

Digital Library

Cited By

Mohapatra AAgarwal SGenesereth M(2016)Update PoliciesAI 2016: Advances in Artificial Intelligence10.1007/978-3-319-50127-7_24(291-302)Online publication date: 5-Dec-2016
https://dl.acm.org/doi/10.1007/978-3-319-50127-7_24
Krishnamurthi SFisler KDougherty DYoo DHarrold MMurphy G(2008)AlchemyProceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering10.1145/1453101.1453123(158-169)Online publication date: 9-Nov-2008
https://dl.acm.org/doi/10.1145/1453101.1453123
Kassoff MZen LGarg AGenesereth MBratbergsengen K(2005)PrediCalcProceedings of the 31st international conference on Very large data bases10.5555/1083592.1083739(1247-1250)Online publication date: 30-Aug-2005
https://dl.acm.org/doi/10.5555/1083592.1083739
Show More Cited By

Index Terms

Transaction Repair for Integrity Enforcement

Recommendations

Transaction Repair for Multi-Version Concurrency Control
SIGMOD '17: Proceedings of the 2017 ACM International Conference on Management of Data

The optimistic variants of Multi-Version Concurrency Control (MVCC) avoid blocking concurrent transactions at the cost of having a validation phase. Upon failure in the validation phase, the transaction is usually aborted and restarted from scratch. The ...
Transaction chopping: algorithms and performance studies

Chopping transactions into pieces is good for performance but may lead to nonserializable executions. Many researchers have reacted to this fact by either inventing new concurrency-control mechanisms, weakening serializability, or both. We adopt a ...
A read-only transaction anomaly under snapshot isolation

Snapshot Isolation (SI), is a multi-version concurrency control algorithm introduced in [BBGMOO95] and later implemented by Oracle. SI avoids many concurrency errors, and it never delays read-only transactions. However it does not guarantee ...

Comments

Information & Contributors

Information

Published In

cover image IEEE Transactions on Knowledge and Data Engineering

IEEE Transactions on Knowledge and Data Engineering Volume 13, Issue 6

November 2001

198 pages

ISSN:1041-4347

Issue’s Table of Contents

Copyright © Copyright © 2001 IEEE. All Rights Reserved.

Publisher

IEEE Educational Activities Department

United States

Publication History

Published: 01 November 2001

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 14 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

Mohapatra AAgarwal SGenesereth M(2016)Update PoliciesAI 2016: Advances in Artificial Intelligence10.1007/978-3-319-50127-7_24(291-302)Online publication date: 5-Dec-2016
https://dl.acm.org/doi/10.1007/978-3-319-50127-7_24
Krishnamurthi SFisler KDougherty DYoo DHarrold MMurphy G(2008)AlchemyProceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering10.1145/1453101.1453123(158-169)Online publication date: 9-Nov-2008
https://dl.acm.org/doi/10.1145/1453101.1453123
Kassoff MZen LGarg AGenesereth MBratbergsengen K(2005)PrediCalcProceedings of the 31st international conference on Very large data bases10.5555/1083592.1083739(1247-1250)Online publication date: 30-Aug-2005
https://dl.acm.org/doi/10.5555/1083592.1083739
Orman L(2002)Electronic Markets, Hierarchies, Hubs, and IntermediariesInformation Systems Frontiers10.1023/A:10160070208464:2(213-228)Online publication date: 1-Jul-2002
https://dl.acm.org/doi/10.1023/A%3A1016007020846

View Options

View options

Media

Figures

Other

Tables

View Issue’s Table of Contents