DBLP Record 'conf/bda/BenzakenDS94'

BibTeX

@inproceedings{DBLP:conf/bda/BenzakenDS94,
  author    = {V{\'e}ronique Benzaken and
               Anne Doucet and
               Xavier Schaefer},
  title     = {Integrity constraint checking optimization based on abstract
               interpretation},
  booktitle = {BDA},
  year      = {1994},
  crossref  = {DBLP:conf/bda/1994},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/bda/1994,
  editor    = {Nicole Bidoit},
  title     = {Dixi{\`e}mes Journ{\'e}es Bases de Donn{\'e}es
               Avanc{\'e}es, 30 Ao{\^u}t - 2 Septembre 1994, Clermont-Ferrand
               (Informal Proceedings)},
  booktitle = {BDA},
  publisher = {INRIA},
  year      = {1994},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}