article

Free access

Data abstraction, data bases and conceptual modelling (Position Paper)

Author:

J. W. ThatcherAuthors Info & Claims

ACM SIGMOD Record, Volume 11, Issue 2

Pages 196 - 197

https://doi.org/10.1145/960126.806921

Published: 23 June 1980 Publication History

PDF eReader

Abstract

There is no paper with a mathematical foundation that I know of that strikes more at the heart of the subject of this Workshop than that of R.M. Burstall and J.A. Goguen [10], presented at the Fifth International Joint Conference on Artificial Intelligence in August of 1977.

References

[1]

ADJ (JBW, JWT, EGW) "Rational algebraic theories and fixed-point solutions." Proceedings 17th IEEE Symposium on Theory of Computing, Houston, Texas (1976) 147-158.

Google Scholar

[2]

ADJ (EGW, JBW, JAG, JWT) "Some fundamentals of order-algebraic semantics," Springer Lecture Notes in Computer Science 45 (Mathematical Foundations of Computer Science) (1976), 153-168. IBM Research Report RC6020, May, 1976.

Google Scholar

[3]

ADJ (JWT, EGW, JBW) "Specification of abstract data types using conditional axioms," IBM Research Report RC 6214, September 1976.

Google Scholar

[4]

ADJ (JAG, JWT, EGW) "An initial algebra approach to the specification, correctness, and implementation of abstract data types," Current Trends in Programming Methodology, IV Data Structuring (R.T. Yeh, Ed.) Prentice Hall, New Jersey (1978) 80-149.

Google Scholar

[5]

ADJ (EGW, JWT, JBW) "Programming languages as mathematical objects," Proceedings, 7th Symposium on Mathematical Foundations of Computer Science, Springer Verlag Lecture Notes in Computer Science, v.64 (1978) 84-101.

Crossref

Google Scholar

[6]

ADJ (JWT, EGW, JBW) "Data type specification: parameterization and the power of specification techniques," Proceedings, SIGACT 10th Annual Symposium on Theory of Computing. IBM Research Report RC 7757, July 1979. Submitted: ACM Transactions on Programming Languages and Systems.

Google Scholar

[7]

ADJ (JWT, EGW, JBW) "Notes on algebraic fundamentals for theoretical computer science," Foundations of computer science III, Part 2: Languages, Logic and Semantics (J.W. deBakker and J van Leeuwen, Eds.), Mathematical Centre Tract 109, Amsterdam, 1979, pp. 84-164.

Google Scholar

[8]

ADJ (HE, H-JK, JWT, EGW, JBW) "Parameterized data types in algebraic specification languages," To appear, Proceedings ICALP '80, Noordwijkerhout, The Netherlands, July 1980.

Digital Library

Google Scholar

[9]

ADJ (HE, H-JK, JWT, EGW, JBW) "Parameter passing in algebraic specification languages," Draft report, Technische Universität Berlin, March 1980.

Google Scholar

[10]

Burstall, R.M. and Goguen, J. A. "Putting Theories together to make Specifications," Proceedings 1977 IJCAI, MIT, Cambridge, MA., August, 1977.

Google Scholar

[11]

Burstall, R.M. and Goguen, J.A. "The semantics of CLEAR, a specification language," Working Draft, Edinburgh University, January, 1980. To appear, Proceedings, 1979 Copenhagen Winter School on Abstract Software Specification.

Digital Library

Google Scholar

[12]

Guttag, J.V. "The specification and application to programming of abstract data types," Univ. of Toronto, Computer Systems Research Group, Technical Report CSRG-59, September, 1975.

Google Scholar

[13]

Elgot, C.C. "Monadic computation and iterative algebraic theories," IBM Research Report RC 4564, October, 1973. Proceedings, Logic Colloquium 1973, North Holland (1975) 175-230.

Google Scholar

[14]

Zilles, S.N. "An introduction to data algebras," working draft paper, IBM Research, San Jose, September, 1975.

Google Scholar

Cited By

View all

Kogalovsky M(2012)Ontology-based data access systemsProgramming and Computing Software10.1134/S036176881204003238:4(167-182)Online publication date: 1-Jul-2012
https://dl.acm.org/doi/10.1134/S0361768812040032
Bubenko J(2007)From Information Algebra to Enterprise Modelling and Ontologies — a Historical Perspective on Modelling for Information SystemsConceptual Modelling in Information Systems Engineering10.1007/978-3-540-72677-7_1(1-18)Online publication date: 2007
https://doi.org/10.1007/978-3-540-72677-7_1
Frank A(2005)Multiple inheritance and genericity for the integration of a database management system in an object-oriented approachAdvances in Object-Oriented Database Systems10.1007/3-540-50345-5_23(268-273)Online publication date: 31-May-2005
https://doi.org/10.1007/3-540-50345-5_23
Show More Cited By

Index Terms

Data abstraction, data bases and conceptual modelling (Position Paper)
1. Software and its engineering
  1. Software notations and tools
    1. Formal language definitions
      1. Semantics
    2. General programming languages
      1. Language features
        Abstract data types
      2. Language types
2. Theory of computation
  1. Semantics and reasoning
    1. Program semantics

Recommendations

Data abstraction, data bases and conceptual modelling (Position Paper)
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling

There is no paper with a mathematical foundation that I know of that strikes more at the heart of the subject of this Workshop than that of R.M. Burstall and J.A. Goguen [10], presented at the Fifth International Joint Conference on Artificial ...
Weakly-Supervised Learning from Incomplete Data
Data abstraction, data bases and conceptual modelling (Position Paper)
Proceedings of the workshop on Data abstraction, databases and conceptual modelling

There is no paper with a mathematical foundation that I know of that strikes more at the heart of the subject of this Workshop than that of R.M. Burstall and J.A. Goguen [10], presented at the Fifth International Joint Conference on Artificial ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGMOD Record Volume 11, Issue 2

Proceedings of the workshop on Data abstraction, databases and conceptual modelling

Feb 1981

205 pages

ISSN:0163-5808

DOI:10.1145/960126

Issue’s Table of Contents

Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
June 1980
221 pages
ISBN:0897910311
DOI:10.1145/800227
Chairmen:
Stephen N. Zilles,
Michael L. Brodie

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 June 1980

Published in SIGMOD Volume 11, Issue 2

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

15
Total Citations
View Citations
340
Total Downloads

Downloads (Last 12 months)60
Downloads (Last 6 weeks)7

Reflects downloads up to 09 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Kogalovsky M(2012)Ontology-based data access systemsProgramming and Computing Software10.1134/S036176881204003238:4(167-182)Online publication date: 1-Jul-2012
https://dl.acm.org/doi/10.1134/S0361768812040032
Bubenko J(2007)From Information Algebra to Enterprise Modelling and Ontologies — a Historical Perspective on Modelling for Information SystemsConceptual Modelling in Information Systems Engineering10.1007/978-3-540-72677-7_1(1-18)Online publication date: 2007
https://doi.org/10.1007/978-3-540-72677-7_1
Frank A(2005)Multiple inheritance and genericity for the integration of a database management system in an object-oriented approachAdvances in Object-Oriented Database Systems10.1007/3-540-50345-5_23(268-273)Online publication date: 31-May-2005
https://doi.org/10.1007/3-540-50345-5_23
Traunmuller R(2005)Information systems design methodologies and their compliance with cognitive ergonomyReadings on Cognitive Ergonomics — Mind and Computers10.1007/3-540-13394-1_4(44-61)Online publication date: 31-May-2005
https://doi.org/10.1007/3-540-13394-1_4
Albano ACardelli LOrsini R(1985)GALILEO: a strongly-typed, interactive conceptual languageACM Transactions on Database Systems10.1145/3857.385910:2(230-260)Online publication date: 1-Jun-1985
https://dl.acm.org/doi/10.1145/3857.3859
Copeland GMaier D(1984)Making smalltalk a database systemACM SIGMOD Record10.1145/971697.60230014:2(316-325)Online publication date: 1-Jun-1984
https://dl.acm.org/doi/10.1145/971697.602300
Copeland GMaier DSmith DYormark B(1984)Making smalltalk a database systemProceedings of the 1984 ACM SIGMOD international conference on Management of data10.1145/602259.602300(316-325)Online publication date: 18-Jun-1984
https://dl.acm.org/doi/10.1145/602259.602300
Albano A(1983)Type hierarchies and Semantic Data ModelsACM SIGPLAN Notices10.1145/872728.80686418:6(178-186)Online publication date: 1-Jun-1983
https://dl.acm.org/doi/10.1145/872728.806864
Loebner EGadol SMarks G(1981)Living taxonomies in the corporate worldProceedings of the Joint Conference on Easier and More Productive Use of Computer Systems. (Part - II): Human Interface and the User Interface - Volume 198110.1145/800276.810975(131-136)Online publication date: 21-May-1981
https://dl.acm.org/doi/10.1145/800276.810975
Loebner EGadol S(1981)Living taxonomies in the corporate worldACM SIGSOC Bulletin10.1145/1015579.81097513:2-3(131-136)Online publication date: 21-May-1981
https://dl.acm.org/doi/10.1145/1015579.810975
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations