Formal specification of geographic data processing requirements
- 1 January 1990
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Knowledge and Data Engineering
- Vol. 2 (4) , 370-380
- https://doi.org/10.1109/69.63249
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- Semantic data modelsACM Computing Surveys, 1988
- Fuzzy concepts in expert systemsComputer, 1988
- Fuzzy logicComputer, 1988
- An analysis of geometric modeling in database systemsACM Computing Surveys, 1987
- Formal semantics for time in databasesACM Transactions on Database Systems, 1983
- Manipulating Data Structures in Pictorial Information SystemsComputer, 1981
- Pictorial Data-Base SystemsComputer, 1981
- An Experimental Relational Data Base System Based on LogicPublished by Springer Nature ,1978
- Fuzzy Logic and the Resolution PrincipleJournal of the ACM, 1972
- Temporal LogicPublished by Springer Nature ,1971