The reuse and modification of rulebases by predicate substitution
We propose a method for reusing and modifying a deductive database. The need for such techniques occurs when new rulebased applications differ only slightly from existing ones or when an application is to be incrementally updated. Such techniques are particularly important when reprogramming is expensive or unreliable. In order to facilitate reuse we extend deductive database systems by the concept of predicate substitution. In this way, during query evaluation, not only variables, but also predicates can be substituted. Substitution increases the expressive power of Datalog. Not only does data complexity increase from PTIME to EXPTIME, but substitution also allows large sets of Datalog rules to be succinctly expressed. The paper provides a proof and model theory for this language, including a fixpoint semantics.
KeywordsMinimal Model Expressive Power Atomic Formula Predicate Symbol Input Line
Unable to display preview. Download preview PDF.
- C. Beeri, S. Naqvi, and R. Ramakrishnan. Sets and negation in a logic database language (LDL). In Proceedings of the ACM Symposium on the Principles of Database Systems (PODS), San Diego, CA, 1987.Google Scholar
- J. Chomicki and T. Imielinski. Relational specification of infinite query answers. In Proceedings of the International Conference on Management of Data (SIGMOD), Portland, Oregon, May 1989.Google Scholar
- G.M. Kuper. Logic programming with sets. In Proceedings of the ACM Symposium on the Principles of Database Systems (PODS), San Diego, CA, 1987.Google Scholar
- L.T. McCarty and N.S. Sridharan. The Representation of an Evolving System of Legal Concepts. II. prototypes and deformations. In Proceedings of the Seventh IJCAI, pages 246–253, 1981.Google Scholar
- A. Tarski. A Lattice-Theoretical Fixpoint Theorem and its Applications. Pacific Journal of Mathematics, 5:285–309, 1955.Google Scholar
- S. Tsur and C. Zaniolo. LDL: A logic-based data-language. In Proceedings of the International Conference on Very Large Databases (VLDB), Kyoto, Japan, 1986.Google Scholar