Abstract
This paper develops a method to determine consistenly the integration of spatial integrity specifications, particularly for the case when two constraints, c1 and c2, are applied between three classes A, B, C (i.e., A c1 B and B c2 C), as such scenarios give rise to an implied consistency constraint c3 that holds between A and C. To determine c3, the mere composition reasoning with c1 and c2 is often insufficient, as it lacks consideration of the interferes that come through c1’s and c2’s complements. Two augmentation methods are introduced, one with a constraint’s complement to yield the specified constraint between all pairs of members of A and C, the other as the least upper bound of c1 and c2 with the constraints’ poset of possible transitions between constraints.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Belussi, A., Negri, M., Pelagatti, G.: An ISO TC 211 Conformant Approach to Model Spatial Integrity Constraints in the Conceptual Design of Geographical Databases. In: Roddick, J., et al. (eds.) ER Workshops 2006. LNCS, vol. 4231, pp. 100–109. Springer, Heidelberg (2006)
Borges, K., Laender, A., Davis, C.: Spatial Data Integrity Constraints in Object Oriented Geographic Data Modeling. In: Bauzer Medeiros, C. (ed.) 7th International Symposium on Advances in Geographic Information Systems, pp. 1–6. ACM, New York (1999)
Donnelly, M., Bittner, T.: Spatial Relations Between Classes of Individuals. In: Cohn, A.G., Mark, D.M. (eds.) COSIT 2005. LNCS, vol. 3693, pp. 182–199. Springer, Heidelberg (2005)
Egenhofer, M.: Deriving the Composition of Binary Topological Relations. Journal of Visual Languages and Computing 5(2), 133–149 (1994)
Egenhofer, M.: The Family of Conceptual Neighborhood Graphs for Region-Region Relations. In: Fabrikant, S.I., Reichenbacher, T., van Kreveld, M., Schlieder, C. (eds.) GIScience 2010. LNCS, vol. 6292, pp. 42–55. Springer, Heidelberg (2010)
Egenhofer, M., Franzosa, R.: Point-Set Topological Relations. International Journal of Geographical Information Systems 5(2), 161–174 (1991)
Mäs, S.: Reasoning on Spatial Semantic Integrity Constraints. In: Winter, S., Duckham, M., Kulik, L., Kuipers, B. (eds.) COSIT 2007. LNCS, vol. 4736, pp. 285–302. Springer, Heidelberg (2007)
Mäs, S.: Reasoning on Spatial Relations between Entity Classes. In: Cova, T.J., Miller, H.J., Beard, K., Frank, A.U., Goodchild, M.F. (eds.) GIScience 2008. LNCS, vol. 5266, pp. 234–248. Springer, Heidelberg (2008)
Pelagatti, G., Neri, M., Belussi, A., Migliorini, S.: From the Conceptual Design of Spatial Constraints to their Implementation in Real Systems. In: Agrawal, D., Aref, W., Lu, C.-T., Mokbel, M., Scheuermann, P., Shahabi, C. (eds.) 17th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, pp. 448–451. ACM, New York (2009)
Tryfona, N., Hadzilacos, T.: Logical Data Modeling of SpatioTemporal Applications: Definitions and a Model. In: Eaglestone, B., Desai, B., Shao, J. (eds.) International Database Engineering and Applications Symposium, pp. 14–23. IEEE Computer Society, Los Alamitos (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Egenhofer, M.J. (2011). Reasoning with Complements. In: De Troyer, O., Bauzer Medeiros, C., Billen, R., Hallot, P., Simitsis, A., Van Mingroot, H. (eds) Advances in Conceptual Modeling. Recent Developments and New Directions. ER 2011. Lecture Notes in Computer Science, vol 6999. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24574-9_33
Download citation
DOI: https://doi.org/10.1007/978-3-642-24574-9_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24573-2
Online ISBN: 978-3-642-24574-9
eBook Packages: Computer ScienceComputer Science (R0)