Skip to main content
SpringerLink
Log in

Eine logische Analyse des Verhältnisses von Anwendungs- und Datenbanksystemen

  • Conference paper
Datenbanksysteme in Büro, Technik und Wissenschaft

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 204))

Zusammenfassung

Der Transaktionsbegriff wird mit Hilfe der klassischen Logik analysiert. Der Begriff ist auf die Betriebsmittelverwaltung beschränkt. Eine Erweiterung zu Problemlösungszyklen auf der Grundlage der konstruktiven Logik ohne tertium-non-datur wird untersucht. Eine Klassifikation von Externoperationen wird vorgetragen, mit denen Realaktionen eingrenzbar sind. Konzeptionelle Schemata werden auf die Art/Gattungs-Relation und die Teil/Ganze-Relation zurückgeführt, um Objekte mit Vererbung und Komplexobjekte unterscheiden zu können.

Abstract

The transaction concept of database systems is analyzed from the point of view of classical logic. Transactions of this type are confined to resource management. An extension to problem solving cycles is outlined using constructive logic without the famous tertium-non-datur. A taxonomy of operations affecting states outside a transaction system is investigated and predicates of real actions are considered. Objects of a conceptional schema are studied from the species-genus and part-whole relationship point of view, in order to distinguish objects with inheritance from complex objects.

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

Access this chapter

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. Bancilhon, F., e.a.: The design and implementation of O2, an object-oriented system, in: Dittrich, K.R. (Hrsg.): Proc. Advanced Object-Oriented Database Systems, Bad Münster am Stein-Ebernburg, Sept. 1988, Springer Verlag, S. 1–22

    Google Scholar 

  2. Barron, J.: Dialogue and Process Design for Interactive Information Systems Using Taxis, in: Proc. ACM SIGOA Conf. on Office Information Systems, Philadelphia, 1982, S. 12–20

    Google Scholar 

  3. Beckstein, C: Zur Logik der Logik-Programmierung — Ein konstruktiver Ansatz, Springer Verlag, 1988

    Book  MATH  Google Scholar 

  4. Bernstein, P.A., Hadzilacos, V. und Goodman, N.: “Concurrency Control and Recovery in Database Systems”. Addison-Wesley Publishing Company, 1987

    Google Scholar 

  5. Borgida, A.: Mylopoulos, J.L., Wong, H.K.T.: Generalization as a Basis for Software Specification. In: On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languages (eds. Brodie, M.L.: Mylopoulos, J.L., Schmidt, J.W.), Springer-Verlag, Berlin, Heidelberg, New York, 1984

    Google Scholar 

  6. Codd, E.F.: More Commentary on Missing Information in Relational Databases, in: ACM SIGMOD RECORD, Vol. 16 (1987), S. 42–50

    Article  Google Scholar 

  7. deKleer, J.: An Assumption-Based Truth Maintenance System, in: AI-Journal Vol. 28 (1986), S. 127–162

    Google Scholar 

  8. Eswaran, K.P., Gray, J., Lorie, R., Traiger, I.: The notion of consistency and predicate locks in a database system, in: Comm. ACM, Vol. 19 (1976), No. 11, S. 624–633.

    Article  MathSciNet  Google Scholar 

  9. Gabbay, D.M. und Seryot, M.J.: Negation as Inconsistency, in: Journal of Logic Programming, Vol. 1 (1986), S. 1–35

    Google Scholar 

  10. Halbert, D., O’Brien, P.D.: Using Types and Inheritance in object-oriented Programming, in: IEEE Software, September 1987, S. 7179

    Google Scholar 

  11. Härder, Th., et al.: PRIMA — A DBMS Prototype Supporting Engineering Applications, Sonderforschungsbereich 124, Report 22/87, Univ. Kaiserslautern, 1987

    Google Scholar 

  12. Haskin, R., Lorie, R.: On extending the functions of a relational database system, Research Report, RJ 3182, IBM Res. Lab., San Jose, Cal., 1981

    Google Scholar 

  13. Jablonski, S., Wedekind, H., Zörntlein, G.: Fehlerbehandlung in Flexiblen Fertigungssystemen, in: Informatik Forschung und Entwicklung, Band 3 (1988), Heft 2, S. 53–63

    Google Scholar 

  14. Leikauf, P.: Konsistenzsicherung durch Verwaltung von Konsistenzverletzungen, in diesem Tagungsband

    Google Scholar 

  15. Lorenzen, P.: Formale Logik, Sammlung Göschen, Band 1176/1176a, de Gruyter Verlag, Berlin, 1970

    Google Scholar 

  16. Lorenzen, P.: Lehrbuch der Konstruktiven Wissenschaftstheorie, BI-Verlag, Mannheim, 1987

    Google Scholar 

  17. Lorie, R., Plouffe, W.: Complex Objects and their Use in Design Transactions, in: Proc. Engineering Design Applications, Database Week 1983, S. 115–121

    Google Scholar 

  18. Mittelstraß (Hrsg.): Enzyklopädie Philosophie und Wissenschaftstheorie, Band 1, BI Verlag, Mannheim, 1980

    Google Scholar 

  19. Nau, H.-W. und Wedekind, H.: Die Spezifikation von Nullwerten als Problem einer wissensbasierten Büroautomatisierung, in diesem Tagungsband

    Google Scholar 

  20. Neuhold, E. und Stonebraker, M. (Hrsg.): Future Directions in DBMS Research, Technical Report 88/001 University of California in Berkeley/International Computer Science Institute (ICSI). Abgedruckt im Datenbank-Rundbrief, Ausgabe 2, Nov. 88, S. 22–31

    Google Scholar 

  21. Pausch, R.: Adding Input and Output to the Transactional Model, Dissertation, Carnegie Mellon University, CMU-CS-88–171, August 1988

    Google Scholar 

  22. Rehm, S., e.a.: Support for design processes in a structurally object-oriented database system, in: Proc. Advances in Object-Oriented Database System, Sept. 27–30, 1988, Springer Verlag, S. 80–97

    Google Scholar 

  23. Reuter, A.: Fehlerbehandlung in Datenbanksystemen — Datenbank-Recovery, Carl Hanser Verlag, München, 1981

    Google Scholar 

  24. Schlageter, G.: Der Report “Future Directions in DBMS Research” auf der VLDB 88, in: Datenbank-Rundbrief, Ausgabe 2, Nov. 88, S. 32–33

    Google Scholar 

  25. Schreier, U., Wedekind, H.: Supporting Concurrent Access to Facts in Logic Programs, in: C. Beeri, J.W. Schmidt, U. Dayal (Hrsg.): Proc. of the 3rd Intern. Conf. on Data and Knowledge Bases, Jerusalem, June 28–30, 1988, S. 102–108

    Google Scholar 

  26. Seiffert, H.: Einführung in die Wissenschaftstheorie, Band 1, C.H. Beck Verlag, München, 1975

    Google Scholar 

  27. Smith, J.M. und Smith D.C.P.: Database Abstraction: Aggregation and Generalization, in: ACM TODS, Vol.2 (1977), No.2, S. 105–133

    Article  Google Scholar 

  28. Stoyan, H.: Programmiermethoden der Künstlichen Intelligenz, Band 1, Springer Verlag, 1988

    MATH  Google Scholar 

  29. Wedekind, H.: Datenbanksysteme I, Bibliographisches Institut, 2. Aufl., Mannheim, 1981

    MATH  Google Scholar 

  30. Wedekind, H.: Die Komposition beim Datenbank-Schemaentwurf als Kennzeichnung, in: Angewandte Informatik, 1985, Heft 10, S. 420–423

    Google Scholar 

  31. Wedekind, H.: Die Problematik des Computer Integrated Manufacturing (CIM) — Zu den Grundlagen eines strapazierten Begriffes, in: Informatik-Spektrum, Band 11 (1988), S. 29–39

    Google Scholar 

  32. Wilson, P.R. et al.: Interfaces for data transfer between solid modelling systems, in: IEEE Comp. Graph. Appl., January 1985, S. 41–51

    Google Scholar 

  33. Zörntlein, G.: Flexible Fertigungssysteme, — Belegung, Steuerung, Datenorganisation —, Carl Hanser Verlag, München, 1988

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Lehrstuhl Informatik VI, Universität Erlangen-Nürnberg, Deutschland

    H. Wedekind

Authors
  1. H. Wedekind
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

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

    Theo Härder

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wedekind, H. (1989). Eine logische Analyse des Verhältnisses von Anwendungs- und Datenbanksystemen. In: Härder, T. (eds) Datenbanksysteme in Büro, Technik und Wissenschaft. Informatik-Fachberichte, vol 204. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-74571-3_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-74571-3_2

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-642-74571-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation