Computing Facts in Non-Horn Deductive Systems

Summary: Transforms arbitrary Horn/non-Horn clause sets into singleton-head rules (SH(S)). For an atomic query, only a relevant Horn subset needs evaluation, yielding a sound-and-complete reduction for computing all entailed ground facts. (summarized by gpt-5.6-luna on Jul 24 2026)

Paper ID: 8049
Venue: VLDB
Year: 1988
Pagerank: 5.093636e-05
Overall Rank: 13,167 | 9.67%
DOI: -

Incoming Non-self Citations Over Time

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

Authors

1. Eliezer L. Lozinskii (The Hebrew University)

BibTeX Citation

@article{lozinskii_vldb88,
        title = {{Computing Facts in Non-Horn Deductive Systems}},
        author = {Lozinskii, Eliezer L.},
        journal = {PVLDB},
        series = {{VLDB} '88},
        pages = {273},
        year = {1988}
}

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank

Outgoing Citations (Sorted by Pagerank)

Showing 5 of 5 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
16	MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract)	1986	PODS	0.00060089598
343	A Message Passing Framework for Logical Query Evaluation	1986	SIGMOD	0.00020669253
344	On the Power of Magic	1987	PODS	0.00020659405
429	On the Implementation of a Simple Class of Logic Queries for Databases	1986	PODS	0.00018607152
2,054	Evaluation Of Database Recursive Logic Programs As Recurrent Function Series	1986	SIGMOD	9.2516006e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	5,964	Negation and Minimality in Non-Horn Databases	1993	PODS
2	3,025	An Axiomatic Approach to Deciding Query Safety in Deductive Databases	1988	PODS
3	4,235	Relational Specifications of Infinite Query Answers	1989	SIGMOD
4	1,498	Safety of Recursive Horn Clauses With Infinite Relations	1987	PODS
5	5,594	Hypothetical Datalog: Negation and Linear Recursion	1989	PODS
6	5,161	Rewriting of Rules Containing Set Terms in a Logic Data Language (LDL)	1988	PODS
7	888	Horn Clauses and the Fixpoint Query Hierarchy	1982	PODS
8	2,904	Horn Tables - An Efficient Tool For Handling Incomplete Information In Databases	1989	PODS
9	3,512	Query Processing in Deductive Databases with Incomplete Information	1986	SIGMOD
10	848	The Representation and Deductive Retrieval of Complex Objects	1985	VLDB