ACM SIGMOD Anthology VLDB dblp.uni-trier.de

Systematic Derivation of Complementary Specifications.

Paulo A. S. Veloso, José Mauro Volkmer de Castilho, Antonio L. Furtado: Systematic Derivation of Complementary Specifications. VLDB 1981: 409-421
@inproceedings{DBLP:conf/vldb/VelosoCF81,
  author    = {Paulo A. S. Veloso and
               Jos{\'e} Mauro Volkmer de Castilho and
               Antonio L. Furtado},
  title     = {Systematic Derivation of Complementary Specifications},
  booktitle = {Very Large Data Bases, 7th International Conference, September
               9-11, 1981, Cannes, France, Proceedings},
  publisher = {IEEE Computer Society},
  year      = {1981},
  pages     = {409-421},
  ee        = {db/conf/vldb/VelosoCF81.html},
  crossref  = {DBLP:conf/vldb/81},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

A methodology is proposed for the systematic derivation of a series of complementary specifica- tions of a data base application. The starting point for this series is chosen so as to be obtainable without undue difficulty from an informal specification. Thereafter each formal specification is systematically derived from the preceding one. This multiplicity of specifications is further justified by their complementary nature. Having distinct aims, they jointly provide a multi-purpose, comprehensive characterization of the data base application. The formalisms employed can be categorized according to several criteria, including the usual definitional, denotational, operational characterizations of semantics. A simplified example is used throughout to illustrate the development.

Copyright © 1981 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

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

Very Large Data Bases, 7th International Conference, September 9-11, 1981, Cannes, France, Proceedings. IEEE Computer Society 1981
Contents BibTeX

References

[1]
...
[2]
Edward A. Ashcroft, William W. Wadge: R/ for Semantics. ACM Trans. Program. Lang. Syst. 4(2): 283-294(1982) BibTeX
[3]
...
[4]
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
[5]
...
[6]
Keith L. Clark: Negation as Failure. Logic and Data Bases 1977: 293-322 BibTeX
[7]
...
[8]
...
[9]
...
[10]
...
[11]
Irene Greif, Albert R. Meyer: Specifying Programming Language Semantics. POPL 1979: 180-189 BibTeX
[12]
John V. Guttag: Abstract Data Type and the Development of Data Structures. Commun. ACM 20(6): 396-404(1977) BibTeX
[13]
John V. Guttag, Ellis Horowitz, David R. Musser: Abstract Data Types and Software Validation. Commun. ACM 21(12): 1048-1064(1978) BibTeX
[14]
...
[15]
C. A. R. Hoare: Proof of Correctness of Data Representations. Acta Inf. 1: 271-281(1972) BibTeX
[16]
C. A. R. Hoare, Peter E. Lauer: Consistent and Complementary Formal Theories of the Semantics of Programming Languages. Acta Inf. 3: 135-153(1974) BibTeX
[17]
...
[18]
...
[19]
...
[20]
...
[21]
...
[22]
...
[23]
John McCarthy: Circumscription - A Form of Non-Monotonic Reasoning. Artif. Intell. 13(1-2): 27-39(1980) BibTeX
[24]
...
[25]
...
[26]
...
[27]
...
[28]
...
[29]
...
[30]
...
[31]
...
[32]
...
[33]
James W. Thatcher, Eric G. Wagner, Jesse B. Wright: Data Type Specification: Parameterization and the Power of Specification Techniques. ACM Trans. Program. Lang. Syst. 4(4): 711-732(1982) BibTeX
[34]
Maarten H. van Emden, Robert A. Kowalski: The Semantics of Predicate Logic as a Programming Language. J. ACM 23(4): 733-742(1976) BibTeX

Referenced by

  1. José Mauro Volkmer de Castilho: A State-Space Approach for Database Redesign. ER 1993: 520-530
  2. Udo W. Lipeck: Transformation of Dynamic Integrity Constraints into Transaction Specifications. ICDT 1988: 322-337
  3. Udo W. Lipeck: Stepwise Specification of Dynamic Database Behaviour. SIGMOD Conference 1986: 387-397
  4. Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984)
  5. Paulo A. S. Veloso, Antonio L. Furtado: View Constructs for the Specification and Design of External Schemas. ER 1983: 637-650
  6. Walter Dosch, Gianfranco Mascari, Martin Wirsing: On the Algebraic Specification of Databases. VLDB 1982: 370-385
  7. Antonio L. Furtado, Paulo A. S. Veloso, José Mauro Volkmer de Castilho: Verification and Testing of S-ER Representations. ER 1981: 123-147
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings (1977-1981): Copyright © by IEEE,
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:13 2009