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,524 | Functional and Predicative programming in OODB's | 1992 | PODS | 6.5591235e-05 |
| 13,334 | Towards Event-Driven Modelling for Database Design | 1994 | VLDB | 4.9769913e-05 |
| 13,400 | Subtyping in OODB's: Extended Abstract | 1991 | PODS | 4.9769913e-05 |
| 13,421 | Database Application Development as an Object Modeling Activity | 1990 | VLDB | 4.9769913e-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 |
|---|---|---|---|---|
| 145 | A Language Facility for Designing Interactive Database-Intensive Applications | 1978 | SIGMOD | 0.00029083502 |
| 931 | A Temporal Framework for Database Specifications | 1982 | VLDB | 0.00013005575 |
| 1,775 | Molecular Objects, Abstract Data Types, and Data Models: A Framework | 1984 | VLDB | 9.6635813e-05 |
| 4,335 | Specification, Semantics, and Enforcement of Dynamic Database Constraints | 1984 | VLDB | 6.6530386e-05 |
| 5,317 | Stepwise Specification of Dynamic Database Behaviour | 1986 | SIGMOD | 6.1823345e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 8,307 | Formal Semantics and Analysis of Object Queries | 2003 | SIGMOD |
| 2 | 6,604 | Research Directions in Object-Oriented Database Systems | 1990 | PODS |
| 3 | 13,348 | A Logical Semantics for Object-Oriented Databases | 1993 | SIGMOD |
| 4 | 3,855 | A Modal System of Algebras for Database Specification and Query/Update Language Support | 1983 | VLDB |
| 5 | 13,363 | Towards a Formal Approach for Object Database Design | 1993 | VLDB |
| 6 | 5,077 | A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language | 1991 | VLDB |
| 7 | 3,184 | 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,056 | Semantic Modeling of Object Oriented Databases | 1991 | VLDB |
| 10 | 2,315 | On the Algebraic Specification of Databases | 1982 | VLDB |