Abstract
Recent developments in reification of ER schemata include automatic generation of web-based database administration systems [1,2]. These systems enforce the schema cardinality constraints, but, beyond unsatisfiable schemata, this feature may create unreachable instances. We prove sound and complete characterisations of schemata whose instances satisfy suitable reachability properties; these theorems translate into linear algorithms that can be used to prevent the administrator from reifying schemata with unreachable instances.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Ceri, S., Fraternali, P., Bongio, A.: Web Modeling Language (WebML): a modeling language for designing web sites. In: Proc. Ninth World Wide Web Conference (2000)
Vigna, S.: Multirelational semantics for extended entity-relationship schemata with applications. In: Spaccapietra, S., March, S.T., Kambayashi, Y. (eds.) ER 2002. LNCS, vol. 2503, pp. 35–49. Springer, Heidelberg (2002)
Chen, P.P.S.: The entity-relationship model: Toward a unified view of data. ACM Transactions on Database Systems 1, 9–36 (1976)
Thalheim, B.: Entity-Relationship Modeling. Springer, Heidelberg (2000)
Lenzerini, M., Nobili, P.: On the satisfiability of dependency constraints in entityrelationship schemata. Information Systems 15, 453–461 (1990)
Calvanese, D., Lenzerini, M.: On the interaction between ISA and cardinality constraints. In: Elmagarmid, A.K., Neuhold, E. (eds.) Proceedings of the 10th International Conference on Data Engineering, Houston, TX, pp. 204–213. IEEE Computer Society Press, Los Alamitos (1994)
Gogolla, M., Hohenstein, U.: Towards a semantic view of an extended entityrelationship model. ACM Transactions on Database Systems (TODS) 16, 369–416 (1991)
Bénabou, J.: Introduction to bicategories. In: Reports of the Midwest Category Seminar. Lecture Notes in Mathematics, vol. 47, pp. 1–77. Springer, Heidelberg (1967)
Bruni, R., Gadducci, F.: Some algebraic laws for spans (and their connections with multirelations). In: Kahl, W., Parnas, D., Schmidt, G. (eds.) Relational Methods in Software. Electronic Notes in Theoretical Computer Science, vol. 44(3), p. 3. Elsevier, Amsterdam (2001)
Borceux, F.: Handbook of Categorical Algebra 1. Encyclopedia of Mathematics and Its Applications, vol. 50. Cambridge University Press, Cambridge (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Vigna, S. (2004). Reachability Problems in Entity-Relationship Schema Instances. In: Atzeni, P., Chu, W., Lu, H., Zhou, S., Ling, TW. (eds) Conceptual Modeling – ER 2004. ER 2004. Lecture Notes in Computer Science, vol 3288. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30464-7_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-30464-7_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23723-5
Online ISBN: 978-3-540-30464-7
eBook Packages: Springer Book Archive