Abstract
The concept of Generalized Quantifier (GQ) was introduced to query languages in [9] and, independently, in [10]. The present paper shows how GQs can be used in Conceptual Modeling, specifically how they can be incorporated into Entity-Relationship diagrams ([4]) to increase their expressive power. A language to express E-R models is defined and given formal semantics. It is them shown how GQs can be easily added to this framework. Several GQs that have natural, intuitive interpretations in the context of conceptual modeling are defined; their use is shown through examples.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Abiteboul, S., Hull, R. and Vianu, V., Foundations of Databases, Addison-Wesley, 1995
Atzeni, P., Batini, C., Lenzerini, M., Villanelli, F. INCOD: A system for conceptual design of data and transactions in the entity-relationship model, in Proceedings of the 2nd International Conference on Entity-Relationship Approach to Information Modeling and Analysis, 1981.
Badia, A. Extending Description Logics with Generalized Quantification, in Proceedings of the 11th International Symposium on Methodologies for Intelligent Systems, LNAI, number 1609, Ras and Skowron, editors, Springer-Verlag, 1999.
Chen, P. The Entity-Relationship Model-Towards a Unified View of Data, ACM Transactions on Database Systems, v. 1, n. 1, 1976.
Connolly, T., Begg, C. and Strachan, A. Database Systems, Addison-Wesley, 1999.
Dos Santos, C. S., Neuhold, E. J. and Furtado, A. L. A Data Type Approach to the Entity-Relationship Model, in Proceedings of the 1st International Conference on Entity-Relationship Approach to Software Engineering, 1980.
Eder, J., Kappel, G., Tjoa, A. and Wagner, R. BIER: The Behavior Integrated Entity Relationship Approach, in Proceedings of the 5th International Conference on Entity-Relationship Approach, 1986.
Gogolla, M. and Hohestein, U. Towards a Semantic View of en Extended Entity-Relationship Diagram, ACM Transactions on Database Systems, v. 16, n. 3, 1991.
Gyssens, M., Van Gucht, D. and Badia, A., Query Languages with Generalized Quantifiers, in Application of Logic Databases, Ramakrishnan, Ragu ed., Kluwer Academic Publishers, 1995
Hsu, P. Y. and Parker, D. S., Improving SQL with Generalized Quantifiers, in Proceedings of the Tenth International Conference on Data Engineering, 1995
Hull, R. and King, R. Semantic Database Modeling: Survey, Applications and Research Issues, ACM Computing Surveys, vol. 19, n. 19, 1987.
Lindstrom, P., First Order Predicate Logic with Generalized Quantifiers, Theoria, volume 32, 1966
Mostowski, A., On a Generalization of Quantifiers, Fundamenta Mathematica, volume 44, 1957
Rumbaugh, J., Jacobson, I. and Booch, G. The Unified Modeling Language Reference Manual, Addison-Wesley, 1999.
Sarathy, V. and Van Gucht, D. and Badia, A., Extended query graphs for declarative specification of set-oriented queries, in Workshop on Combining Declarative and Object-Oriented Databases (in conjunction with SIGMOD 93), Washington, D.C.
Van Benthem, J. Questions about Quantifiers, Journal of Symbolic Logic, v. 49, 1984.
Westerstahl, D., Quantifiers in Formal and Natural Languages, in Handbook of Philosophical Logic, Reidel Publishing Company, Gabbay, D. and Guenther, F., editors, vol. IV, 1989.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Badia, A. (2000). Extending Entity-Relationship Models with Higher-Order Operators. In: Raś, Z.W., Ohsuga, S. (eds) Foundations of Intelligent Systems. ISMIS 2000. Lecture Notes in Computer Science(), vol 1932. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-39963-1_34
Download citation
DOI: https://doi.org/10.1007/3-540-39963-1_34
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41094-2
Online ISBN: 978-3-540-39963-6
eBook Packages: Computer ScienceComputer Science (R0)