The IMPRESS DDT: A Database Design Toolbox Based on a Formal Specification Language.

@inproceedings{DBLP:conf/sigmod/FlokstraKS94,
  author    = {Jan Flokstra and
               Maurice van Keulen and
               Jacek Skowronek},
  editor    = {Richard T. Snodgrass and
               Marianne Winslett},
  title     = {The IMPRESS DDT: A Database Design Toolbox Based on a Formal
               Specification Language},
  booktitle = {Proceedings of the 1994 ACM SIGMOD International Conference on
               Management of Data, Minneapolis, Minnesota, May 24-27, 1994},
  publisher = {ACM Press},
  year      = {1994},
  pages     = {506},
  ee        = {http://doi.acm.org/10.1145/191839.191951, db/conf/sigmod/sigmod94-506.html},
  crossref  = {DBLP:conf/sigmod/94},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

1. Prototype description

The Database Design Tool prototype is being developed in the IMPRESS project (Esprit project 6355). The IMPRESS project started in May 1992 and aims at creating a low-level storage manager tailored for multimedia applications, together with a library of efficient operators, a programming environment, high-level design tools and methodology. The DDT is part of this last effort.

The project focuses on the field of Technical Information Systems, where there is a need for tools supporting modeling of complex objects. Designers in this field usually use incremental design or step by step prototyping, because this seems to be best suited for users coping with complexity and uncertainty about their own needs or requirements. The IMPRESS DDT aims at supporting the database design part of this process.

2. TM and its role in the DDT

3. Functionality

• Graphical TM Interface for editing a specification using the TM diagram language.
• Typechecker for TM specifications (TM is statically typecheckable)
• Safeness Detector for checking a specification for the presence of unsafe expressions.
• Prototyping Environment for doing simulation experiments in a generated prototype database.

• Constraint Analysis for semi-automatic verification of correctness-preserving properties after invocation of database transactions using an existing proof checker.
• Documentation facilities based on WEB.

Copyright © 1994 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 1, SIGMOD '93-'97" 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/smod9397 or /cdrom

• 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

Online Edition: ACM Digital Library

References

[BaBa93]

René Bal, Herman Balsters: A Deductive and Typed Object-Oriented Language. DOOD 1993: 340-359 BibTeX

[BaBZ93]

Herman Balsters, Rolf A. de By, Roberto Zicari: Typed Sets as a Basis for Object-Oriented Database Schemas. ECOOP 1993: 161-184 BibTeX

[BaBV92]

...

[BaFo91]

Herman Balsters, Maarten M. Fokkinga: Subtyping Can Have a Simple Semantics. Theor. Comput. Sci. 87(1): 81-96(1991) BibTeX

[BaVr91]

Herman Balsters, Chris C. de Vreeze: A Semantics of Object-Oriented Sets. DBPL 1991: 203-217 BibTeX

Referenced by

1. Mark W. W. Vermeer, Peter M. G. Apers: The Role of Integrity Constraints in Database Interoperation. VLDB 1996: 425-435
2. Mark W. W. Vermeer, Peter M. G. Apers: Reverse Engineering of Relational Database Applications. OOER 1995: 89-100
3. Mark W. W. Vermeer, Peter M. G. Apers: Object-Oriented Views of Relational Databases Incorporating Behaviour. DASFAA 1995: 26-35