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,964 | Schema-Based Independence Analysis for XML Updates | 2009 | VLDB | 4.6089395e-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,583 | Of Objects and Databases: A Decade of Turmoil | 1996 | VLDB | 0.00011258161 |
| 2,915 | PREDATOR : An OR-DBMS with Enhanced Data Types | 1997 | SIGMOD | 7.911752e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 2,808 | On the Expressive Power of Database Queries with Intermediate Types | 1988 | PODS | 8.0939851e-05 |
| 2,427 | Towards an Effective Calculus for Object Query Languages | 1995 | SIGMOD | 8.8307261e-05 |
| 6,548 | Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (Extended Abstract) | 1994 | PODS | 5.0123519e-05 |
| 3,043 | Tractable Query Languages for Complex Object Databases | 1991 | PODS | 7.6632326e-05 |
| 4,378 | Functional and Predicative programming in OODB's | 1992 | PODS | 6.2329359e-05 |
| 12,866 | Database Method Schemas and Object Creation | 1993 | PODS | 4.1905499e-05 |
| 12,856 | Investigation of Algebraic Query Optimisation for Database Programming Languages | 1994 | VLDB | 4.1905499e-05 |
| 3,195 | On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions | 1989 | SIGMOD | 7.4052272e-05 |
| 4,150 | A Formal Semantics of SQL Queries, Its Validation, and Applications | 2018 | VLDB | 6.4022639e-05 |
| 14,099 | Procedures in Object-Oriented Query Languages | 1995 | VLDB | - |