Transaction repair for integrity enforcement

IEEE Transactions on Knowledge and Data Engineering

Volumn 13, Issue 6, 2001, Pages 996-1009

  Orman, L V ^a  

^a Sage Hall ^*  (United States)

Author keywords

Constraint enforcement; Database constraints; Database integrity; Database updates; Error detection

Indexed keywords

CONSTRAINT THEORY; ERROR DETECTION; SEMANTICS; SOFTWARE ENGINEERING; THEOREM PROVING;

DATABASE CONSTRAINTS;

DATABASE SYSTEMS;

EID: 0035518010     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/69.971192     Document Type: Article

References (24)

1. Updated derived relations: Detecting autonomously computable updates
2. Declarative updates in relational databases
3. Deriving production rules for constraint maintenance
4. Automatic generation of production rules for integrity maintenance
5. Independence of logic database queries and updates
6. Deriving integrity maintenance triggers from transition graphs
7. An incremental algorithm for the incremental computation of active relational expressions
8. Updating relational views using knowledge at view definition and view update time
9. Queries independent of updates
10. Data quality and due process in large interorganizational record systems
11. Maintaining state constraints in relational databases
12. Reactive consistency control in deductive databases
13. Integrity=Validity+Completeness
14. Database constraints as counterexamples
15. Differential relational calculus for integrity maintenance
16. Incremental computation of active relational expressions
17. Integrity enforcement in object oriented database
18. On rules, procedures, caching, and views in database systems
19. Constraint analysis: A design process for specifying operations on objects
20. An intelligent framework for active support of database semantics
21. A framework for the analysis of data quality research
22. On updates and inconsistency repairing in knowledge bases