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: 819
Venue: PODS
Year: 1988
Pagerank: 6.7942527e-05
Overall Rank: 4,263 | 70.76%
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,480	Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm	1990	SIGMOD	7.3771957e-05
3,797	On Implementing a Language for Specifying Active Database Execution Models	1993	VLDB	7.1176817e-05
5,270	Semantics and Expressiveness Issues in Active Databases	1995	PODS	6.2908453e-05
6,455	Managing Conflicts between Rules	1996	PODS	5.8742703e-05
13,082	Knowledgebase Transformations	1992	PODS	5.093636e-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
989	Why Not Negation By Fixpoint?	1988	PODS	0.00012804792

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	12,953	Referential Actions as Logical Rules	1997	PODS
2	8,295	The Expressive Powers of the Logic Programming Semantics	1990	PODS
3	5,074	An Algebraic Approach to Rule Analysis in Expert Database Systems	1994	VLDB
4	1,419	Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model	1989	PODS
5	5,210	On the Expressive Power of Logic Programming Languages with Sets	1988	PODS
6	8,083	The Valid Model Semantics for Logic Programs	1992	PODS
7	7,536	Database Updates in Logic Programming	1988	PODS
8	9,326	Extending Logic Programming	1990	SIGMOD
9	2,474	Logic Programming as Constructivism: A Formalization and its Application to Databases	1989	PODS
10	4,634	Translation and Optimization of Logic Queries: The Algebraic Approach	1986	VLDB