Formal Data Base Specification - An Eclectic Perspective

Summary: Comparative analysis of logical, algebraic, programming-language, grammatical and denotational formalisms for formal database specification, assessing where each best applies in the specification lifecycle. Argues these formalisms are complementary and outlines a methodology with an illustrative example. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 689
Venue: PODS
Year: 1984
Pagerank: 5.5455809e-05
Overall Rank: 7,782 | 46.61%
DOI: 10.1145/588011.588028

Incoming Non-self Citations Over Time

Authors

1. Marco A. Casanova (Centro Científico de Brasília; International Business Machines (Brazil))
2. Paulo A. S. Veloso (Pontifical Catholic University of Rio de Janeiro)
3. Antonio L. Furtado (Pontifical Catholic University of Rio de Janeiro)

BibTeX Citation

@inproceedings{casanova_pods84,
        address = {New York, NY, USA},
        series = {{PODS} '84},
        title = {{Formal Data Base Specification - An Eclectic Perspective}},
        url = {https://dl.acm.org/doi/10.1145/588011.588028},
        doi = {10.1145/588011.588028},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Casanova, Marco A. and Veloso, Paulo A. S. and Furtado, Antonio L.},
        year = {1984}
}

Incoming Citations (Sorted by Pagerank)

Showing 2 of 2 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
5,190	Stepwise Specification of Dynamic Database Behaviour	1986	SIGMOD	6.3272286e-05
11,952	Information and Data Management at PUC-Rio and UFMG	2018	VLDB	5.093636e-05

Outgoing Citations (Sorted by Pagerank)

Showing 1 of 1 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
2,258	On the Algebraic Specification of Databases	1982	VLDB	8.8540903e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	421	The Format Model: A Theory of Database Organization (extended abstract)	1982	PODS
2	5,081	A Temporal Framework for Database Specification and Verification	1984	VLDB
3	3,006	A Formal View Integration Method	1986	SIGMOD
4	6,338	Formal Definition of Mappings in a Data Base	1977	SIGMOD
5	7,452	A Transaction Logic for Database Specification	1988	SIGMOD
6	4,149	Object-Oriented Specification of Databases: An Algebraic Approach	1987	VLDB
7	3,781	A Modal System of Algebras for Database Specification and Query/Update Language Support	1983	VLDB
8	7,805	Formalization of Database Systems — and a Formal Definition of IMS	1982	VLDB
9	9,328	Forms Approach to Requirements Specification for Database Design	1983	SIGMOD
10	2,258	On the Algebraic Specification of Databases	1982	VLDB