Explicit Control of Logic Programs Through Rule Algebra

Summary: Shows syntax alone can't fix intended models in logic programs; introduces a rule algebra for explicit user control of execution. Gives a translation from algebraic specs to locally stratified programs with a homomorphism guaranteeing faithful, implementable control. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: h7adc41fefebb8368
Venue: PODS
Year: 1988
Pagerank: 6.6419963e-05
Overall Rank: 4,353 | 70.74%
DOI: 10.1145/308386.308422

Incoming Non-self Citations Over Time

Authors

1. Tomasz Imielinski (Rutgers University)
2. Shamim Naqvi (Microelectronics And Technology Computer Corporation)

BibTeX Citation

@inproceedings{imielinski_pods88,
        address = {New York, NY, USA},
        series = {{PODS} '88},
        title = {{Explicit Control of Logic Programs Through Rule Algebra}},
        url = {https://dl.acm.org/doi/10.1145/308386.308422},
        doi = {10.1145/308386.308422},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Imielinski, Tomasz and Naqvi, Shamim},
        year = {1988}
}

Incoming Citations (Sorted by Pagerank)

Showing 5 of 5 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
3,548	Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm	1990	SIGMOD	7.2120626e-05
3,864	On Implementing a Language for Specifying Active Database Execution Models	1993	VLDB	6.9626898e-05
5,395	Semantics and Expressiveness Issues in Active Databases	1995	PODS	6.1496965e-05
6,588	Managing Conflicts between Rules	1996	PODS	5.742847e-05
13,372	Knowledgebase Transformations	1992	PODS	4.9793485e-05

Outgoing Citations (Sorted by Pagerank)

Showing 1 of 1 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,012	Why Not Negation By Fixpoint?	1988	PODS	0.00012520852

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	13,243	Referential Actions as Logical Rules	1997	PODS
2	8,463	The Expressive Powers of the Logic Programming Semantics	1990	PODS
3	5,201	An Algebraic Approach to Rule Analysis in Expert Database Systems	1994	VLDB
4	1,457	Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model	1989	PODS
5	5,335	On the Expressive Power of Logic Programming Languages with Sets	1988	PODS
6	8,253	The Valid Model Semantics for Logic Programs	1992	PODS
7	7,682	Database Updates in Logic Programming	1988	PODS
8	9,505	Extending Logic Programming	1990	SIGMOD
9	2,528	Logic Programming as Constructivism: A Formalization and its Application to Databases	1989	PODS
10	4,735	Translation and Optimization of Logic Queries: The Algebraic Approach	1986	VLDB