Skip to main content
SpringerLink
Log in

Literaturverzeichnis

  • Chapter
Semantische Repräsentation komplexer Objektstrukturen

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

  • 28 Accesses

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. J.R. Abrial: “Data Semantics”, in J.W. Klimbee, K.L. Koffeman (Hrsg.): Data Base Management, North Holland Publ. Co., Amsterdam, 1974

    Google Scholar 

  2. H. Afarmanesh, D. McLeod: “A Framework for Semantic Database Models”, Proc. NYU Symp. on New Directions for Database Systems, New York University, Ney York, Mai 1984

    Google Scholar 

  3. A.V. Aho, J.D. Ullman: “Theory of Parsing, Translation, and Compiling”, vol. I, Prentice Hall, Englewood Cliffs, NJ, 1972

    Google Scholar 

  4. A.V. Aho, J.D. Ullman: “Universality of Data Retrieval Languages”, Proc. 6th ACM Symp. on Principles of Programming Languages, San Antonio, Texas, Jan. 1979, pp. 110–117

    Google Scholar 

  5. A. Albano: “Type Hierarchies and Semantic Data Models”, Proc., SIGPLAN 83 Symp. on Programming Language Issues in Software Design, San Francisco, CA, Juni 1983

    Google Scholar 

  6. H. Arisawa, K. Moriya, T. Miura: “Operations and Properties of Non-First-Order-Normal-Form Databases”, Proc. 9th VLDB Conf., Florenz, 1983

    Google Scholar 

  7. C.W. Bachman: “Data Structure Diagrams”, in: Data Base 1, no.2, Publications of the ACM Special Interest Group on Business Data Processing, 1969

    Google Scholar 

  8. J.W. Backus: “The Syntax and Semantics of the Proposed International Algebraic Language of the Zü ACM-GAMM Conference“, ICIP Proc., Paris 1959, Butterwoth London, 1960, pp.125–132

    Google Scholar 

  9. G.R. Barber: “Office Semantics”, PhDDiss., Dept. of Electr. Eng. and Computer Science, Mass. Institute of Technology (MIT), Cambridge, Mass., Feb. 1982

    Google Scholar 

  10. R. Bayer, M. Schkolnick: “Concurrency of Operations on B-Trees”, Acta Informatica, vol.9, no.1, 1977, pp.1–21

    Article  MathSciNet  MATH  Google Scholar 

  11. F.L. Bauer, H. Wössner: “Algorithmische Sprachen und Programmentwicklung”, Springer Verlag, Berlin Heidelberg New York, 2. Auflage, 1984

    Google Scholar 

  12. R. Bayer: “Query Evaluation and Recursion in Deductive Database Systems”, Interner Report, Institut für Informatik, Technische Universität München, Januar 1985

    Google Scholar 

  13. G. Barber, P. DeJong, C. Hewitt: “Semantic Support for Work in 0rganizations”, Proc. IFIP 1983, Elsevier Science Pub. ( North Holland ), 1983, pp. 561–566

    Google Scholar 

  14. R. Brägger, A. Dudler, J. Rebsamen, C.A. Zehnder: Gambit: An Interactive Database Design Tool for Data Structures, Integrity Constraints, and Transactions”, Proc. 1st Computer Data Engineering Conf. (COMPDEC), IEEE Computer Society, Los Angeles, April 1984, pp. 399–407

    Google Scholar 

  15. H. Biller, W. Glatthaar, E.J. Neuhold: “On the Semantics of Data Bases: The Semantics of Data Definition Languages”, in: G.M. Nijssen (Hrsg.): “Modelling in Data Base Management Systems”, Proc. IFIF-TC2 Work. Conf., Freudenstadt, North Holland Pub., Amsterdam, Jan. 1976, pp. 239–268

    Google Scholar 

  16. H. Biller, E.J. Neuhold: “Semantics of Data Bases: The Semantics of Data Models”, in: Information Systems, vol.3, Pergamon Press, 1978, pp.12–33

    Google Scholar 

  17. D. Bjørner, C.B. Jones (Hrsg.): “The Vienna Development Method: The Meta Language”, Lecture Notes in Computer Science, vol. 61, Springer Verlag, Berlin Heidelberg New York, 1978

    MATH  Google Scholar 

  18. D. Bjørner, C.B. Jones (Hrsg.): “Formal Specifications and Software Development”, Prentice Hall, 1982

    Google Scholar 

  19. D. Bjørner, H. Løvengreen: “Formalization of Database Systems - and a Formal Definition of IMS”, Proc. 8th VLDB Conf., Mexico City, September 1982, pp. 334–347

    Google Scholar 

  20. D. Bjørner, O.N. Oest: “Towards a Formal Description of ADA”, Lecture Notes in Computer Science, vol. 98, Springer Verlag, Berlin Heidelberg New York, 1980

    Google Scholar 

  21. D. Bjørner: “Programming Languages: Linguistics and Semantics”, Proc. Europ. ACM Int. Computing Symposium ICS/77, North Holland Pub., Amsterdam, 1977, pp. 512–536

    Google Scholar 

  22. D. Bjørner: “Systematic Program Derivation Techniques, Res. Rep. ID 677, Dep. of Computer Science, Techn. Univ. Dänemark, Lyngby, Jan. 1977

    Google Scholar 

  23. D. Bjørner: “Abstract Software Specifications”, Proc. 1979 Copenhagen Winter School, Lecture Notes in Comp. Science, vol.86, Springer Verlag, Berlin Heidelberg New York, Juni 1980

    Google Scholar 

  24. D. Bjørner: “Formalization of Database Models”, in: “Abstract Software Specifications”, Proc. 1979 Copenhagen Winter School, Lecture Notes in Comp. Science, vol.86, Springer Verlag, Berlin Heidelberg New York, Juni 1980, pp.144–215

    Google Scholar 

  25. D. Bjørner: “Formal Description of Programming Concepts, A Software Engineering Viewpoint”, in: P. Dembinski (Hrsg): Proc. 9th Symp. on Math. Foundations of Computer Science 1980, Rydzyna, Poland, Lecture Notes in Computer Science, vol. 88, Springer Verlag, Berlin Heidelberg New York, 1980, pp. 1–21

    Google Scholar 

  26. D. Bjørner (Hrsg.): “Formal Description of Programming Concepts II”, Proc. IFIP TC 2 Working Conf., Garmisch-Partenkirchen, Juni 1982, North-Holland, Amsterdam, 1983

    MATH  Google Scholar 

  27. D. Bjørner, S. Prehn: “Software Engineering Aspects of VDM”, in: Ferrari, M. Bolognani, J. Goguen (Hrsg.): Theory and Practice of Software Technology, North Holland Publ., Amsterdam, 1983

    Google Scholar 

  28. R.Budde, K. Kuhlenkamp, L. Mathiassen, H. Züllighoven (Hrsg.): “Approaches to Prototyping”, Proc. Working Conf. on Prototyping, Namur, Belgien, Oktober 1983, Springer Verlag, Berlin Heidelberg New York Tokyo, 1984

    Google Scholar 

  29. M.W. Blasgen, et al.: “System/R: An Architectural Overview”, IBM Systems Journal, vol.20, no.1, 1981, pp.41–62

    Article  MathSciNet  Google Scholar 

  30. M.L. Brodie, J. Mylopoulos, J.W. Schmidt (Hrsg.): “On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages”, Springer Verlag, Berlin Heidelberg New York, 1984

    MATH  Google Scholar 

  31. M.L. Brodie: “The Application of Data Types to Database Semantic Integrity”, Information Systems, vol.5, no.4, 1980.

    Google Scholar 

  32. M.L. Brodie: “On Modell ing Behavioural Semantics of Databases”, Proc. 7th VLDB Conf. Conf., Cannes, France, 1981

    Google Scholar 

  33. M.L. Brodie: “Association: A Database Abstraction for Semantic Modelling”, Proc. 2nd Int. Entity Relationship Conf., Washington, D.C., Okt. 1981

    Google Scholar 

  34. M.L. Brodle: “Axiomatic Defiriltions for Data Model Semantics”, Information Systems, vol. 7, no. 2, 1982, pp. 183–197

    Article  Google Scholar 

  35. M. Broy: “Zur Spezifikation von Programmen für die Textverarbeitung”, R. Wossidlo (Hrsg.): Proc. GI Fachtagung Textverarbeitung und Informatik, Bayreuth, Informatik Fachberichte, vol.30, Springer Verlag, Berlin Heidelberg New York, 1980, pp. 75–93

    Google Scholar 

  36. M. Broy: “Algebraic Methods for Program Construction: The Project CIP”, Techn. Report, Technische Universität München, 1982

    Google Scholar 

  37. G. Bracchi, B. Pernici: “The Design Requirements for Office Systems”, ACM Transactions on Office Information Systems, vol. 2, no. 2, April 1984, pp. 151–170

    Article  Google Scholar 

  38. M.L. Brodie, D. Ridjanovic: “On the Design and Specification of Database Transactions”, in: M.L. Brodie, J. Mylopoulos, J.W. Schmidt (Hrsg.) : “On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages”, Springer Verlag, Berlin Heidelberg New York, 1984, pp.277–306

    Google Scholar 

  39. M.L. Brodie, J.W. Schmidt (Hrsg.): “Final Report of the Relational Database Task Group”, ANSI/X3/SPARC/DBSSG, ACM SIGMOD RECORD, vol.12, no.4, Juli 1982

    Google Scholar 

  40. M.L. Brodie, E.O. Silva: “Active and Passive Component Modelling”, in: T.W. Olle, H.G. Sol, A.A Vrejn-Stuart (Hrsg.): Proc. IFIP TC 8 Working Conf. on Comparative Review of Information System Design Methodologies, Elsevier North-Holland, 1982, pp. 41–91

    Google Scholar 

  41. M.L. Brodie, S.N. Zilles (Hrsg.): “Proc. of the Workshop on Data Abstraction, Databases and Conceptual Modelling”, ACM SIGART Newsletter, no. 74, Jan. 1981, ACM SIGMOD RECORD; vol.12, no.2, Feb. 1981, ACM SIGPLAN NOTICES, vol.16, no.1, Jan. 1981

    Google Scholar 

  42. J. Bubenko: “IAM: Inferential Abstract Modelling - An Approach to Design of Information Models for Large Shared Data Bases”, IBM Techn. Report RC 6343, 1977

    Google Scholar 

  43. F. Bunemann, R.E. Frankel: ”FQL - A Functional Query Language”, Proc. ACM SIGMOD Conf., Boston, Mai 1979

    Google Scholar 

  44. R. Burstall, J. Goguen : “The Semantics of CLEAR: A Specification Language”, in: “Abstract Software Specifications”, pp.292–332

    Google Scholar 

  45. W.H. Bürge: ”Recursive Programming Techniques”, Addison- Wesley, Reading, Mass., 1975

    Google Scholar 

  46. R.H. Campbell, A.N. Haberman: “The Specification of Process Synchronisation by Path Expressions”, Lecture Notes in Computer Science, vol. 16, Springer Verlag, Berlin Heidelberg New York, 1974

    Google Scholar 

  47. A. Chan, et al.: “Storage and Access Structures to Support a Semantic Data Model”, Proc. 8th VLDB Conf., Mexico City, Sept. 1982, pp. 122–130

    Google Scholar 

  48. D.D. Chamberlin, R.F. Boyce: “SEQUEL: A Structured English Query Language”, Proc. ACM SIGMOD Conf., 1974

    Google Scholar 

  49. P.P.S. Chen: “The Entity Relationship Model: Toward a Unified View of Data”, ACM TODS, vol.1, no. 1. März 1976

    Google Scholar 

  50. P.P.S. Chen (Hrsg.): “Entity Relationship Approach to System Analysis and Design”, North Holland Pub. Comp., Juni 1980

    Google Scholar 

  51. A.K. Chandra, D. Harel: “Horn Clauses and the Fixpoint Query Hierarchy”, Proc. 1st ACM Symp. on Principles of Database Systems, Los Angeles, CA, März 1982, pp. 158–163

    Chapter  Google Scholar 

  52. S.K. Chang, T.L. Kunii: “Pictorial Database Systems”, IEEE Computer, Special Issue: Pictorial Information Systems, November 1981

    Google Scholar 

  53. N. Chomsky: “On Certain Formal Properties of Grammars”, Information and Control, vol. 2, no. 2, 1959, pp. 137–167

    Article  MathSciNet  MATH  Google Scholar 

  54. A. Church: “The Calculi of Lambda Convention”, Annuals of Mathematical Studies, vol.6, Princeton University Press, 1941 (Reprint 1951)

    Google Scholar 

  55. E.M. Clarke, Jr. : “Programming Language Constructs for which it is Impossible to Obtain Good Hoare- like Axiom Systems”, Conf. Record of the 4th ACM Symposium on Principles of Programming Languages, 1977, pp.10–20

    Google Scholar 

  56. W.F. Clocksinn, C.S. Mellish: “Programming in PROLOG”, Springer Verlag, Berlin Heidelberg New York, 1981 1977, pp. 10–20

    Google Scholar 

  57. E.F. Codd : “A Relational Model of Data for Large Shared Databanks”, Comm. ACM, vol.13, no.6, Juni 1970, pp.377–387

    Google Scholar 

  58. E.F. Codd: “A Database Sublanguage Founded on the Relational Calculus”, Proc. ACM SIGFIDET Workshop on Data Description, Access, and Control, 1971, pp. 35–68

    Chapter  Google Scholar 

  59. E.F. Codd: “Relational Completeness of Database Sublanguages”, in: R. Rustin (Hrsg.): Data Base Systems, Prentice Hall, Englewood Cliffs, 1972, pp. 65–98

    Google Scholar 

  60. E.F. Codd: “Extending the Relational Database Model to Capture More Meaning”, ACM TODS, vol.4, no.4, Dez. 1979, pp.397–434

    Google Scholar 

  61. E.F. Codd: Vorwort zu, J.W. Schmidt, M.L. Brodie (Hrsg.) : “Relational Database Systems: Analysis and Comparison”, Springer Verlag, Berlin Heidelberg New York, 1983, pp.V–IX

    Google Scholar 

  62. C.J. Date: “An Introduction to Database Systems”, vol. I, 3. Auflage, Addison-Wesley Pub. Co., 1981

    MATH  Google Scholar 

  63. C.J. Date: “Referential Integrity”, Proc. 7th Intern Conf. on VLDB, Cannes, France, September 1981, pp. 2–12

    Google Scholar 

  64. C.J. Date: “A Formal Definition of the Relational Model”, TR 03.169, IBM General Product Division, San Jose, California, Oktober 1981 - veröffentlicht in: ACM SIGMOD RECORD, vol.13, no.1, September 1982

    Google Scholar 

  65. D.R. Deutsch, W.T. Hardgrave: “Processing Data Model Abstractions”, ACM SIGPLAN Notices, vol. 16, no. 1, 1981, pp. 126–127

    Article  Google Scholar 

  66. R.B.K. Dewar, A. Grant, S.C. Liu, J.T. Schwartz, E. Schonberg : “Programming by Refinement as Exemplified by the SETL Representation Sublanguage”, ACM TOPLAS, vol.1, no.1, Juli 1979, pp.27–49

    Google Scholar 

  67. W. Dosch, G. Mascari, M. Wirsing: “On the Algebraic Specification of Databases”, Proc. 8th VLDB Conf., Mexico City, September 1982, pp. 370–385

    Google Scholar 

  68. J.E. Donahue: “Complementary Definitions of Programming Language Semantics”, Lecture Notes in Computer Science, vol. 42, Springer Verlag, Berlin Heidelberg New York, 1976

    Google Scholar 

  69. R.B.K. Dewar, E. Schonberg, J.T. Schwartz: “High-level Programming: An Introduction to the Programming Language SETL”, Courant Intitute of Mathematical Sciences, New York, Juli 1982

    Google Scholar 

  70. K.P. Eswaran, J.N. Gray, R.A. Lorie, I.L. Traiger: “The Notions of Consistency and Predicate Locks in a Database System”, CACM, vol.19, no.12, Nov. 1976

    Google Scholar 

  71. C.A. Ellis, M. Bemal: “OFFICATALK-D: An Experimental Office Information System”, Proc. ACM Conf. on Office Information Systems, 1982

    Google Scholar 

  72. C.A. Ellis: “Information Control Nets: A Mathematical Model of Office Information Flow”, Proc. ACM Conf. on Simulation, Modelling, and Measurement of Computing Systems”, Boulder, CO, 1979, pp. 225–240

    Google Scholar 

  73. C.A. Ellis: “Formal and Informal Models of Office Activity”, in: R.E.A. Mason (Ed.): Proc. IFIP Congress 1983, Elsevier Science Publishers B.V. ( North Holland ), 1983, pp. 11–22

    Google Scholar 

  74. E. Falkenberg: “Concepts for Modelling Information”, Proc. IFIP TC-2 Working Conf. on Modelling in Data Base Management Systems, North Holland Pub., Amsterdam, Jan. 1976, pp. 95–120

    Google Scholar 

  75. W.E. Fischer: “PHIDAS - A Database Management System for CAD/CAM Application Software”, Computer Aided Design, vol. 11, 1979, pp. 146

    Article  Google Scholar 

  76. W.E. Fischer: “Datenbanksysteme für CAD-Arbeitsplätze”, Informatik Fachberichte, vol. 70, Springer Verlag, Berlin Heidelberg New York Tokyo, 1983

    Google Scholar 

  77. R.W. Floyd: “Assigning Meanings to Programs”, in: J. Schwarz (Hrsg.): Math. Aspects of Computer Science, Proc. Symposium in Applied Mathematics, vol.19 pp. 19–32, American Math. Soc., Providence, Rhode Island, 1967

    Google Scholar 

  78. C. Floyd: “A Systematic Look at Prototyping”, in: R.Budde, K. Kuhlenkamp, L. Mathiassen, H. Züllighoven (Hrsg.): “Approaches to Prototyping”, Proc. Working Conf. on Prototyping, Namur, Belgien, Oktober 1983, Springer Verlag, Berlin Heidelberg New York Tokyo, 1984, pp. 1–18

    Google Scholar 

  79. P. Folkjær, D. Bjørner: “A Formal Model of a Generalized CSP-like Language”, Rep. ID 879, Dep. of Computer Science, Techn. Univ. Dänemark, Lyngby, 1979 also: Proc. IFIP 80, World Computer Congress, Tokyo/Melbourne, Okt. 1980, pp. 95–99

    Google Scholar 

  80. P. Folkær, D. Bjørner: “A Formal Model of an Applicative Parallel Programming Language”, ID Rep. No. 880, Dept. of Comp. Sei., Techn. Universität Dänemark, 1980

    Google Scholar 

  81. J. Freitag, H.-D. Werner, W. Wilkes: “Strukturierte Attribute in Relationen zur Unterstützung von IR-Anwendungen”, in: J. Nehmer (Hrsg.): Proc. 12. GI Jahrestagung, Fachgespräch ‘Integrierte Informationssysteme’, Informatik Fachberichte Nr. 57, Springer Verlag, Berlin Heidelberg New York, 1982, pp. 623–647

    Google Scholar 

  82. J.V. Guttag, J.J. Horning, J. Wing: “Some Notes on Putting Formal Specifications to Productive Use”, Techn. Report CSL-82-3, Xerox Research Center, Palo Alto, CA, 1982

    Google Scholar 

  83. S. Gibbs, D. Tsichritzis : “A Data Modelling Approach for Office Information Systems”, ACM Transactions on Office Information Systems, vol.1, no.4, Okt. 1983, pp.299–319

    Google Scholar 

  84. J.N. Gray, R.A. Lorie, G.R. Putzolu: “Granularity of Locks in a Shared Data Base”, Proc. 1st VLDB Conf., New York, Sept. 1975, pp. 428–451

    Google Scholar 

  85. G. Goos, J. Hartmanis (Hrsg.): “Formalization of Programming Concepts”, Proc. Intern. Colloquium, Penniscola, Spain, Lecture Notes in Computer Science, vol. 107, Springer Verlag, Berlin Heidelberg New York, April 1981

    Google Scholar 

  86. M.J.C. Gordon: “The Denotational Description of Programming Languages”, Springer Verlag, New York, 1979

    Book  MATH  Google Scholar 

  87. D. Gries: “Compiler Construction for Digital Computers”, John Wiley & Sons Inc., New York, NY, 1974

    Google Scholar 

  88. D. Gries: “The Science of Computer Programming”, Springer Verlag, Berlin Heidelberg New York, 1981

    Google Scholar 

  89. J.A. Goguen, J.W. Thatcher, E.G. Wagner: “An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types”, in: R.T. Yeh (Hrsg.): “Current Trends in Programming Methodology”, vol. IV - ‘Data Structuring’, Prentice Hall, 1977

    Google Scholar 

  90. K.D. Günther: “PLOP - A Predicative Programming Language for Office Procedure Automation”, Intern. Techn. Report, Ges. für Mathematik und Datenverarbeitung, GMD/IFV, Darmstadt, 1984

    Google Scholar 

  91. J.V. Guttag, J.J. Horning: “Formal Specification as a Design Tool”, Proc. ACM Symp. on Principles of Programming Languages, SIGACT und SIGPLAN, Jan. 1980, pp. 251–261

    Google Scholar 

  92. A. Guttman, M. Stonebraker: “Using a Relational Database Management System for Computer Aided Design Data”, Memorandum No. UCB/ERL M82/37, University uf California, Berkeley, CA, März 1982

    Google Scholar 

  93. J.V. Guttag, J.J. Horning: “The Algebraic Specificati Data Types”, Acta Informatica, vol. 10, no. 1, 1978, pp. 2

    Article  MathSciNet  Google Scholar 

  94. P. Haff. Haff: “CHILL Formal Definition”, Proc. CCITT Working Party XI/3, Genf, Dez. 1981

    Google Scholar 

  95. M.M. Hammer, J.S. Kunin: “Design Principles for an Office Specification Language”, Proc. NCC 1980, Anaheim, CA, AFIPS Press, 1980, pp. 541–547

    Google Scholar 

  96. R.L. Haskins, R.A. Lorie: “On Extending the Functions of a Relational Database System”, Proc. ACM SIGMOD Conf., Orlando, Florida, Juni 1982, pp. 207–212

    Google Scholar 

  97. M.M. Hammer, D. McLeod: “The Semantic Data Model: A Modelling Mechanism for Data Base Applications”, Proc. ACM SIGMOD Conf., Austin, Texas, Juni 1978

    Google Scholar 

  98. M.M. Hammer, D. McLeod: “Database Description with SDM: A Semantic Database Model”, ACM TODS, vol. 6, no. 3, Sept. 1981, pp. 351–386

    Article  Google Scholar 

  99. W.T. Hardgrave: “Positional Set Notation”, Advances in Database Management, vol. 2, Heyden and Son, New York, erscheint 1985

    Google Scholar 

  100. W.T. Hardgrave, S.B. Salazar: “The Positional Set Processor: A Tool for Data Modeling”, NBSIR 81–2302, National Bureau of Standards, Washington, D.C., 1981

    Google Scholar 

  101. L.J. Henschen, S.A. Naqvi: “On Compiling Queries in Recursive First-Order Databases”, Journal of the ACM, vol. 31, no. 1, Jan. 1984, pp. 47–85

    Article  MathSciNet  MATH  Google Scholar 

  102. R. Holliday, D. Kropp, G. Müller, W. Schulz: “Enduser Applications in Open Systems”, IBM HDSC Techn. Report Nr. 84.06. 007, IBM Heidelberg, Juni 1984

    Google Scholar 

  103. C.A.R. Hoare: “The Axiomatic Basis for Computer Programming”, Comm. ACM, vol.12, no.10, Okt. 1969, pp.576”583

    Google Scholar 

  104. C.A.R. Hoare: “Recursive Data Structures”, Memo AIM- 223, STAN-CS-73-400, Stanford Artificial Intelligence Lab., Universität Stanford, Okt. 1973

    Google Scholar 

  105. C.A.R. Hoare: “Recursive Data Structures”, Int. Journal of Computer and Information Science, vol. 4, no. 2, 1975, pp. 105–132

    Article  MATH  Google Scholar 

  106. C.A.R. Hoare: “Communicating Sequential Processes”, Comm. ACM, vol. 21, no. 8, Aug. 1978, pp. 666–677

    Article  MATH  Google Scholar 

  107. W. Horak, G. Krönert: “An Object Oriented Office Document Architecture Model for Document Interchange Between Open Systems”, Proc. GLOBECOMP’83, San Diego, Nov. 1983, pp. 1245–1249

    Google Scholar 

  108. C.A.R. Hoare, P.E. Lauer: “ConsiStent and Complementary Formal Theories of the Semantics of Programming Languages”, in: Acta Informatica, vol.3, pp. 135–153, 1974

    MathSciNet  MATH  Google Scholar 

  109. W. Horak: “Concepts of the Document Interchange Protocol for the Telematic Services - CCITT Draft Recommendations S.a.”, Computer Networks, vol. 8, no. 3, 1984, pp. 175–185

    Google Scholar 

  110. C.A.R. Hoare, N.Wirth: “An Axiomatic Definition of the Programming Language Pascal”, in: Acta Informatica, vol.2, 1973, pp.335–355

    Google Scholar 

  111. IBM Corporation: “Information Management System/Virtual Storage Utilities Reference Manual”, IBM Forms no. SH 20-9025, SH 20-9026 und GH 20-1260, White Plains, New Jersey, 1975

    Google Scholar 

  112. IBM Corporation: “SQL/Data System, Concepts and Faci1ities”, IBM Form no. GH 24–5013, Jan. 1981

    Google Scholar 

  113. International Organisation for Standardl*sation (ISO) TC 97/SC 16: “Open Systems Interconnection - Basis Reference Model”, 1980

    Google Scholar 

  114. G. Jaeschke: “Recursive Algebra for Relations with Relation-Valued Attributes”, Techn. Report IBM Heidelberg, Wiss. Zentrum, erscheint 1985

    Google Scholar 

  115. G. Jaeschke, H.-J. Schek. Schek: “Remarks on the Algebra of Non First Normal Form Relations”, Proc. ACM SIGACT-SIGMOD Symp. on Principles of Database Systems, Los Angeles, März 1982

    Google Scholar 

  116. C.B. Jones, D. Bjørner (Hrsg.): “Formal Specification and Software Development”, Prentice Hall Int., Reading, UK, 1982

    MATH  Google Scholar 

  117. C.B. Jones: “Software Development: A Rigorous Approach”, Prentice Hall Int., Reading, UK, 1980

    MATH  Google Scholar 

  118. W. Kent: “Limitations of Record Based Information Models”, ACM TODS, vol.4, no.1, März 79, pp.107–131

    Google Scholar 

  119. M. Koll, W.T. Hardgrave, S. Salazar: “Data Model Processing”, Proc. National Computer Conf., Houston, Texas, Juni 1982, AFIPS Press, pp. 571–578

    Google Scholar 

  120. H.A. Klaeren: “An Abstract Software Specification Technique Based on Structural Recursion”, ACM SIGPLAN Notices, vol.15, no.3, März 1980, pp.28–34

    Google Scholar 

  121. S.C. Kleene: “Introduction to Metamathematics”, Van Nostrand, 1952

    MATH  Google Scholar 

  122. A. Klug: “Calculating Constraints on Relational Expressions”, ACM TODS, vol. 5, no. 3, Sept. 1980, pp. 260–290

    Article  MATH  Google Scholar 

  123. M. Koll, W.T. Hardgrave: “Data Model Processor User’s Manual”, Institute for Computer Science and Technology, Center for Programming Science and Technology, Data Management and Programming Language Division, National Bureau of Standards, Washington, D.C., September 1981

    Google Scholar 

  124. R. Kowalski: “Algorithm = Logic + Control”, Comm. ACM, vol. 22, no. 8, Aug. 1978, pp. 424–436

    Google Scholar 

  125. R. Kowalski: “Logic for Problem Solving”, North Holland Pub., Amsterdam, 1979

    MATH  Google Scholar 

  126. P. Kruchten, E. Schonberg: “The ADA/Ed System: A Large-Scale Experiment in Software Prototyping Using SETL”, in: R.Budde, K. Kuhlenkamp, L. Mathiassen, H. Züllighoven (Hrsg.): “Approaches to Prototyping”, Proc. Working Conf. on Prototyping, Namur, Belgien, Oktober 1983, Springer Verlag, Berlin Heidelberg New York Tokyo, 1984, pp. 398–415

    Google Scholar 

  127. P. Kruchten, E. Schonberg, J. Schwartz : “Software Prototyping Using the SETL Programming Language”, IEEE Software, vol.1, no.4, Oktober 1984, pp.66–75

    Google Scholar 

  128. J. Koch, J.W. Schmidt, V. Wunderlich: “Type Derivation for First-Order Relational Expressions”, Techn. Report Nr. 79/81, Fachbereich Informatik, Universität Hamburg, Juni 1981

    Google Scholar 

  129. Y. Kambayashi, K. Tanaka, K.Takeda: “Synthesis of Unnormalized Relations Incorporating More Meaning”, Int. Journal of Information Sciences, Special Issue on Databases, 1983

    Google Scholar 

  130. W. Lamersdorf: “Semantikspezifikationstechniken und eine Anwendung auf die semantische Spezifikation von Pascal/R”, Diplomarbeit, Fachbereich Informatik, Universität Hamburg, 1980

    Google Scholar 

  131. W. Lamersdorf: “Comparison of Four Relational Data Model Specifications”, ACM SIGMOD RECORD, vol. 13, no. 3, April 1983, pp. 18–31

    Article  Google Scholar 

  132. W. Lamersdorf: “Specification and Interpretation of Data Model Semantics: An Integration of Two Approaches”, Techn. Report NBSIR 83–2740, Institute for Computer Science and Technology, National Bureau of Standards, Washington, D.C., Juli 1983

    Google Scholar 

  133. W. Lamersdorf: “Formal Specification of a Recursive Data Model: General izing the RDM”, Interner Arbeitsbericht, Universität Hamburg, Fachbereich Informatik, Juli 1983

    Google Scholar 

  134. W. Lamersdorf: “Syntaxdefinition eines rekursiven Datenmodells”, Interner Arbeitsbericht, Universität Hamburg, Fachbereich Informatik, August 1983

    Google Scholar 

  135. W. Lamersdorf: “Recursive Data Models for Non-Conventional Database Applications”, Proc. Computer Data Engineering Conf. (COMPDEC), IEEE Computer Society, Order No. 84–80546, Los Angeles, April 1984, pp. 143–150

    Google Scholar 

  136. W. Lamersdorf: “Modellierung komplexer Objektstrukturen in Bürosystemen”, Proc. Gl Fachtagung ‘Datenbanksysteme für Büro, Technik und Wissenschaft’, A. Blaser, P.Pistor (Hrsg.), Informatik Fachberichte, vol.94, Springer Verlag, Berlin Heidelberg New York Tokyo, März 1985, pp. 199–203

    Google Scholar 

  137. P.J. Landin: “The Mechanical Evaluation of Expressions”, in BCS Computer Journal, vol. 6, no. 4, 1964, pp. 308–320

    MATH  Google Scholar 

  138. P.J. Landin: “A Correspondence Between ALGOL 60 and Church’s Lambda Notation”, Comm. ACM, vol.8, nos.2–3, 1965, pp.89–101 and pp.158–165

    Google Scholar 

  139. W. Lamersdorf, J.W. Schmidt: “Specification of Pascal/R”, Berichte Nr. 73 und 74, Fachbereich Informatik, Universität Hamburg, Juli 1980

    Google Scholar 

  140. W. Lamersdorf, J.W. Schmidt: “On the Definition, Standardization, and Specification of the Relational Data Model”, Proc. Workshop on Information and Data Structure Description in Standardization, R. Durchholz, H.-D. Ehrich (Hrsg.), Berichte der GMD, Bericht Nr.139, Oldenbourg Verlag, München Wien, 1983, pp. 127–136

    Google Scholar 

  141. W. Lamersdorf, J.W. Schmidt: “Rekursive Datenmodelle”, in: J.W. Schmidt (Hrsg.): Proc. Fachgespräch “Sprachen für Datenbanken” der 13. GI Jahrestagung, Hamburg, Informatik Fachberichte, vol. 72, Springer Verlag, Berlin Heidelberg New York, Okt. 1983, pp. 148–168

    Google Scholar 

  142. W. Lamersdorf, J.W. Schmidt: “Specification and Prototyping of Data Model Semantics”, in: R.Budde, K. Kuhlenkamp, L. Mathiassen, H. Züllighoven (Hrsg.): “Approaches to Prototyping”, Proc. Working Conf. on Prototyping, Namur, Belgien, Oktober 1983, Springer Verlag, Berlin Heidelberg New York Tokyo, 1984, pp. 214–231

    Google Scholar 

  143. V.Y. Lum, D.M. Choy, N.C. Shu : “OPAS: An Office Procedure Automation System”, IBM Systems J., vol.21, no.3, 1982

    Google Scholar 

  144. U. Leibrandt, P. Schnupp: “An Evaluation of PROLOG as a Prototyping System”, in: R.Budde, K. Kuhlenkamp, L. Mathiassen, H. Züllighoven (Hrsg.): “Approaches to Prototyping”, Proc. Working Conf. on Prototyping, Namur, Belgien, Oktober 1983, Springer Verlag, Berlin Heidelberg New York Tokyo, 1984, pp. 424–433

    Google Scholar 

  145. V. Linnemann: “On the Relationship Between Context Free Grammars and Hierarchical Data Structures”, Interner Bericht, Fachbereich Informatik, Universität Frankfurt/M, März 1984

    Google Scholar 

  146. B. Liskov, S. Zilles: “Programming with Abstract Data Types”, Proc. ACM-SIGPLAN Symp. Very High Level Languages, SIGPLAN Notices (ACM), vol. 9, no. 4, April 1974, pp. 50–59

    Article  Google Scholar 

  147. P.C. Lockemann, H.C. Mair, W.H. Weil, W.H. Wohlleber : “Data Abstractions for Database Systems”, ACM TODS, vol.4, no.1, März 1979, pp.60–75

    Google Scholar 

  148. W. Lamersdorf, G. Müller, J.W. Schmidt: “Language Support for Office Modelling”, Proc. 10. Intern. Conf. on VLDB, U. Dayal, G. Schlageter, L.H. Seng ( Hrsg. ), Singapore, August 1984, pp. 280–288

    Google Scholar 

  149. R.A. Lorie, W. Plouffe: “Complex Objects and Their Use in Design Transactions”, Proc. Engineering Design Applications, ACM/IEEE Database Week, San Jose, CA, IEEE Comp. Soc. Press, Silver Spring, MD, Juni 1983, pp. 125–121

    Google Scholar 

  150. P.M. Lewis, D.J. Rosenkrantz, P.E. Stearns: “Compiler Design Theory”, Addison Wesley Pub. Co., Reading, Mass., 1976

    MATH  Google Scholar 

  151. W. Lamersdorf, J.W. Schmidt, G. Müller: “A Recursive Approach to Office Object Modelling”, Information Technology, Butterworth, London, vol.4, no.1, Jan. 1985

    Google Scholar 

  152. H. Langmaack, B. Schlender, J.W. Schmidt: “Implementierung Pascal-artiger Programmiersprachen”, Tagung II/1982 des German Chapter of the ACM, Teubner, Stuttgart, Juni 1982

    Google Scholar 

  153. P. Lucas, K. Walk: “On the Formal Definition of PL/1”, Annual Review in Automatic Programming, vol.6, part 3, Pergamon Press, New York, 1969, pp. 105–182

    Google Scholar 

  154. N.H. Madhavji: “Visibility Aspects of Programmed Dynamic Data Structures”, Comm. ACM, vol. 27, no. 8, August 1984, pp. 764–776

    Article  Google Scholar 

  155. J. Madsen. Madsen: “Modular Operating System Design”, Dissertation, Techn. Univ. Dänemark, Techn. Report ID-805, August 1980

    Google Scholar 

  156. J. McCarthy, P.W. Abrahams, D.J. Edwards, T.P. Hart, M.I. Levin: “LISP 1. 5 Programmers Manual”, MIT Press, Cambridge, Mass., 1962

    Google Scholar 

  157. D. Maier: ”The Theory of Relational Databases”, Computer Science Press, Rockville, MD, 1983

    MATH  Google Scholar 

  158. A. Makinouchi: “A Consideration on Normal Form of Not Necessarily Normalized Relations in the Relational Data Model”, Proc. 3rd. Int. Conf. on VLDB, Tokyo, 1977, pp. 447–453

    Google Scholar 

  159. H.C. Mair, R.E. Meyer (Hrsg.): “Formale Modelle für Informationssysteme”, Proc. Fachtagung der Gl, Tutzing, Informatik Fachberichte, vol. 21, Springer Verlag, Berlin Heidelberg New York, 1979

    Google Scholar 

  160. M. Mall, M. Reimer: “The Database Generation Program RDBGEN”, Pascal/R-Memo 83–79, Arbeitsbereich Datenbanken und Informationssysteme, Fachbereich Informatik, Universität Hamburg, August 1979

    Google Scholar 

  161. O. Mayer: “Syntaxanalyse”, BI Taschenbuch, Bibliographisches Institut, Mannheim, 1978

    Google Scholar 

  162. J. Mylopoulos, P.A. Bernstein, H.K.T. Wong: “A Preliminary Specification of TAXIS: A Language for Designing Interactive Information Systems”, Techn. Rep. CCA 78–02, 1978, pp. 185–207

    Google Scholar 

  163. J. Mylopoulos, P.A. Bernstein, H.K.T. Wong: “A Language Facility for Designing Database-Intensive Applications”. ACM Transactions on Database Systems, vol.5, no.2, Juni 1980

    Google Scholar 

  164. J. McCarthy: “Towards a Mathematical Science of Computation”, in: Information Procession, C.M. Popplewell (Hrsg.), Proc. 2nd IFIP Congress, München, North Holland Publ., Amsterdam, 1963, pp. 21–28

    Google Scholar 

  165. A. Meier, R.A. Lorie: “A Surrogate Concept for Engineering Databases”, Proc. 9th Int. Conf. on VLDB, Florenz, 1983, pp. 30–32

    Google Scholar 

  166. C. Morris: “Foundati ons of the Theory of Signs”, in: Int. Encyclopedia of Unified Sciences, vol.1, no. 2, University of Chicago Press, Chicago, 1938

    Google Scholar 

  167. C. Morris: “Signs, Languages, and Behaviour”, G. Braziller, New York, 1955

    Google Scholar 

  168. P.D. Mosses: “Mathematical Semantics and Compiler Generation”, Ph.D. Thesis, Oxford Universität, Prgr. Res. Group, April 1974

    Google Scholar 

  169. P.D. Mosses: “Compiler Generation Using Denotational Semantics”, in: Mathem. Foundations of Computer Science, Lecture Notes in Computer Science, vol. 45, Springer Verlag, Heidelberg New York, 1976, pp. 436–441

    Google Scholar 

  170. P.D. Mosses: “A Constructive Approach to Compiler Correctness”, DAIMI IR-16, Computer Science Department, Aarhus University, 1979

    Google Scholar 

  171. M. Mall, M. Reimer, J.W. Schmidt: “Pascal und Relationen: Sprachintegration und Übersetzung”, in H. Langmaack, B. Schlender, J.W. Schmidt: “Implementierung Pascal-artiger Programmiersprachen”, Tagung II/1982 des German Chapter of the ACM, Teubner, Stuttgart, Juni 1982, pp. 139–154

    Google Scholar 

  172. M. Mall, M. Reimer, J.W. Schmidt: “Data Selection, Sharing, and Acess Control in a Relational Scenario”, in: M.L. Brodie, J. Mylopoulos, J.W. Schmidt (Hrsg.): “On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages”, Springer Verlag, Berlin Heidelberg New York, 1984, pp. 411–436

    Google Scholar 

  173. J. Mylopoulos: “An Overview of Knowledge Representation”, in: M.L. Brodie, S.N. Zilles (Hrsg.): “Proc. of the Workshop on Data Abstraction, Databases and Conceptual Modelling”, ACM SIGART Newsletter, no. 74, Jan. 1981, ACM SIGMOD RECORD; vol.12, no.2, Feb. 1981, ACM SIGPLAN NOTICES, vol.16, no.1, Jan. 1981, pp. 5–12

    Google Scholar 

  174. N. Naffah: “Communication Protocols for Integrated Office Systems”, Computer Networks, vol.5, no.6, Dez. 1981, pp.445–454

    Google Scholar 

  175. S.A. Naqvi, L.J. Henschen: “Synthesizing Least Fixpoint Queries into Non-recursive Iterative Programs”, Proc. 8th IJCAI, Karlsruhe, Aug. 1983, pp. 25–28.

    Google Scholar 

  176. P. Naur (Hrsg.): “Revised Report on the Algorithmic Language ALGOL 60”, Comm. ACM, vol. 15, no. 1, Jan. 1963, pp. 1–23

    Google Scholar 

  177. E.J. Neuhold, T. Olnhoff: “The Vienna Development Method (VDM) and its Use for the Specification of a Relational Data Base System”, in: T. Lavington (Hrsg.): Proc. IFIP 80 Congress, Tokyo/Melbourne, Okt. 1980, pp. 3–16

    Google Scholar 

  178. E.J. Neuhold, T. Olnhoff: “Building Data Base Management Systems Through Formal Specifications”, in: G. Goos, J. Hartmanis (Hrsg.): “Formalization of Programming Concepts”, Proc. Intern. Colloquium, Penniscola, Spain, Lecture Notes in Computer Science, vol. 107, Springer Verlag, Berlin Heidelberg New York, April 1981, pp. 169–209

    Google Scholar 

  179. G.M. Nijssen (Hrsg.): “Modelling in Data Base Management Systems”, Proc. IFIF-TC2 Work. Conf., Freudenstadt, North Holland Pub., Amsterdam, Jan. 1976

    Google Scholar 

  180. A. Ollonqren: “Definition of Programming Languages by Interpreting Automata”, Acad. Press, London New York San Francisco, 1974

    Google Scholar 

  181. A. Ollongren: “Multilevel Arrays as Datatypes”, Forschungsbericht Nr. 91, Abteilung Informatik, Universität Dortmund, 1979

    Google Scholar 

  182. A. Ollongren: “On the Implementation of Parts of Meta IV in LISP”, Techn. Report LITH-MAT-R-81–07, Universität Linkoping, 1981

    Google Scholar 

  183. T. Olnhoff: “Funktionale Semantikbeschreibung einer Anfragesprache in einem drei-schichtigen relationalen Datenbanksystem”, Dissertation, Universität Hamburg, 1981

    Google Scholar 

  184. S. Osborn: “Relational Databases with Partially Formatted Records”, Proc. 6th IEEE COMPSAC, Chicago, Computer Society Press, 1982, pp. 589–593

    Google Scholar 

  185. P. Pistor, B. Hansen, M. Hansen: “Eine sequel- artige Sprachschnittstelle für das NF2 Modell”, in J.W. Schmidt (Hrsg.): Proc. Fachgespräch “Sprachen für Datenbanken” der 13. GI Jahrestagung, Hamburg, Informatik Fachberichte, vol. 72, Springer Verlag, Berlin Heidelberg New York, Okt. 1983, pp. 134–147

    Google Scholar 

  186. S. Prehn, I,O. Hansen, S.U. Palm, P. Gøbel: “Formal Methods Appraisal”, Final Report no. DDC-86, ESPRIT Preparatory Study, Subprogramm Dansk Datamatik Center, Lyngby, Dänemark, Juni 1983

    Google Scholar 

  187. Pirotte : “A Precise Definition of Basic Relational Notions and of the Relational Algebra”, ACM SIGMOD RECORD, vol.13, no.1, September 1982

    Google Scholar 

  188. M. Reimer: “Implementation of the Database Programming Language Modula/R on the Personal Computer Lilith”, Software Practice and Experience, vol.14, no.10, Oktober 1984

    Google Scholar 

  189. G. Richter: “IML - Inscribed Nets for Modelling Text Processing and Database Management Systems”, Proc. 7th Intern. Conf. on VLDB, Cannes, 1981, pp. 363–375

    Google Scholar 

  190. G. Richter: “Realitätsgetreues Modellieren und modellgetreues Realisieren von Bürogeschehen”, in: ‘Informationstechnik und Bürosysteme’, P. Wißkirchen, T. Kreifels, F. Krückeberg, G. Richter, G. Wurch (Hrsg.), Teubner Verlag, Stuttgart, 1983, pp. 145–254

    Google Scholar 

  191. N. Roussopoulos, J. Mylopoulos: “Using Semantic Networks for Database Mangement”, Proc. 1st Int. Conf. on VLDB, New York, Sept. 1975, pp. 144–172

    Google Scholar 

  192. L. Rowe, K. Shoens: “Data Abstraction, Views, and Updates in RIGEL”, Proc. ACM SIGMOD Conf. on Management of Data, Boston, Mass., 1979

    Google Scholar 

  193. INGRES Reference Manual, Version 1.4”, Relational Technologies Inc., Berkeley, CA, 1983 Computer Society Press, 1982, pp.571–580

    Google Scholar 

  194. S. Ronzani, F. Titsano, R. Zicari: “An Office Specification Language Based on Path Expressions”, Techn. Rep. 84–22, Dipt. di Elettronica, Politecnico di Milano, 1984

    Google Scholar 

  195. L. Saunus: “Realisierung einer SEQUEL Sprachschnittstelle für Pascal/R”, Studienarbeit, Fachbereich Informatik, Universität Hamburg, Juni 1983

    Google Scholar 

  196. L. Saunus: “Erzeugung von Compilern für Datenbanksprachen”, Diplomarbeit, Fachbereich Informatik, Universität Hamburg, 1984

    Google Scholar 

  197. J.W. Schmidt, M.L. Brodie (Hrsg.): “Relational Database Systems: Analysis and Comparison”, Springer Verlag, Berlin Heidelberg New York, 1983

    MATH  Google Scholar 

  198. H.-J. Schek: “Methods for the Administration of Textual Data in Database Systems”, Information Retrieval Research, Butterworth, 1982, pp. 218–235

    Google Scholar 

  199. J.W. Schmidt: “Some High Level Language Constructs for Data of Type Relation”, ACM TODS, vol. 2, no. 3, Sept. 1977, pp. 247–261

    Article  Google Scholar 

  200. J.W. Schmidt: “Programming Languages and Database Models: On the Integration of Concepts, Constructs, and Notations”, in: Proc. of the Joint Intern. Seminar on the Teaching on Computer Science: Data Base Systems, Newcastle U.K., Sept., 1979

    Google Scholar 

  201. J.W. Schmidt (Hrsg.): Proc. Fachgespräch “Sprachen für Datenbanken” der 13. GI Jahrestagung, Hamburg, Informatik Fachberichte, vol. 72, Springer Verlag, Berlin Heidelberg New York, Okt. 1983

    Google Scholar 

  202. J.W. Schmidt: “Database Programming: Language Constructs and Execution Models”, in: U. Amman (Hrsg.): Proc. 8th GI Fachtagung on “Programming Languages and Program Development”, ETH Zürich, Schweiz, Informatik Fachberichte vol. 77, Springer Verlag, Berlin Heidelberg New York Tokio, 1984, pp. 1–25

    Google Scholar 

  203. J.W. Schmidt, W. Lamersdorf: “Relational Data Model: A Definition and its Formalization”, Bericht Nr. 88, Fachbereich Informatik, Universität Hamburg, März 1982 - veröffentlicht in M.L. Brodie, J.W. Schmidt (Hrsg.): “Final Report of the Relational Database Task Group”, ANSI/X3/SPARC/DBSSG, ACM SIGMOD RECORD, vol.12, no.4, Juli 1982

    Google Scholar 

  204. J.W. Schmidt, M. Mall: “Pascal/R - Report”, Bericht Nr. 66, Fachbereich Informatik, Universität Hamburg, Jan. 1980

    Google Scholar 

  205. D. Scott, C. Strachey: “Towards a Mathematical Semantic for Computer Languages”, in: Proc. Symposium on Computer and Automata, J. Fox (Hrsg.), Microwave Research Institute Symposia, vol. 21, Brooklyn Press, New York, 1971, pp. 19–46

    Google Scholar 

  206. H.-J. Schek, P. Pistor: “Data Structures for an Integrated Data Base Management and Information Retrieval System”, 8th Intern. Conf. on VLDB, Mexico City, Sept. 1982, pp. 197–207

    Google Scholar 

  207. H.-J. Schek, M. Scholl: “Die NF2 Algebra zur einheitlichen Manipulierung externer, konzeptueller und interner Datenstrukturen”, in: J.W. Schmidt (Hrsg.): Proc. Fachgespräch “Sprachen für Datenbanken” der 13. GI Jahrestagung, Hamburg, Informatik Fachberichte, vol. 72, Springer Verlag, Berlin Heidelberg New York, Okt. 1983, pp. 123–133

    Google Scholar 

  208. M.E. Senko: “Information Systems: Records, Relations, Sets, Entities, and Things”, Information Systems, vol. 1, 1975, pp. 3–13

    Article  MATH  Google Scholar 

  209. M. Shaw: “The Impact of Modelling and Abstraction Concerns on Modern Programming Languages”, in: M.L. Brodie, J. Mylopoulos, J.W. Schmidt (Hrsg.): “On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages”, Springer Verlag, Berlin Heidelberg New York, 1984, pp. 49–83

    Google Scholar 

  210. D.W. Shipman: “The Functional Data Model and the Data Language DAPLEX”, ACM TODS, vol.2, no.3, März 1981, pp.140–173

    Article  MathSciNet  Google Scholar 

  211. A. Silberschatz, Z. Keden: “Consistency in Hierarchical Database Systems”, unpublished Memorandum, University of Texas, Dallas, 1978

    Google Scholar 

  212. N.C. Shu, V.Y. Lum, F.C. Tung, C.L. Chang: “Specification of Forms Processing and Business Procedures for Office Automation”, IEEE Transactions on Software Eng., vol.8, no.5, 1982

    Google Scholar 

  213. J.M. Smith, D.C.P. Smith: “Database Abstractions: Generalization”, ACM TODS, vol.2, no.2, Juni 1977

    Google Scholar 

  214. J.M. Smith, D.C.P. Smith: “A Database Approach to Software Specification”, in: W.E. Riddle, R.E. Fairley (Hrsg.): ‘Software Development Tools’, Springer Verlag, New York, 1980

    Google Scholar 

  215. J.W. Schmidt, M. Reimer, M. Mall, J. Koch: “Report on the Database Programming Language (Draft Version)”, Fachbereich Informatik, Universität Hamburg, 1983

    Google Scholar 

  216. M. Stonebraker: “The Design and Implementation of Ingres”, ACM TODS; vol.1, no. 2, 1976 1975, pp. 65–77

    Google Scholar 

  217. J.E. Stoy: “Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory”, MIT Press, Cambridge (Mass. ), 1977

    Google Scholar 

  218. M. Stonebraker, L.A. Rowe: “Database Portals: A New Application Program Interface”, Proc. 10th Intern. Conf. on VLDB, Singapore, Aug. 1984, pp. 3–13

    Google Scholar 

  219. M. Schrefl, A.M. Tjoa, R.R. Wagner: “Comparison-Criteria for Semantic Data Models”, Proc. 1st Computer Data Engineering Conf. (COMPDEC), IEEE Computer Society, Los Angeles, April 1984, pp. 120–125

    Google Scholar 

  220. R.W. Taylor, R.L. Frank: “CODASYL Database Management System”, ACM Comp. Surveys, vol.8, no.1, März 1976

    Google Scholar 

  221. A.S. Tanenbaum: “Computer Networks”, Englewood Cliffs, New Jersey, 1981

    Google Scholar 

  222. D.B. , S. Andler: “The COSIE Communication Subsystem: Support for Distributed Office Applications”, ACM Transactions on Office Information Systems, vol.2, no.2, Juli 1984, pp.79–95

    Article  Google Scholar 

  223. R.D. Tennent: “The Denotational Semantics of Programming Languages”, Comm. ACM, vol. 19, no. 8, Aug. 1976, pp. 437–453

    Article  MathSciNet  MATH  Google Scholar 

  224. Tsichritzis: “Form Management”, Comm. ACM, vol.25, no.7, Juli 1982, pp.453–478

    Google Scholar 

  225. D.C. Tsichritzis, A. Klug: “The ANSI/X3/SPARC DBMS Framework”, Information Systems, vol.3, no.4, 1978

    Google Scholar 

  226. D.C. Tsichritzis, F.H. Lochovsky: “Hierarchical Database Management: A Survey”, ACM Computing Surveys, vol.8, no.1, März 1976, pp.67–103

    Google Scholar 

  227. D.C. Tsichritzis, F.H. Lochovsky: “Data Models”, Prentice Hall, Englewood Cliffs, New York, 1982

    Google Scholar 

  228. J.D. Ullman: “Principles of Database Systems”, 2nd Edition, Computer Science Press, Rockville, Maryland, 1982

    MATH  Google Scholar 

  229. P. Ursprung, C.A. Zehnder: “HIQUEL: An Interactive Query Lnguage to Define and Use Hierarchies”, Proc. 3rd Intern. Conf. on Entity-Relationship Approach, Anaheim, CA, Okt. 1983

    Google Scholar 

  230. J.J. van Griethuysen (Hrsg.): “Concepts and Terminology for the Conceptual Schema and the Information Base”, ISO/TC97/SC5/WG3 Doc. no. N 695, American National Standards Institute, New York, 1982

    Google Scholar 

  231. P. Ward, G. v. Bochmann: “Compiler Writing Systems for Attribute Grammars”, Publ. no. 199, Département d’Informatique et de Recherche Operationélle, Université de Montréal, P.Q., Kanada, Juli 1975 - deutsche Übersetzung von S. Bürger, Universität Hannover, Mai 1981

    Google Scholar 

  232. A.I. Wasserman: “The Design of PLAIN - Support for Systematic Programming”, Proc. NCC 1980, AFIPS Press, vol. 49, 1980, pp. 731–740

    Article  Google Scholar 

  233. P. Wegner: “The Vienna Definition Language”, ACM Computing Surveys, vol.4, no.1, März 1972

    Google Scholar 

  234. C.F. von Weizsäcker: “Wie wird und soll die Rolle der Wissenschaft in den siebziger Jahren aussehen?”, in: ‘Die Einheit der Natur’, C. Hanser Verlag, München, 5. Auflage, 1979, pp.21–38

    Google Scholar 

  235. D. Weiler, F. Palermo: “Database Requirements for Graphics”, Proc. C0MPC0N 79, 18th IEEE Comp. Society Int. Conf., Feb. 1979, pp. 231–234

    Google Scholar 

  236. N. Wirth: “Programming in Modula-2”, Springer Verlag, Berlin Heidelberg New York Tokio, 1982

    MATH  Google Scholar 

  237. H.K.T. Wong, J. Mylopoulos: “Two Views of Data Semantics: Data Models in Artificial Intelligence and Database Management”, INFOR, vol. 15, no. 3, 1977, pp. 344–383

    Google Scholar 

  238. R.T. Yeh (Hrsg.): “Current Trends in Programming Methodology”, vol. IV - ‘Data Structuring’, Prentice Hall, 1977

    Google Scholar 

  239. S.N. Zilles: “Types, AI gebras, and Modelling”, in: M.L. Brodie, J. Mylopoulos, J.W. Schmidt (Hrsg.): “On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages”, Springer Verlag, Berlin Heidelberg New York, 1984, pp. 441–450.

    Google Scholar 

  240. M. Zisman: “Representation, Specification, and Automation of Office Procedures”, PhD Thesis, Wharton School, University of Pennsylvania, 1977

    Google Scholar 

  241. M. Zloof: “Query-by-Example: Operations on the Transitive Closure”, IBM Research Report RC 5526, Yorktown Heights, NY, 1976

    Google Scholar 

  242. M. Zloof: “Query-by-Example: A Database Language”, IBM Systems Journal, vol. 16, no. 4, 1977, pp. 324–343

    Article  Google Scholar 

  243. M. Zloof: “QBE/OBE: A Language for Office and Business Automation”, IEEE Computer, vol. 14, no. 5, 1981, pp. 13–22

    Google Scholar 

  244. M. Zloof: “Office by Example: A Business Language that Unifies Data and Word Processing and Electronic Mail”, IBM Systems Journal, vol.21, no.3, 1982

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Wissenschaftliches Zentrum, IBM Deutschland GmbH, Tiergartenstr. 15, 6900, Heidelberg, Germany

    Winfried Lamersdorf

Authors
  1. Winfried Lamersdorf
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Lamersdorf, W. (1985). Literaturverzeichnis. In: Semantische Repräsentation komplexer Objektstrukturen. Informatik-Fachberichte, vol 100. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-70289-1_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-70289-1_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-15242-2

  • Online ISBN: 978-3-642-70289-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation