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

Download PDF file (www.vldb.org, Darmstadt, Germany)
Download PDF file (www.acm.org, New York, USA)

ACM SIGMOD Anthology

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

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/vldb7588 or /cdrom

DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

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

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

References

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