Structural Totality and Constraint Stratification

Summary: Generalize universal constraint stratification to arbitrary constraint domains and prove it ensures a two-valued well-founded model for finite databases. Extend structural totality to include schema-level constraints and prove equivalence with universal constraint stratification for "exact" domains. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 1066
Venue: PODS
Year: 1995
Pagerank: 5.093636e-05
Overall Rank: 12,991 | 10.87%
DOI: 10.1145/212433.220211

Incoming Non-self Citations Over Time

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

Authors

1. Kenneth A. Ross (Columbia University)

BibTeX Citation

@inproceedings{ross_pods95,
        address = {New York, NY, USA},
        series = {{PODS} '95},
        title = {{Structural Totality and Constraint Stratification}},
        url = {https://dl.acm.org/doi/10.1145/212433.220211},
        doi = {10.1145/212433.220211},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Ross, Kenneth A.},
        year = {1995}
}

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank

Outgoing Citations (Sorted by Pagerank)

Showing 3 of 3 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,419	Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model	1989	PODS	0.00010830412
2,579	Inference of Monotonicity Constraints in Datalog Programs (Extended Abstract)	1989	PODS	8.3906191e-05
5,735	Tie-Breaking Semantics and Structural Totality (Extended Abstract)	1992	PODS	6.105189e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	1,630	On the Decidability of Query Containment under Constraints	1998	PODS
2	13,023	Universal Finiteness and Satisfiability	1994	PODS
3	382	Conjunctive-Query Containment and Constraint Satisfaction	1998	PODS
4	2,579	Inference of Monotonicity Constraints in Datalog Programs (Extended Abstract)	1989	PODS
5	13,117	Backward chaining evaluation in stratified disjunctive theories	1990	PODS
6	8,506	Checking Consistency of Database Constraints: a Logical Basis	1986	VLDB
7	1,714	Modular Stratification and Magic Sets for DATALOG Programs with Negation	1990	PODS
8	4,002	Monotonic Aggregation in Deductive Databases	1992	PODS
9	2,474	Logic Programming as Constructivism: A Formalization and its Application to Databases	1989	PODS
10	1,419	Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model	1989	PODS