Formal Specification of Geographic Data Processing Requirements.
Gruia-Catalin Roman:
Formal Specification of Geographic Data Processing Requirements.
IEEE Trans. Knowl. Data Eng. 2(4): 370-380(1990)@article{DBLP:journals/tkde/Roman90,
author = {Gruia-Catalin Roman},
title = {Formal Specification of Geographic Data Processing Requirements},
journal = {IEEE Trans. Knowl. Data Eng.},
volume = {2},
number = {4},
year = {1990},
pages = {370-380},
ee = {db/journals/tkde/Roman90.html},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Abstract
Copyright © 1990 by The Institute of
Electrical and Electronic Engineers, Inc. (IEEE).
Abstract used with permission.
CDROM Version: Load the CDROM "Volume 3 Issue 2, TODS 1991-1995, TKDE 1989-1992" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 2" and ...
References
- [1]
- George Nagy, Sharad Wagle:
Geographic Data Processing.
ACM Comput. Surv. 11(2): 139-181(1979)

- [2]
- Albert L. Zobrist, George Nagy:
Pictorial Information Processing of Landsat Data for Geographic Analysis.
IEEE Computer 14(11): 34-41(1981)

- [3]
- ...
- [4]
- ...
- [5]
- Shi-Kuo Chang, Tosiyasu L. Kunii:
Pictorial Data-Base Systems.
IEEE Computer 14(11): 13-21(1981)

- [6]
- Margaret Chock, Alfonso F. Cardenas, Allen Klinger:
Manipulating Data Structures in Pictorial Information Systems.
IEEE Computer 14(11): 43-50(1981)

- [7]
- Alfons Kemper, Mechtild Wallrath:
An Analysis of Geometric Modeling in Database Systems.
ACM Comput. Surv. 19(1): 47-91(1987)

- [8]
- Joan Peckham, Fred J. Maryanski:
Semantic Data Models.
ACM Comput. Surv. 20(3): 153-189(1988)

- [9]
- Hervé Gallaire, Jack Minker, Jean-Marie Nicolas:
Logic and Databases: A Deductive Approach.
ACM Comput. Surv. 16(2): 153-185(1984)

- [10]
- Lotfi A. Zadeh:
Fuzzy Logic.
IEEE Computer 21(4): 83-93(1988)

- [11]
- Kwong-Sak Leung, W. Lam:
Fuzzy Concepts in Expert Systems.
IEEE Computer 21(9): 43-56(1988)

- [12]
- Jack Minker:
An Experimental Relational Data Base System Based on Logic.
Logic and Data Bases 1977: 107-147

- [13]
- ...
- [14]
- James Clifford, David Scott Warren:
Formal Semantics for Time in Databases.
ACM Trans. Database Syst. 8(2): 214-254(1983)

- [15]
- Richard C. T. Lee:
Fuzzy Logic and the Resolution Principle.
J. ACM 19(1): 109-119(1972)

Copyright © Thu Dec 24 17:19:00 2009
by Michael Ley (ley@uni-trier.de)