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,523 | Functional and Predicative programming in OODB's | 1992 | PODS | 6.56223e-05 |
| 13,328 | Towards Event-Driven Modelling for Database Design | 1994 | VLDB | 4.9793485e-05 |
| 13,394 | Subtyping in OODB's: Extended Abstract | 1991 | PODS | 4.9793485e-05 |
| 13,415 | Database Application Development as an Object Modeling Activity | 1990 | VLDB | 4.9793485e-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 |
|---|---|---|---|---|
| 144 | A Language Facility for Designing Interactive Database-Intensive Applications | 1978 | SIGMOD | 0.00029097107 |
| 930 | A Temporal Framework for Database Specifications | 1982 | VLDB | 0.00013011733 |
| 1,775 | Molecular Objects, Abstract Data Types, and Data Models: A Framework | 1984 | VLDB | 9.6681333e-05 |
| 4,335 | Specification, Semantics, and Enforcement of Dynamic Database Constraints | 1984 | VLDB | 6.6561895e-05 |
| 5,311 | Stepwise Specification of Dynamic Database Behaviour | 1986 | SIGMOD | 6.1852625e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 8,300 | Formal Semantics and Analysis of Object Queries | 2003 | SIGMOD |
| 2 | 6,602 | Research Directions in Object-Oriented Database Systems | 1990 | PODS |
| 3 | 13,342 | A Logical Semantics for Object-Oriented Databases | 1993 | SIGMOD |
| 4 | 3,854 | A Modal System of Algebras for Database Specification and Query/Update Language Support | 1983 | VLDB |
| 5 | 13,357 | Towards a Formal Approach for Object Database Design | 1993 | VLDB |
| 6 | 5,074 | A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language | 1991 | VLDB |
| 7 | 3,183 | On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions | 1989 | SIGMOD |
| 8 | 2,825 | Modeling Complex Structures in Object-Oriented Databases | 1989 | PODS |
| 9 | 7,053 | Semantic Modeling of Object Oriented Databases | 1991 | VLDB |
| 10 | 2,312 | On the Algebraic Specification of Databases | 1982 | VLDB |