ACM SIGMOD Anthology VLDB dblp.uni-trier.de

Information Processing for CAD/VLSI on a Generalized Data Management System.

Michel E. Adiba, Gia Toan Nguyen: Information Processing for CAD/VLSI on a Generalized Data Management System. VLDB 1984: 371-374
@inproceedings{DBLP:conf/vldb/AdibaN84,
  author    = {Michel E. Adiba and
               Gia Toan Nguyen},
  editor    = {Umeshwar Dayal and
               Gunter Schlageter and
               Lim Huat Seng},
  title     = {Information Processing for CAD/VLSI on a Generalized Data Management
               System},
  booktitle = {Tenth International Conference on Very Large Data Bases, August
               27-31, 1984, Singapore, Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1984},
  isbn      = {0-934613-16-8},
  pages     = {371-374},
  ee        = {db/conf/vldb/AdibaN84.html},
  crossref  = {DBLP:conf/vldb/84},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

We propose mechanisms for controlling in PROLOG the semantics of applications developed on a generalized data manegement system called TIGRE. It is intended to provide database management facilities for generalized data, i.e alphanumeric data, but also large and complex objects such as documents, graphics and voice. It is being implemented at IMAG (University of Grenoble), in cooperation with the BULL Corporate Research Center. We emphasize providing a powerful tool for constraint checking on the logical structure of data, on their relationships, as well as the static properties of objects, and their dynamic behavior. It is thus possible to represent, control and manipulate the semantics associated with sophisticated applications involving generalized data. It is used here to implement a validation subsystem in an integrated CAD environment for VLSI circuits.

Copyright © 1984 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.


Online Paper

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 4, VLDB '75-'88" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Printed Edition

Umeshwar Dayal, Gunter Schlageter, Lim Huat Seng (Eds.): Tenth International Conference on Very Large Data Bases, August 27-31, 1984, Singapore, Proceedings. Morgan Kaufmann 1984, ISBN 0-934613-16-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

[ADI84]
...
[BER83]
Gilles Berger-Sabbatel, J. C. Ianeselli, Gia Toan Nguyen: A Prolog Database Machine. IWDM 1983: 267-276 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[CHE76]
Peter P. Chen: The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans. Database Syst. 1(1): 9-36(1976) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[KAT83]
...
[LOP83]
...
[NGU82]
...
[VAS83]
Yannis Vassiliou, James Clifford, Matthias Jarke: How Does an Expert System Get its Data? (Extended Abstract). VLDB 1983: 70-72 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[ZAU83]
William T. Zaumen: Computer-Assisted Circuit Evaluation in PROLOG for VLSI. Databases for Business and Office Applications 1983: 179-183 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Tue Mar 16 02:21:57 2010 by Michael Ley (ley@uni-trier.de)