ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
Integrity checking for multiple updates
Source International Conference on Management of Data archive
Proceedings of the 1985 ACM SIGMOD international conference on Management of data table of contents
Austin, Texas, United States
Pages: 152 - 168  
Year of Publication: 1985
ISBN:0-89791-160-1
Also published in ...
Authors
Arding Hsu
Tomasz Imielinski
Sponsor
SIGMOD: ACM Special Interest Group on Management of Data
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): n/a,   Downloads (12 Months): n/a,   Citation Count: 20
Additional Information:

cited by   index terms   collaborative colleagues  

Tools and Actions: Review this Article  
Save this Article to a Binder    Display Formats: BibTex  EndNote ACM Ref   
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/318898.318914
What is a DOI?

CITED BY  20
 
Xiaolei Qian , Douglas R. Smith, Integrity Constraint Reformulation for Efficient Validation, Proceedings of the 13th International Conference on Very Large Data Bases, p.417-425, September 01-04, 1987
David Stemple , Subhasish Mazumdar , Tim Sheard, On the modes and meaning of feedback to transaction designers, ACM SIGMOD Record, v.16 n.3, p.374-386, Dec. 1987
Zahir Tari, ERC++: a model based on object and logic paradigms, Proceedings of the second international conference on Information and knowledge management, p.625-634, November 01-05, 1993, Washington, D.C., United States
 
Stefano Ceri , Jennifer Widom, Deriving Production Rules for Constraint Maintainance, Proceedings of the 16th International Conference on Very Large Data Bases, p.566-577, August 13-16, 1990
 
Marco A. Casanova , Luiz Tucherman , Antonio L. Furtado, Enforcing Inclusion Dependencies and Referencial Integrity, Proceedings of the 14th International Conference on Very Large Data Bases, p.38-49, August 29-September 01, 1988
 
Paul W. P. J. Grefen, Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem, Proceedings of the 19th International Conference on Very Large Data Bases, p.581-591, August 24-27, 1993
Eugene Y. Sheng, A decompositional approach to database constraint enforcement, Proceedings of the 1993 ACM conference on Computer science, p.489-496, February 16-18, 1993, Indianapolis, Indiana, United States
Tim Sheard , David Stemple, Automatic verification of database transaction safety, ACM Transactions on Database Systems (TODS), v.14 n.3, p.322-368, Sept. 1989
 
T. Risch, Monitoring database objects, Proceedings of the 15th international conference on Very large data bases, p.445-453, July 1989, Amsterdam, The Netherlands
 
H. V. Jagadish , Xiaolei Qian, Integrity Maintenance in Object-Oriented Databases, Proceedings of the 18th International Conference on Very Large Data Bases, p.469-480, August 23-27, 1992
Xiaolei Qian, The deductive synthesis of database transactions, ACM Transactions on Database Systems (TODS), v.18 n.4, p.626-677, Dec. 1993
C. F. Eick , R. Kochhar , S. Kumar, DALI-a knowledge base management system, Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems, p.837-846, June 1988, Tullahoma, Tennessee, United States
Wen-Chi Hou , Zhongyang Zhang, Enhancing database correctness: a statistical approach, ACM SIGMOD Record, v.24 n.2, p.223-232, May 1995
 
Naci S. Ishakbeyoglu , Z. Meral Ozsoyoglu, Maintenance of implication integrity constraints under updates to constraints, The VLDB Journal — The International Journal on Very Large Data Bases, v.7 n.2, p.67-78, May 1998
 
Stefan Böttcher, Concurrent checking of global cross-database integrity constraints, Integrity and internal control in information systems V, Kluwer Academic Publishers, Norwell, MA, 2003
 
Véronique Benzaken , Anne Doucet, Thémis: a database programming language handling integrity constraints, The VLDB Journal — The International Journal on Very Large Data Bases, v.4 n.3, July 1995
 
C. F. Eick , P. Werstein, Rule-Based Consistency Enforcement for Knowledge-Based Systems, IEEE Transactions on Knowledge and Data Engineering, v.5 n.1, p.52-64, February 1993
Michael Benedikt , Timothy Griffin , Leonid Libkin, Verifiable properties of database transactions, Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.117-127, June 04-06, 1996, Montreal, Quebec, Canada
Jan Chomicki, Efficient checking of temporal integrity constraints using bounded history encoding, ACM Transactions on Database Systems (TODS), v.20 n.2, p.149-186, June 1995
 
Henning Christiansen , Davide Martinenghi, On Simplification of Database Integrity Constraints, Fundamenta Informaticae, v.71 n.4, p.371-417, December 2006

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.7 Database Administration
          Subjects: Security, integrity, and protection

Additional Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT


General Terms:
Design, Experimentation, Management, Theory, Verification

Collaborative Colleagues:
Arding Hsu: colleagues
Tomasz Imielinski: colleagues
This Article has also been published in:

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2008 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player