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}
}
BibTeX
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
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
References
- [ADI84]
- ...
- [BER83]
- Gilles Berger-Sabbatel, J. C. Ianeselli, Gia Toan Nguyen:
A Prolog Database Machine.
IWDM 1983: 267-276 BibTeX
- [CHE76]
- Peter P. Chen:
The Entity-Relationship Model - Toward a Unified View of Data.
ACM Trans. Database Syst. 1(1): 9-36(1976) BibTeX
- [KAT83]
- ...
- [LOP83]
- ...
- [NGU82]
- ...
- [VAS83]
- Yannis Vassiliou, James Clifford, Matthias Jarke:
How Does an Expert System Get its Data? (Extended Abstract).
VLDB 1983: 70-72 BibTeX
- [ZAU83]
- William T. Zaumen:
Computer-Assisted Circuit Evaluation in PROLOG for VLSI.
Databases for Business and Office Applications 1983: 179-183 BibTeX
Referenced by
- Gia Toan Nguyen, Dominique Rieu:
Expert Database Support for Consistent Dynamic Objects.
VLDB 1987: 493-500
- Gia Toan Nguyen:
Semantic Data Engineering for Generalized Databases.
ICDE 1986: 400-406
- Michel E. Adiba:
Modeling Complex Objects for Multimedia Databases.
ER 1986: 89-117
- Federico Barbic, Fausto Rabitti:
The Type Concept in Office Document Retrieval.
VLDB 1985: 34-48
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings: Copyright © by VLDB Endowment,
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:45:23 2009