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

1. Bancilhon, F., e.a.: The design and implementation of O₂, 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