Data and activities

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Data and activities: Exploiting hierarchies of classes

Full text

Pdf (294 KB)

Source

International Conference on Management of Data archive
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling table of contents

Pingree Park, Colorado, United States

Pages: 98 - 100

Year of Publication: 1980

ISBN:0-89791-031-1

Also published in ...

Authors

Alexander T. Borgida	Department of Computer Science, University of Toronto, Toronto, Ontario, Canada
Sol Greenspan	Department of Computer Science, University of Toronto, Toronto, Ontario, Canada

Sponsors

NBS : National Bureau of Standards
SIGART: ACM Special Interest Group on Artificial Intelligence
SIGMOD: ACM Special Interest Group on Management of Data
SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 19, Citation Count: 3

Additional Information:

abstract references cited by index terms collaborative colleagues peer to peer

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/800227.806886 What is a DOI?

ABSTRACT

We wish to briefly discuss recent work in conceptual modelling from a slightly different point of view in order to highlight the parallels between data and transactions, and then mention some benefits of this view. A time-honoured way of describing a system (portion of the world) is by positing a domain of objects and then inter-relating them through function and predicate symbols. The resulting description is a set of axioms in a FOPC. If the world is dynamic, one usually augments the description with the notion of time or state, in which case axioms can be divided naturally into “general laws” (heretofore constraints) holding in all states, and state-specific “facts”. Given states, one then also has the ability to describe state transitions (events) as predicates on pairs of states or, as shown below, as objects in their own right.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	John Miles Smith , Diane C. P. Smith, Database abstractions: aggregation and generalization, ACM Transactions on Database Systems (TODS), v.2 n.2, p.105-133, June 1977 [doi>10.1145/320544.320546]
	2	John Mylopoulos , Philip A. Bernstein , Harry K. T. Wong, A language facility for designing database-intensive applications, ACM Transactions on Database Systems (TODS), v.5 n.2, p.185-207, June 1980 [doi>10.1145/320141.320150]
	3	Ross, D.T., "Structured Analysis - A Language for Communicating Ideas", IEEE Trans. Soft. Eng., SE-3,1 - 1977.
	4	Wong, H.K.T., Ph.D. dissertation, University of Toronto (forthcoming)
	5	Wulf, W.A., London, R.L. and Shaw, M., "An Introduction to the Construction and Verification of ALPHARD Programs", IEEE Trans. Soft. Eng. SE-2,4 - 1976.
	6	Greenspan, S., Ph.D. dissertation, University of Toronto (forthcoming)

CITED BY 3

	John Mylopoulos, A perspective for research on conceptual modelling, ACM SIGMOD Record, v.11 n.2, p.167-170, Feb 1981
	Antoni Olivé , Ruth Raventós, Modeling events as entities in object-oriented conceptual modeling languages, Data & Knowledge Engineering, v.58 n.3, p.243-262, September 2006
	Allan Shepherd , Larry Kerschberg, Prism: a knowledge based system for semantic integrity specification and enforcement in database systems, ACM SIGMOD Record, v.14 n.2, June 1984