Deductive Databases: Theory and Applications
Michael Dahr · 1996
Focusing on deductive database systems, this work uses a visualization of logic programs by means of a special class of Petri Nets to explain the theory of semantics. The book shows examples of the application of declarative rules in relational database systems.