Consistency checking for Euclidean spatial constraints: A dimension graph approach

Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

Volumn 2000-January, Issue , 2000, Pages 333-342

  Liu, Xuan ^a   Shekhar, S ^b   Chawla, S ^c  

^a IBM T J WATSON RESEARCH CENTER   (United States)

^b University of Minnesota   (United States)

^c Vignette Corporation   (United States)

Author keywords

Astronomy; Computer science; Contracts; Decision support systems; Fluid flow; Geography; Laboratories; Relational databases; Spatial databases; Urban planning

Indexed keywords

ARTIFICIAL INTELLIGENCE; ASTRONOMY; COMPUTER SCIENCE; CONTRACTS; FLOW OF FLUIDS; LABORATORIES; QUERY LANGUAGES; URBAN PLANNING;

CONSISTENCY CHECKING; GEOGRAPHY; GRAPH REPRESENTATION; RELATIONAL DATABASE; SPATIAL CONSTRAINTS; SPATIAL DATABASE; SPATIAL PREDICATES; TWO DIMENSIONAL SPACES;

DECISION SUPPORT SYSTEMS;

EID: 84949640394     PISSN: 10823409     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TAI.2000.889891     Document Type: Conference Paper

References (16)

1. J. Allen. Maintaining Knowledge about Temporal Intervals. Communications of the ACM, 26(11):832-843, 1983.
2. Domenico Beneventano and etc. Consistency Checking in Complex Object Database Schemata with Integrity. IEEE Trans. on Knowledge and Data Eng., 10(4), July/August 1998.
3. E.A. Boiten, J. Derrick, H. Bowman, and M.W.A. Steen. Constructive Consistency Checking for Partial Specification in Z. In Science of Computer Programming, number 1, pages 29-75, September 1999.
4. H. Bowman, E.A.Boiten, J. Derrick, and M.Steen. Strategies for Consistency Checking Based on Unification. In Science of Computer Programming, pages 261-298, April 1999.
5. T. Cormen, C. Leiserson, and R. Rivest. Introduction to Algorithms. The MIT press, McGraw-Hill Publishing Company, 1994.
6. C. Freksa. Temporal Reasoning Based on Semi-Intervals. Artificial Intelligence, 54:199-227, 1992.
7. R.H. Güting. An Introduction to Spatial Database Systems. VLDB Journal, Special issue on Spatial Database Systems, 3(4):357-399, 1994.
8. Daniel Hernandex. Maintaining Qualitative Spatial Knowledge. Proc. of the European Conference on Spatial Information Theory, Elba, Italy, pages 19-22, Sept. 1993.
9. W. Kim, J. Garza, and A. Kesin. Spatial Data Management in Database Systems. In Advances in Spatial Databases, 3rd International Symposium, SSD'93 Proceedings, Lecture notes in Computer Science, Vol. 692, Springer, ISBN 3-540-56869-7, pages 1-13, Singapore, 1993.
10. V. Kumar. Algorithms for constraint satisfication problems: A Survey. AI Magazine, 13(1):32-44, 1992.
11. X. Liu, S. Shekhar, and S. Chawla. Consistency Checking for Euclidean Spatial Constraints: A Dimension Graph Approach.Tech. Report TR00-039, University of Minnesota, Minneapolis, MN.
12. S. Manandhar. Deterministic consistency checking of LP constraints. In Proceesings of the 7th Conference of the European Chapter of the Association for Computional Linguistics, pages 165-172, Dublin, Ireland, March 1995.
13. P. Meseguer. Constraint satisfication problems: An overview. AI Communications, 2(1):3-17, 1989.
14. S. Russell and P. Norvig. Artificial Intelligence: A Modern Approach. Prentice Hall, Inc., 1995.
15. S. Shekhar, S. Ravada A.Fetterer, X.Liu, and C.T. Lu. Spatial Databases: Accomplishments and Research Needs. IEEE Trans. Knowledge and Data Eng., 11(1):45-55, 1999.
16. S. shekhar, X. Liu, and S. Chawla. Equivalence Classes of Direction Objects and Applications. Tech. Report TR99-027, University of Minnesota, Minneapolis, MN 55455.