This Article 
 Bibliographic References 
 Add to: 
Formal Specification of Geographic Data Processing Requirements
December 1990 (vol. 2 no. 4)
pp. 370-380

A formal foundation for the specification of geographic data processing (GDP) requirements is established. Emphasis is on modeling data and knowledge requirements rather than processing needs. A subset of first-order logic is proposed as the principal means for constructing formalizations of the GDP requirements in a manner that is independent of the data representation. Requirements executability is achieved by selecting a subset of logic, compatible with the inference mechanisms available in Prolog. Concepts with GDP significance such as time, space, and accuracy are added for the formalization without losing Prolog implementability or separation of concerns. Rules of reasoning about time, space, and accuracy can be compactly stated in a subset of second-order predicate calculus and can be easily modified to meet the particular needs of a specific application. The feasibility of the approach is established with the aid of a prototype implementation of the formalism in Prolog. The implementation also provides the means for the graphical rendering of logical information on a high-resolution color display.

[1] G. Nagy and S. Wagle, "Geographic data processing,"Comput. Surveys, vol. 11, no. 1, pp. 139-181, June 1979.
[2] A. L. Zobrist and G. Nagy, "Pictorial information processing of Landsat data for geographic analysis,"IEEE Comput. Mag., vol. 14, no. 11, pp. 34-41, Nov. 1981.
[3] J. Silver, "The GBF/DIME system: Development, design and use," U.S. Bureau of the Census, Washington, DC, 1977.
[4] D. Tsichritzis and F. Lochovsky,Data Models, Prentice Hall, Englewood Cliffs, N.J., 1982.
[5] S.-K. Chang and T. L. Kunii, "Pictorial data-base systems,"IEEE Comput. Mag., vol. 14, no. 11, pp. 13-21, Nov. 1981.
[6] M. Chock, A. F. Cardenas, and A. Klinger, "Manipulating data structures in pictorial information systems,"IEEE Comput. Mag., vol. 14, no. 11, pp. 43-50, Nov. 1981.
[7] A. Kemper and M. Wallrath, "An analysis of geometric modeling in database systems,"ACM Comput. Surveys, vol. 19, Mar. 1987.
[8] J. Peckham and F. Maryanski, "Semantic data models,"ACM Comput. Surveys. pp. 153-189, Sept. 1988.
[9] H. Gallaire, J. Minker, and J. Nicolas, "Logic and databases: A deductive approach,"ACM Comput. Surveys, vol. 16, pp. 153-185,1984.
[10] L. A. Zadeh, "Fuzzy logic,"IEEE Comput. Mag., vol. 21, no. 4, pp. 83-93, Apr. 1988.
[11] K. S. Leung and W. Lam, "Fuzzy concepts in expert systems,"IEEE Comput. Mag., vol. 21, no. 9, pp. 43-56, Sept. 1988.
[12] J. Minker, "An experimental relational data base system based on logic," inLogic and Data Bases, H. Gallaire and J. Minker, Eds. New York: Plenum, 1978, pp. 107-147.
[13] N. Rescher and A. Urquhart,Temporal Logic. New York: Springer-Verlag, 1971.
[14] J. Clifford and D. S. Warren, "Formal semantics for time in databases,"ACM Trans. Database Syst., vol. 6. no. 2, pp. 214-254, 1983.
[15] R. C. T. Lee, "Fuzzy logic and the resolution principle,"J. ACM, vol. 19, no. 1, pp. 109-119, Jan. 1972.

Index Terms:
geographic data processing requirements; formal foundation; modeling data; knowledge requirements; first-order logic; GDP requirements; inference mechanisms; Prolog; GDP significance; time; space; accuracy; second-order predicate calculus; prototype implementation; graphical rendering; logical information; high-resolution color display; formal logic; formal specification; geographic information systems; inference mechanisms; logic programming; PROLOG
G.-C. Roman, "Formal Specification of Geographic Data Processing Requirements," IEEE Transactions on Knowledge and Data Engineering, vol. 2, no. 4, pp. 370-380, Dec. 1990, doi:10.1109/69.63249
Usage of this product signifies your acceptance of the Terms of Use.