@inproceedings{4fbf20cd0cc848f1b603c37eef1db4ba,
title = "Consistency checking for Euclidean spatial constraints: A dimension graph approach",
abstract = "In this paper, we address the problem of consistency checking for Euclidean spatial constraints. A dimension graph representation is proposed to maintain the Euclidean spatial constraints among objects. The basic idea is to project the spatial constraints on both X and Y dimensions, and to construct a dimension graph on each dimension. Using a dimension graph representation transforms the problem of consistency checking into the problem of graph cycle detection. Consistency checking can be achieved with O(N+E) time as well as space complexity, where N is the number of spatial objects, and E is the number of spatial predicates in the constraint. The proposed approach is faster than O(N2) when the number of predicates is much smaller than N2 and there are few disjunctions in the spatial constraint. The dimension graph and consistency checking algorithm can be used for points, intervals and polygons in two-dimensional space. The algorithm can also guarantee global consistency.",
keywords = "Astronomy, Computer science, Contracts, Decision support systems, Fluid flow, Geography, Laboratories, Relational databases, Spatial databases, Urban planning",
author = "Xuan Liu and S. Shekhar and S. Chawla",
note = "Publisher Copyright: {\textcopyright} 2000 IEEE.; 12th IEEE Internationals Conference on Tools with Artificial Intelligence, ICTAI 2000 ; Conference date: 13-11-2000 Through 15-11-2000",
year = "2000",
doi = "10.1109/TAI.2000.889891",
language = "English",
series = "Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI",
publisher = "IEEE Computer Society",
pages = "333--342",
booktitle = "Proceedings - 12th IEEE Internationals Conference on Tools with Artificial Intelligence, ICTAI 2000",
address = "United States",
}