Skip to main content
SpringerLink
Log in
Book cover

Objektbanken für Experten pp 1–28Cite as

LOLA — ein deduktives Datenbanksystem

  • Conference paper

Part of the book series: Informatik aktuell ((INFORMAT))

Zusammenfassung

Die Logiksprache LOLA ist als Anfragesprache für ein deduktives Datenbanksystem entwickelt worden. LOLA hat eine deklarative Semantik und integriert Deduktion mit effizientem Datenzugriff durch die Anwendung relationaler Techniken. Die Sprache LOLA wird in dem in diesem Artikel vorgestellten experimentellen deduktiven Datenbanksystem verwendet, das ebenfalls den Namen LOLA trägt. Es bietet als zusätzliche Eigenschaften die Verwendung von Funktionen der Hostsprache Lisp und einen automatischen Zugriff auf externe relationale Datenbanken. LOLA ist in CommonLisp implementiert und läuft zur Zeit auf SUN Workstations.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. AllegroCommon LispUser Guide, Manual, Franz Inc., Berkeley, California, 1988

    Google Scholar 

  2. Apt K.R., Blair H.A. and Walker A.: Towards a Theory of Declarative Knowledge, in: Foundations of Deductive Databases and Logic Programming, Minker J. (ed.), Morgan Kaufmann, Los Altos, 1987

    Google Scholar 

  3. Argenton H.: Magic Set Transformation und Negation, Diplomarbeit, Technische Universität München, 1990

    Google Scholar 

  4. Baibin I., Ramamohanarao K.: A Differential Approach to Query Optimisation in Recursive Databases, University of Melbourne, Dep. of Computer Science, Technical Report 86/7, Parkville, Australia, 1986

    Google Scholar 

  5. Balbin I., Port G.S., Ramamohanarao K.: Magic Set Computation for Stratified Databases, University of Melbourne, Dep. of Computer Science, Technical Report 87/3, Parkville, Australia, 1987

    Google Scholar 

  6. Bancilhon F., Ramakrishnan R.: An Amateur’s Introduction to Recursive Query Processing Strategies, Proc. ACM SIGMOD, 1986

    Google Scholar 

  7. Bancilhon F. et al.: Magic Sets and Other Strange Ways to Implement Logic Programs, Proc. ACM SIGMOD-SIGACT Symp. on Principles of Database Systems, 1986

    Google Scholar 

  8. Bayer R.: Database Technology for Expert Systems, in: Informatik-Fachberichte 112: Wissensbasierte Systeme, Springer-Verlag, Berlin Heidelberg, 1985

    Google Scholar 

  9. Bayer R.: Query Evaluation and Recursion in Deductive Database Systems, Technische Universität München, Interner Bericht TUM-I8503, 1985

    Google Scholar 

  10. Beeri C. et. al.: Sets and Negation in a Logic Database Language (LDL1), Proc. ACM PODS 1987, ACM, 1987, pp. 21–37

    Google Scholar 

  11. Beeri C., Ramakrishnan R.: On the Power of Magic, Proc. ACM SIGMOD-SIGACT Symp. on Principles of Database Systems, 1987

    Google Scholar 

  12. Date C.J.: A Guide to THE SQL STANDARD, 2nd edition, Addison-Wesley, 1989.

    Google Scholar 

  13. R. Egenter: Magic-Set-Optimierung für die tupelorientierte Bottom- Up-Auswertung von Logikprogrammen, Diplomarbeit, Technische Universität München, 1992

    Google Scholar 

  14. C. L. Forgy: Rete: A Fast Algorithm for the Many Pattern/Many Object Pattern Match Problem, Artificial Intelligence 19, 1982, pp.17–37

    Article  Google Scholar 

  15. Freitag B., Kempe J.: A Deductive Multidatabase System, Technische Universität München, Interner Bericht, 1992

    Google Scholar 

  16. Freitag B.: A Deductive Database Language Supporting Modules, Proc. 2nd Intl. Computer Science Conference (ICSC’92) Data and Knowledge Engineering: Theory and Applications, Hong Kong, 1992

    Google Scholar 

  17. Freitag B.: Extending Deductive Database Languages by Embedded Implications, in A. Voronkov (Ed.): Proc. 3rd Intl. Conf. on Logic Programming and Automated Reasoning LPAR’92, St. Petersburg, Juli 1992, Springer LNCS 624, 1992

    Google Scholar 

  18. Freitag B.: Module und Hypothetisches Schliessen in Deduktiven Datenbanken, Dissertation, Technische Universität München (TUM), 1991

    MATH  Google Scholar 

  19. Freitag B., Schütz H., Specht G.: LOLA — A Logic Language for Deductive Databases and its Implementation, Proc. of the 2nd Intl. Symp. on Database Systems for Advanced Applications (DASFAA’91), Tokyo, Japan, April 1991, pp. 216 – 225

    Google Scholar 

  20. Freitag B.: Bottom-Up Evaluation of Logic Queries, Technische Universität München, Interner Bericht, 1989

    Google Scholar 

  21. Güntzer U., Kiessling W, Bayer R.: On the Evaluation of Recursion in (Deductive) Database Systems by Efficient Differential Fixpoint Iteration, Proc. 3rd Intl. Conf. on Data Engineering, Los Angeles, 1987

    Google Scholar 

  22. Hager J.: Optimierung von Selektion und Existenzquantifikation in Logikprogrammen, Diplomarbeit, Technische Universität München, 1990

    Google Scholar 

  23. Hanus M.: Polymorphic Higher-Order Programming in Prolog, Proc. of the 6th Int. Conf. on Logic Programming, Lisboa, June 1989 (MIT Press)

    Google Scholar 

  24. Hanus M.: Horn Clause Programs with Polymorphic Types: Semantics and Resolution, Proc. TAPSOFT’89, Springer LNCS 352, 1989, pp. 225–240

    Google Scholar 

  25. Kempe J.: Strategien zur Auswertung von Teilen eines Logikprogramms in relationalen Datenbanksystemen — Eine Konzeption und Implementierung für das LOLA-System, Diplomarbeit, Technische Universiät München, 1990.

    Google Scholar 

  26. Kempe H., Lenz Th., Freitag B., Schütz H., Specht G.: CL/TB An Allegro Common Lisp Programming Interface for TransBase, Technische Universität München, Interner Bericht TUM-I9106, 1991

    Google Scholar 

  27. Kempe J., Lenz T., Freitag B., Schütz H., Specht G.: CL/TB — An Allegro Common Lisp Programming Interface for TransBase, ACM SIGPLAN Notices, Vol. 26, No. 8, August 1991, pp. 60 – 69

    Google Scholar 

  28. M. Kifer, E. L. Lozinskii: Implementing Logic Programs as a Database System, Proc. Third Int. Conf on Data Engineering, Los Angeles, USA, Februar 1987, pp. 375–385

    Google Scholar 

  29. Lechner G.: Erstellung eines Tracers für LOLA-Programme, Diplomarbeit, Technische Universität München, 1991

    Google Scholar 

  30. Lloyd J.W.: Foundations of Logic Programming, Springer, 1987

    MATH  Google Scholar 

  31. Mycroft A., O’Keefe R.A.: A Polymorphic Type System for Prolog, Artificial Intelligence 23, 1984, pp. 295–307

    Article  MATH  MathSciNet  Google Scholar 

  32. Przymusinski T.C.: On the declarative semantics of deductive databases and logic programs, in: Minker J.,Ed.: Foundations of deductive databases and logic programming, Morgan Kaufmann, 1988, pp. 193–217

    Google Scholar 

  33. Ramakrishnan R., Beeri C., Krishnamurthy R.: Optimizing Existential Datalog Queries, Proc. ACM PODS, 1988

    Google Scholar 

  34. Schütz H.: R-Lisp — Eine erweiterte relationale Algebra in Lisp, Technische Universität München, Interner Bericht TUM-I9049, 1990

    Google Scholar 

  35. Schütz H.: Typisierung von LOLA-Programmen, Technische Universität München, Interner Bericht, 1990

    Google Scholar 

  36. Specht G.: Source-to-Source Transformationen zur Erklärung des Programmverhaltens bei deduktiven Datenbanken, Dissertation, Technische Universität München (TUM), 1992

    Google Scholar 

  37. Specht G.: Wissensbasierte Analyse althebräischer Morphosyntax; Das Expertensystem AMOS EOS-Verlag, 1990

    Google Scholar 

  38. Specht G.: Die Logiksprache LOLA und ihre interne Darstellung durch Relationen, Technische Universität München, Interner Bericht TUM-I8910, 1989

    Google Scholar 

  39. Takashi C.: Design Overview of the NAIL! System, E. Shapiro (Ed.), 3rd Intl. Conf. on Logic Programming, London, Juli 1986, Springer Verlag, 1986, pp. 554–569

    Google Scholar 

  40. TransBase Relational Database System, System Guide, Version 3.3, Manual, TransAc-tion Software GmbH, München, 1989

    Google Scholar 

  41. Ullman J.D.: Principles of Database and Knowledge-Base Systems, Volume II: The New Technologies, Computer Science Press, Rockville, 1989

    Google Scholar 

  42. S. Wiesener: Bottom-Up-Kontrolle zur Auswertung von Logikprogrammen, Diplomarbeit, Technische Universität München, 1991

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Technische Universität München, Orleansstraße 34, W-8000, München 80, Deutschland

    Burkhard Freitag, Heribert Schütz, Günther Specht & Rudolf Bayer

  2. Wilhelm-Schickard-Institut, Universität Tübingen, Sand 13, W-7400, Tübingen, Deutschland

    Ulrich Güntzer

Authors
  1. Burkhard Freitag
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Heribert Schütz
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Günther Specht
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Rudolf Bayer
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Ulrich Güntzer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, TU München, Arcisstr. 21, W-8000, München 2, Deutschland

    R. Bayer

  2. Fachbereich Informatik, Universität Kaiserslautern, Erwin-Schrödinger-Straße, W-6750, Kaiserslautern, Deutschland

    T. Härder

  3. Institut für Programmstrukturen und Datenorganisation, Universität Karlsruhe, Postfach 6980, W-7500, Karlsruhe, Deutschland

    P. Lockemann

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Freitag, B., Schütz, H., Specht, G., Bayer, R., Güntzer, U. (1992). LOLA — ein deduktives Datenbanksystem. In: Bayer, R., Härder, T., Lockemann, P. (eds) Objektbanken für Experten. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-77873-5_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-77873-5_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56074-6

  • Online ISBN: 978-3-642-77873-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation