Formal Semantics and Analysis of Object Queries
Summary: Formal, high-level operational semantics for a complex-value OQL-like query language that can create fresh objects and invoke external methods. Introduces a type system and an effect-typing discipline to bound query effects, prove soundness, detect non-determinism, and guide safe query optimizations. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. G.M. Bierman
Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 7,961 | Schema-Based Independence Analysis for XML Updates | 2009 | VLDB | 4.613363e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 2 of 2 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,581 | Of Objects and Databases: A Decade of Turmoil | 1996 | VLDB | 0.00011266063 |
| 2,911 | PREDATOR : An OR-DBMS with Enhanced Data Types | 1997 | SIGMOD | 7.9180546e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 2,800 | On the Expressive Power of Database Queries with Intermediate Types | 1988 | PODS | 8.1019352e-05 |
| 2,426 | Towards an Effective Calculus for Object Query Languages | 1995 | SIGMOD | 8.8375297e-05 |
| 6,551 | Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (Extended Abstract) | 1994 | PODS | 5.0171671e-05 |
| 3,040 | Tractable Query Languages for Complex Object Databases | 1991 | PODS | 7.6707607e-05 |
| 4,381 | Functional and Predicative programming in OODB's | 1992 | PODS | 6.2389434e-05 |
| 12,857 | Database Method Schemas and Object Creation | 1993 | PODS | 4.1945683e-05 |
| 12,847 | Investigation of Algebraic Query Optimisation for Database Programming Languages | 1994 | VLDB | 4.1945683e-05 |
| 3,189 | On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions | 1989 | SIGMOD | 7.4116834e-05 |
| 4,148 | A Formal Semantics of SQL Queries, Its Validation, and Applications | 2018 | VLDB | 6.4079361e-05 |
| 14,085 | Procedures in Object-Oriented Query Languages | 1995 | VLDB | - |