Object-Oriented Specification of Databases: An Algebraic Approach
Summary: Algebraic specification language for societies of interacting abstract objects, defining object structure/behavior and inter-object event sharing. Separates constraints over the object universe from global trajectories/traces, with Kripke semantics for object behavior. (summarized by gpt-5.6-luna on Jul 24 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Amílcar Sernadas (Instituto Superior Tecnico)
- 2. Cristina Sernadas (Instituto Superior Tecnico)
- 3. Hans-Dieter Ehrich (Technical University of Braunschweig)
BibTeX Citation
@article{sernadas_vldb87,
title = {{Object-Oriented Specification of Databases: An Algebraic Approach}},
author = {Sernadas, Amílcar and Sernadas, Cristina and Ehrich, Hans-Dieter},
journal = {PVLDB},
series = {{VLDB} '87},
year = {1987}
}Incoming Citations (Sorted by Pagerank)
Showing 4 of 4 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,422 | Functional and Predicative programming in OODB's | 1992 | PODS | 6.7128479e-05 |
| 13,038 | Towards Event-Driven Modelling for Database Design | 1994 | VLDB | 5.093636e-05 |
| 13,104 | Subtyping in OODB's: Extended Abstract | 1991 | PODS | 5.093636e-05 |
| 13,125 | Database Application Development as an Object Modeling Activity | 1990 | VLDB | 5.093636e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 5 of 5 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 139 | A Language Facility for Designing Interactive Database-Intensive Applications | 1978 | SIGMOD | 0.00029742792 |
| 906 | A Temporal Framework for Database Specifications | 1982 | VLDB | 0.00013310115 |
| 1,737 | Molecular Objects, Abstract Data Types, and Data Models: A Framework | 1984 | VLDB | 9.8838348e-05 |
| 4,242 | Specification, Semantics, and Enforcement of Dynamic Database Constraints | 1984 | VLDB | 6.8089644e-05 |
| 5,190 | Stepwise Specification of Dynamic Database Behaviour | 1986 | SIGMOD | 6.3272286e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 8,120 | Formal Semantics and Analysis of Object Queries | 2003 | SIGMOD |
| 2 | 6,464 | Research Directions in Object-Oriented Database Systems | 1990 | PODS |
| 3 | 13,052 | A Logical Semantics for Object-Oriented Databases | 1993 | SIGMOD |
| 4 | 3,781 | A Modal System of Algebras for Database Specification and Query/Update Language Support | 1983 | VLDB |
| 5 | 13,067 | Towards a Formal Approach for Object Database Design | 1993 | VLDB |
| 6 | 4,951 | A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language | 1991 | VLDB |
| 7 | 3,128 | On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions | 1989 | SIGMOD |
| 8 | 2,768 | Modeling Complex Structures in Object-Oriented Databases | 1989 | PODS |
| 9 | 6,911 | Semantic Modeling of Object Oriented Databases | 1991 | VLDB |
| 10 | 2,258 | On the Algebraic Specification of Databases | 1982 | VLDB |