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
  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
  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,}


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 ... BibTeX

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 BibTeX


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

Referenced by

  1. Gia Toan Nguyen, Dominique Rieu: Expert Database Support for Consistent Dynamic Objects. VLDB 1987: 493-500
  2. Gia Toan Nguyen: Semantic Data Engineering for Generalized Databases. ICDE 1986: 400-406
  3. Michel E. Adiba: Modeling Complex Objects for Multimedia Databases. ER 1986: 89-117
  4. Federico Barbic, Fausto Rabitti: The Type Concept in Office Document Retrieval. VLDB 1985: 34-48
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings: Copyright © by VLDB Endowment,
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:45:23 2009