On Negation in HiLog

Summary: Provide stable-model and well-founded semantics for HiLog with negation, extending the known semantics for range-restricted normal programs. Study "preservation under extensions" (stronger than domain independence), give two range-restriction variants ensuring it, and adapt magic-set rewriting to modularly stratified HiLog. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 937
Venue: PODS
Year: 1991
Pagerank: -
Overall Rank: 14,396 | 1.23%
DOI: 10.1145/113413.113432

Incoming Non-self Citations Over Time

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

Authors

1. Kenneth A. Ross (Stanford University)

BibTeX Citation

@inproceedings{ross_pods91,
        address = {New York, NY, USA},
        series = {{PODS} '91},
        title = {{On Negation in HiLog}},
        url = {https://dl.acm.org/doi/10.1145/113413.113432},
        doi = {10.1145/113413.113432},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Ross, Kenneth A.},
        year = {1991}
}

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
1,928	Relations with Relation Names as Arguments: Algebra and Calculus	1992	PODS	9.4692029e-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,522	Unfounded Sets and Well-Founded Semantics for General Logic Programs	1988	PODS	0.00010502706
1,714	Modular Stratification and Magic Sets for DATALOG Programs with Negation	1990	PODS	9.9404301e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	7,454	Modular Acyclicity and Tail Recursion in Logic Programs	1991	PODS
2	7,536	Database Updates in Logic Programming	1988	PODS
3	6,221	Well-Founded Semantics for Extended Datalog and Ontological Reasoning	2013	PODS
4	9,326	Extending Logic Programming	1990	SIGMOD
5	4,831	Stable Models and Non-Determinism in Logic Programs with Negation	1990	PODS
6	8,083	The Valid Model Semantics for Logic Programs	1992	PODS
7	5,210	On the Expressive Power of Logic Programming Languages with Sets	1988	PODS
8	1,714	Modular Stratification and Magic Sets for DATALOG Programs with Negation	1990	PODS
9	5,964	Negation and Minimality in Non-Horn Databases	1993	PODS
10	1,026	Sets and Negation in a Logic Database Language (LDL1)	1987	PODS