Formal Data Base Specification - An Eclectic Perspective.

Marco A. Casanova, Paulo A. S. Veloso, Antonio L. Furtado: Formal Data Base Specification - An Eclectic Perspective. PODS 1984: 110-118

@inproceedings{DBLP:conf/pods/CasanovaVF84,
  author    = {Marco A. Casanova and
               Paulo A. S. Veloso and
               Antonio L. Furtado},
  title     = {Formal Data Base Specification - An Eclectic Perspective},
  booktitle = {Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles
               of Database Systems, April 2-4, 1984, Waterloo, Ontario, Canada},
  publisher = {ACM},
  year      = {1984},
  isbn      = {0-89791-128-8},
  pages     = {110-118},
  ee        = {http://doi.acm.org/10.1145/588011.588028, db/conf/pods/CasanovaVF84.html},
  crossref  = {DBLP:conf/pods/84},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

BibTeX

Abstract

Logical, algebraic, programming language, grammatical and denotational formalisms are investigated with respect to their applicability to formal data base specification. On applying each formalism for the purpose that originally motivated its proposal, it is shown that they all have a fundamental and well integrated role to play in different parts of the specification process. An example is included to illustrate the methodological aspects.

Copyright © 1984 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.

Load The ACM SIGMOD Anthology, CDROM Edition, Volume 1-3, PODS '82-'98. 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
UNIX/LINUX/Mac: use mount point /pods8298/... or /cdrom/...

Load The ACM SIGMOD Anthology, Silver Edition, DVD 1, Proceedings. 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
UNIX/LINUX/Mac: use mount point /aDVD1/... or /cdrom/...

BibTeX

Printed Edition

Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, April 2-4, 1984, Waterloo, Ontario, Canada. ACM 1984, ISBN 0-89791-128-8
Contents BibTeX

Online Edition: ACM Digital Library

References

[BADW]: A. Bolour, T. L. Anderson, L. J. Dekeyser, Harry K. T. Wong: The Role of Time in Information Processing: A Survey. SIGMOD Record 12(3): 27-50(1982) BibTeX
[BJ]: ...
[CB]: Marco A. Casanova, Philip A. Bernstein: A Formal System for Reasoning about Programs Accessing a Relational Database. ACM Trans. Program. Lang. Syst. 2(3): 386-414(1980) BibTeX
[CF]: ...
[DMW]: Walter Dosch, Gianfranco Mascari, Martin Wirsing: On the Algebraic Specification of Databases. VLDB 1982: 370-385 BibTeX
[En]: ...
[FVC]: ...
[Ha]: ...
[He]: ...
[VCF]: ...
[VF]: ...

Referenced by

Udo W. Lipeck: Transformation of Dynamic Integrity Constraints into Transaction Specifications. ICDT 1988: 322-337
Udo W. Lipeck: Stepwise Specification of Dynamic Database Behaviour. SIGMOD Conference 1986: 387-397
David W. Stemple, Tim Sheard, Ralph E. Bunker: Abstract Data Types in Databases: Specification, Manipulation and Access. ICDE 1986: 590-597

BibTeX

ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]