Accomodating Integrity Constraints During Database Design.

@inproceedings{DBLP:conf/edbt/PlexousakisM96,
  author    = {Dimitris Plexousakis and
               John Mylopoulos},
  editor    = {Peter M. G. Apers and
               Mokrane Bouzeghoub and
               Georges Gardarin},
  title     = {Accomodating Integrity Constraints During Database Design},
  booktitle = {Advances in Database Technology - EDBT'96, 5th International
               Conference on Extending Database Technology, Avignon, France,
               March 25-29, 1996, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1057},
  year      = {1996},
  isbn      = {3-540-61057-X},
  pages     = {497-513},
  ee        = {db/conf/edbt/PlexousakisM96.html},
  crossref  = {DBLP:conf/edbt/96},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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/An2-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/aDVD1 or /dvd

References

[1]

Alexander Borgida, John Mylopoulos, Raymond Reiter: "...And Nothing Else Changes": The Frame Problem in Procedure Specifications. ICSE 1993: 303-314 BibTeX

[2]

Alexander Borgida, John Mylopoulos, Raymond Reiter: On the Frame Problem in Procedure Specifications. IEEE Trans. Software Eng. 21(10): 785-798(1995) BibTeX

[3]

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

[4]

Stefano Ceri, Jennifer Widom: Deriving Production Rules for Constraint Maintainance. VLDB 1990: 566-577 BibTeX

[5]

Jan Chomicki: History-less Checking of Dynamic Integrity Constraints. ICDE 1992: 557-564 BibTeX

[6]

...

[7]

J. J. Florentin: Consistency Auditing of Databases. Comput. J. 17(1): 52-58(1974) BibTeX

[8]

Georges Gardarin, Michel A. Melkanoff: Proving Consistency of Database Transactions. VLDB 1979: 291-298 BibTeX

[9]

...

[10]

Manfred A. Jeusfeld, Matthias Jarke: From Relational to Object-Oriented Integrity Simplification. DOOD 1991: 460-477 BibTeX

[11]

Michael Lawley, Rodney W. Topor, Mark Wallace: Using Weakest Preconditions to Simplify Integrity Constraint Checking. Australian Database Conference 1993: 161-170 BibTeX

[12]

Vladimir Lifschitz: Toward a Metatheory of Action. KR 1991: 376-386 BibTeX

[13]

Fangzhen Lin, Raymond Reiter: State Constraints Revisited. J. Log. Comput. 4(5): 655-678(1994) BibTeX

[14]

Udo W. Lipeck: Transformation of Dynamic Integrity Constraints into Transaction Specifications. Theor. Comput. Sci. 76(1): 115-142(1990) BibTeX

[15]

John W. Lloyd, Liz Sonenberg, Rodney W. Topor: Integrity Constraint Checking in Stratified Databases. J. Log. Program. 4(4): 331-343(1987) BibTeX

[16]

...

[17]

...

[18]

John Mylopoulos, Alexander Borgida, Matthias Jarke, Manolis Koubarakis: Telos: Representing Knowledge About Information Systems. ACM Trans. Inf. Syst. 8(4): 325-362(1990) BibTeX

[19]

John Mylopoulos, Vinay K. Chaudhri, Dimitris Plexousakis, Adel Shrufi, Thodoros Topaloglou: Building Knowledge Base Management Systems. VLDB J. 5(4): 238-263(1996) BibTeX

[20]

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

[21]

...

[22]

Dimitris Plexousakis: Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases. VLDB 1993: 146-157 BibTeX

[23]

...

[24]

Dimitris Plexousakis: Compilation and Simplification of Temporal Integrity Constraints. Rules in Database Systems 1995: 260-276 BibTeX

[25]

...

[26]

...

[27]

...

[28]

Tim Sheard, David W. Stemple: Automatic Verification of Database Transaction Safety. ACM Trans. Database Syst. 14(3): 322-368(1989) BibTeX

[29]

David W. Stemple, Subhasish Mazumdar, Tim Sheard: On the Modes and Meaning of Feedback to Transaction Designers. SIGMOD Conference 1987: 374-386 BibTeX

[30]

Michael Stonebraker: Implementation of Integrity Constraints and Views by Query Modification. SIGMOD Conference 1975: 65-78 BibTeX

[31]

Ernest Teniente, Antoni Olivé: Updating Knowledge Bases While Maintaining Their Consistency. VLDB J. 4(2): 193-241(1995) BibTeX

Referenced by

1. John Mylopoulos, Vinay K. Chaudhri, Dimitris Plexousakis, Adel Shrufi, Thodoros Topaloglou: Building Knowledge Base Management Systems. VLDB J. 5(4): 238-263(1996)