Semi-determinism (extended abstract)

Summary: Characterizes when nondeterministic queries are semi-deterministic (outputs isomorphic) or uniformly so (intermediate states isomorphic), linking nondeterminism with object generation. Provides decidability (compile/run), counting-query expressibility, and completeness results. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: h9a8f8339e3a1bd4b
Venue: PODS
Year: 1992
Pagerank: 5.2559789e-05
Overall Rank: 8,935 | 39.93%
DOI: 10.1145/137097.137866

Incoming Non-self Citations Over Time

Authors

1. Jan Van den Bussche (University of Antwerp)
2. Dirk Van Gucht (Indiana University)

BibTeX Citation

@inproceedings{bussche_pods92,
        address = {New York, NY, USA},
        series = {{PODS} '92},
        title = {{Semi-determinism (extended abstract)}},
        url = {https://dl.acm.org/doi/10.1145/137097.137866},
        doi = {10.1145/137097.137866},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Van den Bussche, Jan and Van Gucht, Dirk},
        year = {1992}
}

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
13,340	Database Method Schemas and Object Creation	1993	PODS	4.9793485e-05

Outgoing Citations (Sorted by Pagerank)

Showing 11 of 11 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
366	Object Identity As A Query Language Primitive	1989	SIGMOD	0.00019923978
559	A New Approach to Database Logic	1984	PODS	0.00016422254
1,003	ILOG: Declarative Creation and Manipulation of Object Identifiers	1990	VLDB	0.00012597028
1,253	A Model of Queries for Object-Oriented Databases	1989	VLDB	0.00011336027
2,150	Theory of Database Queries (Extended Abstract)	1988	PODS	8.953998e-05
2,457	Untyped Sets, Invention, and Computable Queries	1989	PODS	8.4375276e-05
2,665	A Graph-Oriented Object Database Model	1990	PODS	8.1568013e-05
3,796	Non-Deterministic Languages to Express Deterministic Transformations	1990	PODS	7.0166914e-05
4,646	On the Equivalence of Database Restructurings Involving Object Identifiers	1991	PODS	6.4877004e-05
4,949	Stable Models and Non-Determinism in Logic Programs with Negation	1990	PODS	6.342181e-05
5,053	The Expressive Power of Structured Values in Pure OODB's (extended abstract)	1991	PODS	6.2955826e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	10,115	Semantic Acyclicity Under Constraints	2016	PODS
2	6,666	Determinacy of Real Conjunctive Queries. The Boolean Case	2022	PODS
3	13,266	Static Analysis of Intensional Databases in U-Datalog	1996	PODS
4	2,044	Views and Queries: Determinacy and Rewriting	2005	PODS
5	13,330	Investigation of Algebraic Query Optimisation for Database Programming Languages	1994	VLDB
6	2,923	Semantic Query Optimization in Datalog Programs (Extended Abstract)	1995	PODS
7	13,395	A Non-deterministic Deductive Database Language	1991	SIGMOD
8	4,592	Queries with Incomplete Answers over Semistructured Data	1999	PODS
9	8,300	Formal Semantics and Analysis of Object Queries	2003	SIGMOD
10	3,796	Non-Deterministic Languages to Express Deterministic Transformations	1990	PODS