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)

Paper ID: 3512
Venue: SIGMOD
Year: 2003
Pagerank: 5.483455e-05
Overall Rank: 8,120 | 44.30%
DOI: 10.1145/872757.872807

Incoming Non-self Citations Over Time

Authors

1. G.M. Bierman (University of Cambridge)

BibTeX Citation

@inproceedings{bierman_sigmod03,
        title = {{Formal Semantics and Analysis of Object Queries}},
        author = {Bierman, G.M.},
        series = {{SIGMOD} '03},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/872757.872807},
        url = {https://dl.acm.org/doi/10.1145/872757.872807},
        year = {2003}
}

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
8,279	Schema-Based Independence Analysis for XML Updates	2009	VLDB	5.4574671e-05

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,868	Of Objects and Databases: A Decade of Turmoil	1996	VLDB	9.589955e-05
3,168	PREDATOR : An OR-DBMS with Enhanced Data Types	1997	SIGMOD	7.6736931e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	2,897	On the Expressive Power of Database Queries with Intermediate Types	1988	PODS
2	2,825	Towards an Effective Calculus for Object Query Languages	1995	SIGMOD
3	6,563	Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (Extended Abstract)	1994	PODS
4	2,986	Tractable Query Languages for Complex Object Databases	1991	PODS
5	4,422	Functional and Predicative programming in OODB's	1992	PODS
6	13,050	Database Method Schemas and Object Creation	1993	PODS
7	13,040	Investigation of Algebraic Query Optimisation for Database Programming Languages	1994	VLDB
8	3,128	On Accessing Object-Oriented Databases: Expressive Power, Complexity, and Restrictions	1989	SIGMOD
9	3,925	A Formal Semantics of SQL Queries, Its Validation, and Applications	2018	VLDB
10	14,284	Procedures in Object-Oriented Query Languages	1995	VLDB