Static Analysis of Transactions for Conservative Multigranularity Locking.

@inproceedings{DBLP:conf/dbpl/AmatoGM97,
  author    = {Giuseppe Amato and
               Fosca Giannotti and
               Gianni Mainetto},
  editor    = {Sophie Cluet and
               Richard Hull},
  title     = {Static Analysis of Transactions for Conservative Multigranularity
               Locking},
  booktitle = {Database Programming Languages, 6th International Workshop, DBPL-6,
               Estes Park, Colorado, USA, August 18-20, 1997, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1369},
  year      = {1997},
  isbn      = {3-540-64823-2},
  pages     = {413-430},
  ee        = {db/conf/dbpl/AmatoGM97.html},
  crossref  = {DBLP:conf/dbpl/97},
  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-5 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

[Albano 1985]

Antonio Albano, Luca Cardelli, Renzo Orsini: Galileo: A Strongly-Typed, Interactive Conceptual Language. ACM Trans. Database Syst. 10(2): 230-260(1985) BibTeX

[Amato 1993]

Giuseppe Amato, Fosca Giannotti, Gianni Mainetto: Data Sharing Analysis for a Database Programming Lanaguage via Abstract Interpretation. VLDB 1993: 405-415 BibTeX

[Amato 1996]

Giuseppe Amato, Salvatore Biscari, Gianni Mainetto, Fausto Rabitti: Multigranularity Locking with the Use of Semantic Knowledge in a Layered Object Server. POS 1996: 151-163 BibTeX

[Atkinson 1987]

Malcolm P. Atkinson, Peter Buneman: Types and Persistence in Database Programming Languages. ACM Comput. Surv. 19(2): 105-190(1987) BibTeX

[Atkinson 1995]

Malcolm P. Atkinson, Ronald Morrison: Orthogonally Persistent Object Systems. VLDB J. 4(3): 319-401(1995) BibTeX

[Cousot 1977]

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

[Graefe 1993]

Goetz Graefe: Query Evaluation Techniques for Large Databases. ACM Comput. Surv. 25(2): 73-170(1993) BibTeX

[Gray 1975]

Jim Gray, Raymond A. Lorie, Gianfranco R. Putzolu, Irving L. Traiger: Granularity of Locks and Degrees of Consistency in a Shared Data Base. IFIP Working Conference on Modelling in Data Base Management Systems 1976: 365-394 BibTeX

[Gray 1978]

Jim Gray: Notes on Data Base Operating Systems. Advanced Course: Operating Systems 1978: 393-481 BibTeX

[Jones 1995]

...

[Mannino 1988]

Michael V. Mannino, Paicheng Chu, Thomas Sager: Statistical Profile Estimation in Database Systems. ACM Comput. Surv. 20(3): 191-221(1988) BibTeX

[McCarthy 1962]

...