Formal data base specification: an eclectic perspective

Authors:
Marco A. Casanova;Paulo A. S. Veloso;Antonio L. Furtado
Affiliations:
IBM do Brasil, Brasilia, DF, Brasil;Pontificia Universidade Catolica do RJ, Rio de Janeiro, RJ, Brasil;pontificia Universidade Catolica do RJ, Rio de Janeiro, RJ, Brasil
Venue:
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Year:
1984

Citing 4
Cited 2

A Formal System for Reasoning about Programs Accessing a Relational Database

ACM Transactions on Programming Languages and Systems (TOPLAS)
First-Order Dynamic Logic

First-Order Dynamic Logic
On the Algebraic Specification of Databases

VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
The role of time in information processing: a survey

ACM SIGMOD Record

Stepwise specification of dynamic database behaviour

SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Database theory for supporting specification-based database system development

ICSE '85 Proceedings of the 8th international conference on Software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Logical, algebraic, programming language, grammatical and denotational formalisms are investigated with res pect to their applicability to formal data base speci fication. 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.