In: Bancilhon, F.; et al.: Proceedings of the Fourteenth International Conference on Very Large Databases, 1988, Los Angeles, CA, USA, pages 395-406. Palo Alto, CA, USA: Morgan Kaufmann, 1988.
Abstract: The paper proposes a new formalism to model and implement general, rule-based languages for querying or updating deductive databases. The authors consider as a target language a production rule language for databases, namely RDL1. The model, named a production compilation network (PCN), is derived from Petri-net based models. The PCNs are shown to provide a formal framework to describe general computation strategies and query optimization algorithms and to model in a unified way queries and updates in a deductive database context.
Keywords: nondeterministic queries (and) updates (in) deductive database(s); production rule language RDL1; production compilation network; query optimization algorithm.