Type-Consistency Problems for Queries in Object-Oriented Databases.

@inproceedings{DBLP:conf/icdt/IshiharaSI97,
  author    = {Yasunori Ishihara and
               Hiroyuki Seki and
               Minoru Ito},
  editor    = {Foto N. Afrati and
               Phokion G. Kolaitis},
  title     = {Type-Consistency Problems for Queries in Object-Oriented Databases},
  booktitle = {Database Theory - ICDT '97, 6th International Conference, Delphi,
               Greece, January 8-10, 1997, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1186},
  year      = {1997},
  isbn      = {3-540-62222-5},
  pages     = {364-378},
  ee        = {db/conf/icdt/IshiharaSI97.html},
  crossref  = {DBLP:conf/icdt/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-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]

Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
Contents BibTeX

[2]

Serge Abiteboul, Paris C. Kanellakis, Sridhar Ramaswamy, Emmanuel Waller: Method Schemas. J. Comput. Syst. Sci. 51(3): 433-455(1995) BibTeX

[3]

Rakesh Agrawal, Linda G. DeMichiel, Bruce G. Lindsay: Static Type Checking of Multi-Methods. OOPSLA 1991: 113-128 BibTeX

[4]

Rafiul Ahad, James Davis, Stefan Gower, Peter Lyngbæk, Andra Marynowski, Emmanuel Onuegbe: Supporting Access Control in an Object-Oriented Database Language. EDBT 1992: 184-200 BibTeX

[5]

Elisa Bertino: Data Hiding and Security in Object-Oriented Databases. ICDE 1992: 338-347 BibTeX

[6]

Craig Chambers, Gary T. Leavens: Typechecking and Modules for Multimethods. ACM Trans. Program. Lang. Syst. 17(6): 805-843(1995) BibTeX

[7]

Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico: Application of OOP Type Theory: State, Decidability, Integragtion. OOPSLA 1994: 16-30 BibTeX

[8]

Giorgio Ghelli: A Static Type System for Message Passing. OOPSLA 1991: 129-145 BibTeX

[9]

Richard Hull, Katsumi Tanaka, Masatoshi Yoshikawa: Behavior Analysis of Object-Oriented Databases: Method Structure, Execution Trees, and Reachability (Extended Abstract). FODO 1989: 372-388 BibTeX

[10]

Nicholas Oxhøj, Jens Palsberg, Michael I. Schwartzbach: Making Type Inference Practical. ECOOP 1992: 329-349 BibTeX

[11]

Jens Palsberg, Michael I. Schwartzbach: Object-Oriented Type Inference. OOPSLA 1991: 146-161 BibTeX

[12]

...

[13]

Hiroyuki Seki, Yasunori Ishihara, Minoru Ito: Authorization Analysis of Queries in Object-Oriented Databases. DOOD 1995: 521-538 BibTeX

[14]

Emmanuel Waller: Schema Updates and Consistency. DOOD 1991: 167-188 BibTeX