Static Management of Integrity in Object-Oriented Databases: Design and Implementation.

@inproceedings{DBLP:conf/edbt/BenzakenS98,
  author    = {V{\'e}ronique Benzaken and
               Xavier Schaefer},
  editor    = {Hans-J{\"o}rg Schek and
               F{\`e}lix Saltor and
               Isidro Ramos and
               Gustavo Alonso},
  title     = {Static Management of Integrity in Object-Oriented Databases:
               Design and Implementation},
  booktitle = {Advances in Database Technology - EDBT'98, 6th International
               Conference on Extending Database Technology, Valencia, Spain,
               March 23-27, 1998, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1377},
  year      = {1998},
  isbn      = {3-540-64264-1},
  pages     = {311-325},
  ee        = {db/conf/edbt/BenzakenS98.html, http://link.springer.de/link/service/series/0558/bibs/1377/13770311.htm},
  crossref  = {DBLP:conf/edbt/98},
  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/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/aDVD1 or /dvd

Online Edition: Springer LINK

References

[1]

Serge Abiteboul, Anthony J. Bonner: Objects and Views. SIGMOD Conference 1991: 238-247 BibTeX

[2]

Antonio Albano, Roberto Bergamini, Giorgio Ghelli, Renzo Orsini: An Object Data Model with Roles. VLDB 1993: 39-51 BibTeX

[3]

Antonio Albano, Giorgio Ghelli, Renzo Orsini: Fibonacci: A Programming Language for Object Databases. VLDB J. 4(3): 403-444(1995) BibTeX

[4]

Véronique Benzaken, Anne Doucet: Thémis: A Database Programming Language Handling Integrity Constraints. VLDB J. 4(3): 493-517(1995) BibTeX

[5]

...

[6]

Véronique Benzaken, Xavier Schaefer: Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers. ECOOP 1997: 60-84 BibTeX

[7]

John Boyland, Giuseppe Castagna: Type-Safe Compilation of Covariant Specialization: A Practical Case. ECOOP 1996: 3-25 BibTeX

[8]

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

[9]

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

[10]

Marco A. Casanova, Philip A. Bernstein: A Formal System for Reasoning about Programs Accessing a Relational Database. ACM Trans. Program. Lang. Syst. 2(3): 386-414(1980) BibTeX

[11]

...

[12]

Edmund M. Clarke: Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems. J. ACM 26(1): 129-147(1979) BibTeX

[13]

Patrick Cousot, Radhia Cousot: Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. POPL 1977: 238-252 BibTeX

[14]

Patrick Cousot, Radhia Cousot: Systematic Design of Program Analysis Frameworks. POPL 1979: 269-282 BibTeX

[15]

O. Deux: The Story of O2. IEEE Trans. Knowl. Data Eng. 2(1): 91-108(1990) BibTeX

[16]

Edsger W. Dijkstra: A Discipline of Programming. Prentice-Hall 1976
BibTeX

[17]

...

[18]

...

[19]

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

[20]

Lawrence J. Henschen, William McCune, Shamim A. Naqvi: Compiling Constraint-Checking Programs from First-Order Formulas. Advances in Data Base Theory 1982: 145-169 BibTeX

[21]

C. A. R. Hoare: An Axiomatic Basis for Computer Programming. Commun. ACM 12(10): 576-580(1969) BibTeX

[22]

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

[23]

...

[24]

Robert A. Kowalski, Fariba Sadri, Paul Soper: Integrity Checking in Deductive Databases. VLDB 1987: 61-69 BibTeX

[25]

Michael Lawley: Transaction Safety in Deductive Object-Oriented Databases. DOOD 1995: 395-410 BibTeX

[26]

John W. Lloyd, Rodney W. Topor: A Basis for Deductive Database Systems. J. Log. Program. 2(2): 93-109(1985) BibTeX

[27]

...

[28]

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

[29]

Xiaolei Qian: An Axiom System for Database Transactions. Inf. Process. Lett. 36(4): 183-189(1990) BibTeX

[30]

Xiaolei Qian: The Deductive Synthesis of Database Transactions. ACM Trans. Database Syst. 18(4): 626-677(1993) BibTeX

[31]

...

[32]

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

[33]

Cassio Souza dos Santos, Serge Abiteboul, Claude Delobel: Virtual Schemas and Bases. EDBT 1994: 81-94 BibTeX

[34]

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

[35]

Wolfgang Weber, Wolffried Stucky, Jakob Karszt: Integrity checking in data base systems. Inf. Syst. 8(2): 125-136(1983) BibTeX