Optimization in a logic based language for knowledge and data intensive applications

  • Ravi Krishnamurthy
  • Carlo Zaniolo
Databases And Logic

DOI: 10.1007/3-540-19074-0_45

Part of the Lecture Notes in Computer Science book series (LNCS, volume 303)
Cite this paper as:
Krishnamurthy R., Zaniolo C. (1988) Optimization in a logic based language for knowledge and data intensive applications. In: Schmidt J.W., Ceri S., Missikoff M. (eds) Advances in Database Technology—EDBT '88. EDBT 1988. Lecture Notes in Computer Science, vol 303. Springer, Berlin, Heidelberg

Abstract

This paper describes the optimization approach taken to ensure the safe and efficient execution of applications written in LDL, which is a declarative language based on Horn Clause Logic and intended for data intensive and knowledge based applications. In order to generalize the strategy successfully used in relational database systems we first characterize the optimization problem in terms of its execution space, cost functions and search algorithm. Then we extend this framework to deal with rules, complex terms, recursion and various problems resulting from the richer expressive power of Logic. Among these is the termination problem (safety), whereby an unsafe execution is treated as an extreme case of poor execution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1988

Authors and Affiliations

  • Ravi Krishnamurthy
    • 1
  • Carlo Zaniolo
    • 1
  1. 1.MCCAustin

Personalised recommendations