Maintenance of Implication Integrity Constraints Under Updates to Constraints.

@article{DBLP:journals/vldb/IshakbeyogluO98,
  author    = {Naci Ishakbeyoglu and
               Z. Meral {\"O}zsoyoglu},
  title     = {Maintenance of Implication Integrity Constraints Under Updates
               to Constraints},
  journal   = {VLDB J.},
  volume    = {7},
  number    = {2},
  year      = {1998},
  pages     = {67-78},
  ee        = {db/journals/vldb/IshakbeyogluO98.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Key Words

Copyright © 1998 by Springer, Berlin, Heidelberg. Permission to make digital or hard copies of the abstract is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice along with the full citation.

Online Edition (Springer)

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An5-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

References

[Aho et al. 1972]

Alfred V. Aho, M. R. Garey, Jeffrey D. Ullman: The Transitive Reduction of a Directed Graph. SIAM J. Comput. 1(2): 131-137(1972)

[Aho et al. 1974]

Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman: The Design and Analysis of Computer Algorithms. Addison-Wesley 1974, ISBN 0-201-00029-6

[Bernstein and Blaustein 1981]

...

[Böttcher et al. 1986]

Stefan Böttcher, Matthias Jarke, Joachim W. Schmidt: Adaptive Predicate Managers in Database Systems. VLDB 1986: 21-29

[Bry and Manthey 1986]

François Bry, Rainer Manthey: Checking Consistency of Database Constraints: a Logical Basis. VLDB 1986: 13-20

[Bry et a1. 1988]

François Bry, Hendrik Decker, Rainer Manthey: A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. EDBT 1988: 488-505

[Büning et al. 1989]

Hans Kleine Büning, Ulrich Löwen, Stefan Schmitgen: Inconsistency of Production Systems. Data Knowl. Eng. 3(4): 245-260(1989)

[Ceri et al. 1994]

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)

[Chang and Lee 1973]

...

[Elkan 1989]

Charles Elkan: A Decision Procedure for Conjunctive Query Disjointness. PODS 1989: 134-139

[Fagin et al. 1983]

Ronald Fagin, Jeffrey D. Ullman, Moshe Y. Vardi: On the Semantics of Updates in Databases. PODS 1983: 352-365

[Gallier 1986]

Jean H. Gallier: Logic for Computer Science: Foundations of Automatic Theorem Proving. Harper & Row 1986, ISBN 0-06-042225-4

[Gärdenfors 1992]

...

[Grefen and Apers 1993]

Paul W. P. J. Grefen, Peter M. G. Apers: Integrity Control in Relational Database Systems - An Overview. Data Knowl. Eng. 10: 187-223(1993)

[Hsu and Imielinski 1985]

Arding Hsu, Tomasz Imielinski: Integrity Checking for Multiple Updates. SIGMOD Conference 1985: 152-168

[Illharamendi et al. 1994]

Arantza Illarramendi, José Miguel Blanco, Alfredo Goñi: Making the Knowledge Base System More Efficient: A Method to Detect Inconsistent Queries. IEEE Trans. Knowl. Data Eng. 6(4): 634-639(1994)

[Ishakbeyoglu and Ozsoyoglu 1991]

...

[Ishakbeyoglu and Ozsoyoglu 1992]

...

[Klug 1988]

Anthony C. Klug: On conjunctive queries containing inequalities. J. ACM 35(1): 146-160(1988)

[Kung 1984]

...

[Kung 1985]

David Chenho Kung: On Verification of Database Temporal Constraints. SIGMOD Conference 1985: 169-179

[Manthey and Bry 1988]

Rainer Manthey, François Bry: SATCHMO: A Theorem Prover Implemented in Prolog. CADE 1988: 415-434

[McCune and Henschen 1989]

William McCune, Lawrence J. Henschen: Maintaining state constraints in relational databases: a proof theoretic basis. J. ACM 36(1): 46-68(1989)

[Nicolas 1982]

Jean-Marie Nicolas: Logic for Improving Integrity Checking in Relational Data Bases. Acta Inf. 18: 227-253(1982)

[Rosenkrantz and Hunt 1980]

Daniel J. Rosenkrantz, Harry B. Hunt III: Processing Conjunctive Predicates and Queries. VLDB 1980: 64-72

[Rossi and Naqvi 1989]

Francesca Rossi, Shamim A. Naqvi: Contributions to the View Update Problem. ICLP 1989: 398-415

[Sadri and Kowalski 1988]

Fariba Sadri, Robert A. Kowalski: A Theorem-Proving Approach to Database Integrity. Foundations of Deductive Databases and Logic Programming. 1988: 313-362

[Shenoy and Ozsyuoglu 1987]

Sreekumar T. Shenoy, Z. Meral Özsoyoglu: A System for Semantic Query Optimization. SIGMOD Conference 1987: 181-195

[Shenoy and Ozsoyoglu 1989]

Sreekumar T. Shenoy, Z. Meral Özsoyoglu: Design and Implementation of a Semantic Query Optimizer. IEEE Trans. Knowl. Data Eng. 1(3): 344-361(1989)

[Siegel 1988]

Michael Siegel: Automatic Rule Derivation For Semantic Query Optimization. Expert Database Conf. 1988: 669-698

[Stickel 1985]

Mark E. Stickel: Automated Deduction by Theory Resolution. J. Autom. Reasoning 1(4): 333-355(1985)

[Ullman 1988]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents

[Ullman 1989]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X
Contents

[Winslett 1990]

...

[Yu and Ozsoyoglu 1984]

...

[Yu and Sum 1989]

Clement T. Yu, Wei Sun: Automatic Knowledge Acquisition and Maintenance for Semantic Query Optimization. IEEE Trans. Knowl. Data Eng. 1(3): 362-375(1989)

[Zhang and Ozsoyoglu 1995]

...

[Zhang and Ozsoyoplu 1994]

Xubo Zhang, Z. Meral Özsoyoglu: Some Results on the Containment and Minimization of (in) Equality Queries. Inf. Process. Lett. 50(5): 259-267(1994)