Non-deterministic Modelling of Logical Queries in Deductive Databases

Summary: PNLP uses Petri Nets to model logic queries in deductive databases, with a simple formal description and graphical view. It exposes rule–predicate relations, unifies recursive-query algorithms, and reveals non-determinism and parallelism in Horn clauses. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 2393
Venue: SIGMOD
Year: 1987
Pagerank: 5.4551195e-05
Overall Rank: 8,316 | 42.95%
DOI: 10.1145/38713.38726

Incoming Non-self Citations Over Time

Authors

1. Hussien Aly (Case Western Reserve University)
2. Z. Meral Ozsoyoglu (Case Western Reserve University)

BibTeX Citation

@inproceedings{aly_sigmod87,
        title = {{Non-deterministic Modelling of Logical Queries in Deductive Databases}},
        author = {Aly, Hussien and Ozsoyoglu, Z. Meral},
        series = {{SIGMOD} '87},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/38713.38726},
        url = {https://dl.acm.org/doi/10.1145/38713.38726},
        year = {1987}
}

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
6,752	Modelling Non Deterministic Queries and Updates In Deductive Databases	1988	VLDB	5.7837368e-05

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
16	MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract)	1986	PODS	0.00060089598
63	An Amateur's Introduction to Recursive Query Processing Strategies	1986	SIGMOD	0.00038782376
429	On the Implementation of a Simple Class of Logic Queries for Databases	1986	PODS	0.00018607152

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	11,968	Stable Model Semantics for Tuple-Generating Dependencies Revisited	2017	PODS
2	6,926	On the Decidability of Containment of Recursive Datalog Queries - Preliminary report	2004	PODS
3	13,105	A Non-deterministic Deductive Database Language	1991	SIGMOD
4	13,186	An Extended Disjunctive Normal Form Approach for Optimizing Recursive Logic Queries in Loosely Coupled Environments	1987	VLDB
5	13,158	Classification Of Recursive Formulas In Deductive Databases	1988	SIGMOD
6	3,712	Non-Deterministic Languages to Express Deterministic Transformations	1990	PODS
7	1,173	Data Independent Recursion in Deductive Databases	1986	PODS
8	174	Decidability And Expressiveness Aspects Of Logic Queries	1987	PODS
9	544	A New Approach to Database Logic	1984	PODS
10	6,752	Modelling Non Deterministic Queries and Updates In Deductive Databases	1988	VLDB