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)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 6,695 | Modelling Non Deterministic Queries and Updates In Deductive Databases | 1988 | VLDB | 4.9550839e-05 |
Previous
Page 1 / 1
Next
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.00099936325 |
| 79 | An Amateur's Introduction to Recursive Query Processing Strategies | 1986 | SIGMOD | 0.00056010993 |
| 299 | On the Implementation of a Simple Class of Logic Queries for Databases | 1986 | PODS | 0.00028555103 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 11,770 | Stable Model Semantics for Tuple-Generating Dependencies Revisited | 2017 | PODS | 4.1905499e-05 |
| 7,066 | On the Decidability of Containment of Recursive Datalog Queries - Preliminary report | 2004 | PODS | 4.8389293e-05 |
| 12,920 | A Non-deterministic Deductive Database Language | 1991 | SIGMOD | 4.1905499e-05 |
| 12,999 | An Extended Disjunctive Normal Form Approach For Optimizing Recursive Logic Queries In Loosely Coupled Environments | 1987 | VLDB | 4.1905499e-05 |
| 12,972 | Classification Of Recursive Formulas In Deductive Databases | 1988 | SIGMOD | 4.1905499e-05 |
| 4,494 | Non-Deterministic Languages to Express Deterministic Transformations | 1990 | PODS | 6.1363251e-05 |
| 1,200 | Data Independent Recursion in Deductive Databases | 1986 | PODS | 0.00013342243 |
| 173 | Decidability And Expressiveness Aspects Of Logic Queries | 1987 | PODS | 0.00038731283 |
| 485 | A New Approach to Database Logic | 1984 | PODS | 0.00022061287 |
| 6,695 | Modelling Non Deterministic Queries and Updates In Deductive Databases | 1988 | VLDB | 4.9550839e-05 |