Formalization of Database Systems — and a Formal Definition of IMS
Summary: Argues that database architectures require formal mathematical specifications, paralleling programming-language semantics. Demonstrates a constructive, VDM-style denotational formalization of the IMS data model and DBMS, including implications for standardization. (summarized by gpt-5.6-luna on Jul 24 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Dines Bjørner (Technical University of Denmark)
- 2. Hans Henrik Løvengreen (Technical University of Denmark)
BibTeX Citation
@article{bjrner_vldb82,
title = {{Formalization of Database Systems — and a Formal Definition of IMS}},
author = {Bjørner, Dines and Løvengreen, Hans Henrik},
journal = {PVLDB},
series = {{VLDB} '82},
pages = {334--347},
year = {1982}
}Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 5,326 | Language Support for Office Modelling | 1984 | VLDB | 6.2639903e-05 |
Previous
Page 1 / 1
Next
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 |
|---|---|---|---|---|
| 5,990 | A Denotational Definition of the Semantics of DRC, A Domain Relational Calculus | 1982 | VLDB | 6.0171466e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 14,546 | A Practical Design Methodology for the Implementation of IMS Databases, Using the Entity-Relationship Model | 1980 | SIGMOD |
| 2 | 14,445 | Using Design Axioms and Topology to Model Database Semantics | 1987 | VLDB |
| 3 | 6,247 | A Data Base Management System Design Philosophy | 1975 | SIGMOD |
| 4 | 3,781 | A Modal System of Algebras for Database Specification and Query/Update Language Support | 1983 | VLDB |
| 5 | 6,338 | Formal Definition of Mappings in a Data Base | 1977 | SIGMOD |
| 6 | 13,067 | Towards a Formal Approach for Object Database Design | 1993 | VLDB |
| 7 | 9,328 | Forms Approach to Requirements Specification for Database Design | 1983 | SIGMOD |
| 8 | 13,229 | Conceptual-To-Internal Mappings in Commercial Database Systems | 1984 | PODS |
| 9 | 2,258 | On the Algebraic Specification of Databases | 1982 | VLDB |
| 10 | 7,782 | Formal Data Base Specification - An Eclectic Perspective | 1984 | PODS |