A Logical Semantics for Object-Oriented Databases

Summary: Semantic foundation for object-oriented databases using rewriting logic and the MaudeLog language. A pure logical, non-higher-order core that directly addresses dynamics, supports user-defined algebraic data types, provides initial models, and unifies query, update, and programming in a single declarative framework. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 2691
Venue: SIGMOD
Year: 1993
Pagerank: 5.093636e-05
Overall Rank: 13,052 | 10.46%
DOI: 10.1145/170035.170057

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

1. José Meseguer (SRI International)
2. Xiaolei Qian (SRI International)

BibTeX Citation

@inproceedings{meseguer_sigmod93,
        title = {{A Logical Semantics for Object-Oriented Databases}},
        author = {Meseguer, José and Qian, Xiaolei},
        series = {{SIGMOD} '93},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/170035.170057},
        url = {https://dl.acm.org/doi/10.1145/170035.170057},
        year = {1993}
}

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank

Outgoing Citations (Sorted by Pagerank)

Showing 6 of 6 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
355	Object Identity As A Query Language Primitive	1989	SIGMOD	0.00020351749
877	F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Scheme	1989	SIGMOD	0.00013464822
1,145	Objects and Views	1991	SIGMOD	0.00011987662
3,191	Method Schemas	1990	PODS	7.6525725e-05
4,422	Functional and Predicative programming in OODB's	1992	PODS	6.7128479e-05
8,562	New Data Models and Languages - the Challenge	1992	PODS	5.4119882e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	1,891	A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited)	1989	PODS
2	4,422	Functional and Predicative programming in OODB's	1992	PODS
3	6,722	A Model-Theoretic Approach to Updating Logical Databases (Extended Abstract)	1986	PODS
4	544	A New Approach to Database Logic	1984	PODS
5	13,041	An Effective Deductive Object-Oriented Database Through Language Integration	1994	VLDB
6	3,128	On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions	1989	SIGMOD
7	4,149	Object-Oriented Specification of Databases: An Algebraic Approach	1987	VLDB
8	8,120	Formal Semantics and Analysis of Object Queries	2003	SIGMOD
9	3,781	A Modal System of Algebras for Database Specification and Query/Update Language Support	1983	VLDB
10	6,911	Semantic Modeling of Object Oriented Databases	1991	VLDB