Formalization and reasoning about spatial semantic integrity constraints

Data and Knowledge Engineering

Volumn 72, Issue , 2012, Pages 63-82

  Bravo, Loreto ^a   Rodriguez, M Andrea ^a  

^a UNIVERSITY OF CONCEPCIÓN   (Chile)

Author keywords

Semantic integrity constraints; Spatial consistency; Spatial databases; Spatial integrity constraints

Indexed keywords

CLASSICAL PROBLEMS; DATA QUALITY; INCLUSION DEPENDENCIES; INTEGRITY CONSTRAINTS; NUMERICAL ATTRIBUTES; QUALITATIVE REASONING; REALIZABILITY; SATISFIABILITY; SATISFIABILITY PROBLEMS; SEMANTIC INTEGRITY; SPATIAL ATTRIBUTE; SPATIAL CONSISTENCY; SPATIAL CONSTRAINTS; SPATIAL DATABASE; SPATIAL SEMANTICS; TOPOLOGICAL CONSISTENCY; TOPOLOGICAL RELATIONS;

ARTIFICIAL INTELLIGENCE; FORMAL LOGIC; QUERY LANGUAGES; SEMANTICS; TOPOLOGY;

APPROXIMATION ALGORITHMS;

EID: 84855239752     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2011.09.006     Document Type: Article

References (36)

1. M. Baudinet, J. Chomicki, and P. Wolper Constraint-generating dependencies Journal of Computer and System Sciences 59 1 1999 94 115
2. P. Bohannon, W. Fan, F. Geerts, X. Jia, and A. Kementsietsidis Conditional Functional Dependencies for Data Cleaning ICDE 2007 IEEE 746 755 (Pubitemid 47422078)
3. K. Borges, A. Laender, and C. Davi Spatial integrity constraints in object oriented geographic data modeling ACM-GIS 1999 1 6
4. L. Bravo, W. Fan, F. Geerts, and S. Ma Increasing the expressivity of conditional functional dependencies without extra complexity ICDE 2008 516 525
5. L. Bravo, W. Fan, and S. Ma Extending dependencies with conditions VLDB 2007 ACM 243 254
6. L. Bravo, and M.A. Rodríguez Semantic integrity constraints for spatial databases AMW 2009
7. S. Cockcroft A taxonomy of spatial integrity constraints GeoInformatica 1 4 1997 327 343
8. F. Currim, and S. Ram Conceptually modeling windows and bounds for space and time in database constraints Communications of the ACM 55 11 2008 125 129
9. M. Duboisset, F. Pinet, M. Kang, and M. Schneider Precise modeling and verification of topological integrity constraints in spatial databases: from an expressive power study to code generation principles ER 2005 Springer LNCS 3716 465 482
10. M. Egenhofer, E. Clementine, and P. Di Felice Evaluating inconsistency among multiple representations Spatial Data Handling 1995 901 920
11. M. Egenhofer, and R. Franzosa Point set topological relations International Journal of Geographical Information Science 5 1991 161 174
12. M. Egenhofer, and J. Sharma Assessing the consistency of complete and incomplete topological information Geographical Systems 1 1993 47 68
13. M.J. Egenhofer Deriving the composition of binary topological relations Journal of Visual Languages and Computing 5 2 1994 133 149
14. R. Elmasri, and S.B. Navathe Fundamentals of Database Systems 2nd Edition 1994 Benjamin/Cummings
15. M. Grigni, D. Papadias, and C.H. Papadimitriou Topological inference IJCAI 1995 901 907
16. R. Güting An introduction to spatial database systems VLDB Journal 3 1994 357 399
17. R. Hartmut Güting GraphDB: modeling and querying graphs in databases VLDB 1994 297 308
18. T. Hadzilacos, and N. Tryfona A model for expressing topological integrity constraints in geographic databases Spatio-Temporal Reasoning 1992 Springer LNCS 639 252 268
19. B. Kuijpers, J. Paredaens, and J. Van den Bussche On topological elementary equivalence of spatial databases ICDT 1997 Springer LNCS 1186 432 446 (Pubitemid 127013770)
20. Y.-M. Kwon, E. Ferrari, and E. Bertino Modeling spatio-temporal constraints for multimedia objects Data and Knowledge Engineering 30 3 1999 217 238
21. S. Li On topological consistency and realization Constraints 11 1 2006 31 51
22. A.K. Mackworth Consistency in networks of relations Artificial Intelligence 8 1 1977 99 118
23. S. Mäs Reasoning on spatial semantic integrity constraints COSIT 2007 Springer LNCS 4736 285 302
24. S. Mas, and W. Reinhardt Categories of geospatial and temporal integrity constraints GEOWS 2009 146 151
25. R. Mohr, and T.C. Henderson Arc and path consistency revisited Artificial Intelligence 28 2 1986 225 233
26. OpenGis Opengis simple features specification for SQL Technical Report, Open GIS Consortium 1999
27. J. Paredaens, J. Van den Bussche, and D. Van Gucht Towards a theory of spatial database queries PODS 1994 ACM Press 279 288
28. A. Parker, G. Infantes, J. Grant, and V.S. Subrahmanian SPOT databases: efficient consistency checking and optimistic selection in probabilistic spatial databases IEEE Transactions on Knowledge and Data Engineering 21 1 2009 92 107
29. D. Randell, Z. Cui, and A. Cohn A spatial logic based on regions and connection KR 1992 Morgan Kaufmann 165 176
30. J. Renz Maximal tractable fragments of the region connection calculus: a complete analysis IJCAI 1999 448 455
31. J. Renz A canonical model of the region connection calculus Journal of Applied Non-Classical Logics 12 3-4 2002 469 494
32. J. Renz Qualitative Spatial Reasoning with Topological Information 2002 Springer LNCS 2293
33. M. Schaefer, and D. Stefankovic Decidability of string graphs Journal of Computer and System Sciences 68 2 2004 319 334
34. S. Servigne, T. Ubeda, A. Puricelli, and R. Laurini A methodology for spatial consistency improvement of geographic databases GeoInformatica 4 1 2000 7 34 (Pubitemid 30343655)
35. D. Thompson, and R. Laurini Fundamentals of Spatial Information Systems. Number 37 in APIC 1992 Academic Press
36. N. Tryfona, and M. Egenhofer Consistency among parts and aggregates: a computational model Transactions in GIS 1 1 1997 189 206 (Pubitemid 28000857)