NAME INDEX Ackennann, w. 142, 156 Aho, A. V., 26, 30, 31, 36, 56,57 69, 101, 102, 104, 109, 112r 113, 334, 335, 339 Annstrong, W. W., 6, 26, 30, 31, 38, 69, 73, 99, 103, 113 Arora, A., 6, 18, 106, 113 394 413 Artaud, A., 368, 371, Aschbrenner, M., Astrahan, M. M., Atkinson, R., 21, 237, 239, 257, 258 183 Barnes, J. J., 181 Beeri, C., 4, 5, 18, 35-37, 49, 53, 54, 69,70,73, 77,99, 101-104, 107,109,112, 113, 118, 130, 318, 334,335, 339 Bernstein, P. A., 4, 18,26,30.69, 70,73,74,81,84,99-102,105, 113,120,130,318,339 Bishop, C., 142, 156, 163 Biskup, J.,14,26, 31, 32, 70, 299 Blasgen, M. W., 265 Bochvar, D. A. 343 Bole, L., Boyce, R. F., Brzozowski, J. A., 189, 364 4, 237, 258 258 de Carvalho, R. L., 160, 181 Carlson, C., 6, 18, 107, 113 Chamberlin, D. D., 21, 258 Chang, C. L., 7,11,12,19,196,199, 200,230,235,237,241,242,247, 249,252,257,258,265,277,290, 291,294,296,297,306,322,336, 339,368,394,400,413 415 Chandra, A. K., 56,57,70 Clark, K. L., 160,173,181 codd, E. F., 4,14,19,26,28,30,56, 70,73,77,80,99,101-103,110, 114,235,236,255,258,260,265, 299,300,316,319-321,338-340, 367,368,371,372,392,394,399, 413,419 Colmerauer, A., 15,181,343,346, 361,364,393,394 Colombetti, M., 10,19,160,181 Courcelle, B., 163,181 Date, C. J., 4,10,19,27,70,138, 156,303,340,411,413 Dayal, U., 26,70,74,81,100 Delobel, C., 26,30,31,38,69,70, 73,77,79,100,103,114 Demolombe, R., 16,230,367-369,376, 378,394,399,413 Denning, D. E., 17,19,409,410,413 Denning, P. J., 17,19,409,410,413 DiPaola, R., 368,370,371,394 Doyle, J., 14, 19 Elliott, R. w., 291,294 van Emden, M., 10,159,160,166,167, 181 Eswaran, K. P., 258 Fagin, R., 5,6,20,26,27,30-32,35, 37,49,57,70,71,73,77,81,99, 100,102-104,109,110,112-114, 303,340 Ga11aire, H., 3,7,10,11,19,20, 157,181,231,235,258,259,294, 295,302,305,331,340,341,364, 395,414
17
Embed
NAME INDEX - Springer978-1-4615-8297-7/1.pdf · NAME INDEX Ackennann, w. 142, 156 ... Kellogg, C. H., ... Algebraic specification of da ta types, Algebraic specification
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
NAME INDEX
Ackennann, w. 142, 156 Aho, A. V., 26, 30, 31, 36, 56,57
69, 101, 102, 104, 109, 112r 113, 334, 335, 339
Annstrong, W. W., 6, 26, 30, 31, 38, 69, 73, 99, 103, 113
Arora, A., 6, 18, 106, 113 394 413
Artaud, A., 368, 371, Aschbrenner, M., Astrahan, M. M.,
Atkinson, R.,
21, 237, 239, 257, 258
183
Barnes, J. J., 181 Beeri, C., 4, 5, 18, 25-27,29~32~
Gotlieb, L. R., 178,182 Grant, J., 11,12,14,18,195,226,
230,277,294,300,340 Gray, J. N., 258 Griffiths, P. P., 258 Guttag, J. V., 10,20,159-162,182
Hall, P.A.V., Hammer, M. M., Hayes-Roth, F., Heliard, J. C.,
318,328,340 258 294 181
Hermes, H., 315,340 Hilbert, D., 142,156 Hitchcock, P., 318,328,340 Hoare, C.A.R., 159,160,182 Hoffman, C., 180,182 Honeyman, P., 109,113 Hopcroft, J., 12, 20 Horning, J. J., 159,160,182 Howard, H. J., 26,27,30-32,37,49,
54,70,77,99,103,104,109,113 Huet, G., 163,182
NAME INDEX
Lacroix, M., 15,20,237,259, 333,340
Lampson, B. W., 159, 182 Lankford, D., 163,182 Lee, R.C.T., 7,19,237,242,306,
322,336,339,397,400,402,413 Lee, R. M., 414 Lemke, J., 333,340 Levy, M. R., 161,162,182 Lipski, W., Jr., 14,20,302,340 Liskov, B. H., 159,160,183 Lockemann, D. C., 178,183 London, R. I., 183 Lorie, R. A., Loveland, D. W., Lyndon, R. C.,
21,258 7,20
353,364
Maibaum, T.S.E., 10,159,178,181, 183
Maier, D., 6,26,30,31,42,56,60, 61,71,74,100,101,111,112,114
MCJones, P. R., 258 McSkimin, J. R.,10,20,142,143,155,
157,231,368,379,394,399,414 Mehl, J. W., 258 Melkanoff, M. A., 6,115,117,119,
126,128,130,131 Ichbiah, J. D., 181 Mendelzon, A., 6,26,29-32,42,56,
60,70,71,100,101,111-114 Janas, J., Janssens, D.,
16,397,404,413 5,71,73
Kaplan, S. J., 397,414 Karttunen, L., 343,364 Keenan, E. L., 343,364 Kellogg, C. H., 11-13,20,138,15~
196,199,230,231,235,259,261, 263,290,294
Kuhns, J. L., 368, 394 Kim, W., 12,20,228,230,231 King, W. F., III, 258 Klahr, P., 20,156,230,235,259,
263,276,294 Kowalski, R. A. , 138,153,157,160,
166,167,181,182,242,259 Krieg-Bruechner, B. , 181 Kuehner, D. , 167, 182
Merlin, P. M., 56,57,70 Minker, J., 3,7,10-12,16,19,20,
77,78,79,100 Pasero, R., 343,364 Pelagatti, G., 19,181 Pequeno, T. H. C., 181 'Pereda-Borquez, A. A., 181 Pereira, L. M., 257,259 Perrault, R., 20 Pichat, E., 79,100 Pique, J. F., 15,343,347,364,395 Pirotte, A.,15,16,20,237,259,333,
Powell, P. B., Price, T. G., Potzolu, G. R.,
340,368,395 231
21 258
Reiter, R., 8,10-12,14,16,20,21, 137-139,142,156,157,196, 199-201,231,235,259,295,331, 332,341,361,364,368,370,395,
402,414 Rescher, N., 343,365 Rissanen, J. 6,21,26,30,35,70,71,
74,81,100,101,102,105,107, 109,112-114
Robinson, J. A., 7,21,322,341 Rosen, B. K., 163,183 Roubine,O., 181 Roussel, P., 11,21,362,365 Rustin, R.,70,99,340,387,394,413
Wade, B. W., Wagner, E. J., Warren, D. H., Warsha11, S., Waterman, D., Watson, V., Wright, J. B., Wichmann, B. A., Wilson, G., -Woh11eber, W. H., Wong, E., Wu1f, W. A.,
Yannakakis, M., Yao, S. B., Yasuhara, A., Yeh, R., Youssefi, K.,
Data abstractions, 159,183,259 Data models, 160 Data security, 19,409,413 Data structure, 162 Data types, 21,160,161,182 Database administrator, 204,220 Database design, 3,102 Database designer, 115,116,121,
data base, 231 Extended projection of ~ on S,40 Extended projection rule, 40 EXtensional data, 261,262
Fact retrieval system, 294 Failure, 175,180 FD (see Functional dependency) Free-occurring variables, 355 Final schema, 116,118,131 First order data base, 139 First order hierarchical
decomposition, 5,30,78,82 First order predicate calculus,
5,16,56,196,299,306,399,400 FOHD (see First order hierarchi-
cal decomposition) Formal specification, 182 Formal system, 26,31 Forward chaining, 276 Forward reasoning, 263,275 Fourth normal form, 5,110 Free variable, 400,404 Freely generated, 162 Full jds (join dependencies), 31
SUBJECT INDEX
Function free data bases, 140 Function free Horn axioms, 201 Function symbols, 164 Functional, 26 Functional dependency (FD),
General cross, 38 General decompositions, 87 General dependencies, 5,73,76,82 General laws, 3,7-9 General problem solver, 198 Generalized access cost equations,
Semantic network, 20,157,231,414 Semantics of data types, 181 Semantics of logic, 165 Semantics of nondeterminism, 183 semantically related
conjunctions, 223,225 Semantically related tables,
223,226 Semantics, 353 Sentence, Set of types, Sets, Set difference, Set operations, set union, Simple types, Skolem constant, Skolem function, SL resolution (see linear
7,164 141 175 176 231 176
140,143 322,336
7
resolution with selection function)
SLD resolution, sort, Sound,
167,168,170,175 161,162,229,230
31 Special value, Specification, Specification techniques, SQL, SQUARE, Static integrity constraint, statistical data base,
300 181 183 229 258 404
17 Stems, Structure sharing, Structure sharing in the
Subquery, Successor arithmetic, Summary of a Tableaux, Supportive chains,
398-410 174
56 274
Symbolic logic (see First order predicate calculus)
Symmetry, 165 Syntax, 162,352 Syntax of data base formulae,141 Synthesizing third normal
form relations, Synthesizing programs for
99
queries, System R,
245 229,236,257,258
T-completeness assumption, 143 T-completeness property, 142 T represents E, 57 Table,
conjunction lists, 213-216, 221,223,224,226,228
explicitly given, 203,224 lookup, 209
Tableau, 27,56 Taxonomies, 163 Template dependencies, 5,100 Term, 7,164,237,352 Term rewriting systems, 182 Termina tion, 175 Termination problem, 235 Third Normal Form (3NF), 4 Three (3) value Boolean
algebra, 349 Three (3) valued Boolean
function, Three (3) value
Theorem proving,
Theory of joins, Tip node, Top-down search, Total,
The editors are indebted to the referees for their detailed reading and constructive comments. Every article was reviewed by at least three reviewers. The quality of each article has been enhanced over the original submission due to their efforts.
W.
F.
c.
J.
M.
A.
C.
R.
M.
R.
H.
J.
J.
P.
w. Annstrong
Bancilhon
Beeri
Biskup
Brodie
Colmerauer
Delobel
Demolombe,
van Emden
Fagin
Gallaire
Grant
M. Janas
Kandzia
Universite de Montreal, Canada
INRIA, France
Hebrew University, Israel
Technische Hochschule Aachen,
Federal Republic of Gennany
University of Maryland, USA
universite de Marseille, France
Universite de Grenoble, France
CERT, France
University of Waterloo, canada
IBM, USA
ENSAE-CERT, France
Towson State University, USA
Hochschule der Bundeswehr MUnchen,
Federal Republic of Gennany
Christian Albrechts Universitat,
Federal Republic of Gennany
429
430
C. Kellogg
H. J. Klein
R. ~. Kowalski
M. Lacroix
M. Leonard
W. Lipski, Jr.
D. Maier
A. Mendelzon
J. Minker
J. M. Nicolas
P. Paolini
J. Paredaens
E. Pichet
J. F. pique
A. Pirotte
R. Reiter
J. Ris'sanen
Y. sagiv
S. A. Tarnlund
L. Travis
M. Vardi
D. Warren
G. Zanon
LIST OF REFEREES
SDC, USA
Christian Albrechts Universitat,
Federal Republic of Germany
Imperial college of London,
Great Britain
Philips Research, Belgium
universit~ de Geneve, Switzerland
polish Academy of Science, Poland
State University of New York,
Stony Brook, USA
IBM, USA
University of Maryland, USA
ONERA-CERT, France
lEE Politecnico di Milano, Italy
Universitaire Instelling Antwerpen,
Belgium
Universite de Grenoble, France
Universit~ de Marseille, France
Philips Research, Belgium
University of British columbia,
Canada
IBM, USA
university of Illinois, USA
University of Upsala, Sweden
University of Wisconsin, USA
Weizmann Institute, Israel
university of Edinburgh,
Great Britain
CERT, France
ADDRESSES OF CONTRIBUTING AUTHORS
C. Beeri Department of Computer Science Institute of Mathematics The Hebrew University
of Jerusalem Jerusalem, Israel
J. Biskup Lehrstuhl fur Angewandte Mathematik/INSB Informatik RWTH Aachen Templergraben 55 D-5l00 Aachen Federal Republic of Germany
C. L. Chang IBM Research Laboratory-K54/282 5600 Cottle Road San Jose, california 95193 USA
A. Colmerauer Groupe d'Intelligence
Artificielle Universite d'Aix
Marseille II Marseille Luminy 70, Route Leon Lachamp 13009 Marseille France
R. Demolombe ONERA-CERT Department d'Informatique 2, Avenue Edouard Belin 31055 TOulouse Cedex France
M. van Emden Department of Computer Science University of Waterloo Waterloo, Ontario, canada
H. Gallaire ENSAE BP 4032 31005 TOulouse cedex, FRANCE
J. Grant TOwson State University Department of Mathematics
and Computer Science TOwson, Maryland 21204 USA
J. M. Janas Fachbereich Informatik Hochschule der Bundeswehr-Miinchen Werner-Heisenberg-Weg 39 D-80l4-Neubiberg Federal Republic of Germany
431
432 ADDRESSES OF CONTRIBUTING AUTHORS
D. Janssens Universiteit Antwerpen Department Wiskunde Univeriteitsplein 1 B 2610 WILRIJK Belgium
C. Kellogg
J. Paredaens Universiteit Antwerpen Department Wiskunde Uni versi tei tspl'ein 1 B 2610 WILRIJK Belgium
J. F. Pique Groupe d'Intelligence Artificielle Universite d'Aix Marseille II Marseille Luminy
System Development corporation Research & Development Division 2500 colorado Avenue 70, Route Leon Lachamp
94406 USA 13009 Marseille France Santa Monica, California
T. S. E. Maibaum Department of Computer Science University of Waterloo Waterloo, ontario, Canada
D. Maier Department of Computer Science State university of New York Stonybrook, New York 11794 USA
M. A. Melkanoff Computer Science Department university of california, UCLA Los Angeles, California 90024 USA
A. O. Mendelzon University of TOronto Department of Computer Science TOronto, canada H55 lA7
J. Minker Department of Computer Science University of Maryland College Park, Maryland 20742 USA
J. M. Nicolas ONERA-CERT Department d'Informatique 2, Avenue Edouard Belin 31055 TOulouse Cedex France
R. Reiter Department of Computer Science University of British Columbia Vancouver BCV GT 1 W5 Canada
F. Sadri Computer Science Department Stanford University Stanford, California·94305 USA
A. M. Silva Computer Science Department University of California, UCLA Los Angeles, california 90024 USA
L. Travis Department of Computer Science University of Wisconsin Madison, Wisconsin USA
J. D. Ullman Computer Science Department Stanford University Stanford, california 94305 USA
M. Y. vardi Department of Computer Science Institute of Mathematics The Hebrew University of Jerusalem Jerusalem, Israel