Search dblp for Publications

export results for "A Graph-Theoretic Approach to the Verification of Inheritance Hierarchies in Object-Oriented Databases."

 download as .bib file

@inproceedings{DBLP:conf/sebd/FormicaM95,
  author       = {Anna Formica and
                  Michele Missikoff},
  editor       = {Antonio Albano and
                  Saverio Salerno and
                  Francesca Arcelli and
                  Matteo Gaeta and
                  Stefano Rizzo and
                  Giovanna Vantini},
  title        = {A Graph-Theoretic Approach to the Verification of Inheritance Hierarchies
                  in Object-Oriented Databases},
  booktitle    = {Atti del Terzo Convegno Nazionale su Sistemi Evoluti per Basi di Dati,
                  {SEBD} 1995, Ravello (Costiera Amalfitana), Italy, 28-30 Giugno 1995},
  pages        = {273--282},
  year         = {1995},
  timestamp    = {Mon, 18 Jan 2016 11:07:09 +0100},
  biburl       = {https://dblp.org/rec/conf/sebd/FormicaM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}