minker@MIMSY.UMD.EDU.UUCP (05/13/86)
************************************************************************
UNIVERSITY OF MARYLAND INSTITUTE FOR ADVANCED COMPUTER STUDIES
UNIVERSITY OF MARYLAND DEPARTMENT OF COMPUTER SCIENCE
and
NATIONAL SCIENCE FOUNDATION
are co-sponsoring an
invited workshop
on
FOUNDATIONS OF DEDUCTIVE DATABASES AND LOGIC PROGRAMMING
DATE: August 18-22, 1986
PLACE: Washington, DC
****************************************************************************
Professor Jack Minker, Department of Computer Sci-
ence, University of Maryland has received a grant from the
NSF to conduct the above workshop. The workshop is also
being supported by University of Maryland Institute for
Advanced Computer Studies and Department of Computer Sci-
ence. Its purpose is to bring together leading researchers
in deductive databases and logic programming to discuss
theoretical and practical issues. The attendance at this
workshop is by invitation only, but a limited amount of
funds is available to support faculty and students who are
working in the area and are interested in attending.
Faculty and students must send a brief statement of their
research interests relative to the workshop and a letter
specifying the amount of funds needed for transportation,
housing and meals, and the number of days they intend to be
at the workshop. Students must also send a letter of recom-
mendation from a faculty member and specify the degree for
which they are studying. This information should be sent by
May 30, 1986 to:
Ms. Johanna Weinstein
UMIACS
Building #094
University of Maryland
College Park, MD 20742
(301) 454-4526
johanna@alv.umd.edu
PRELIMINARY TITLES
FOUNDATIONS OF DEDUCTIVE DATABASES
AND
LoGIC PROGRAMMING
1. Apt, K.R., "Non-monotonic Reasoning in Logic Program-
ming"
2. Bancilhon, Francois, "Performance Comparisons of
Recursive Query Evaluation Strategies"
3. Blair,Howard A., "Some Aspects of the Structure of the
Herbrand Gap"
4. Bowen, Ken, "Foundations of Meta-PROLOG"
5. Bowen, Ken, "Interfacing Meta-PROLOG and Large Data-
bases"
6. Gallier, Jean H.and Raatz, Stan, " A Refutation
Method for Horn Clauses with Equality and its Applica-
tions to Logic Programming"
7. Henschen, Larry, " Compiling the GCWA in Indefinite
Databases"
8. Henschen, Larry, "Functions in First-Order Databases"
9. Imielinski, Tomasz, "Query Processing in Deductive
Databases with Incomplete Information"
10. Imielinski,Tomasz, "Transforming Logical Rules by Rela-
tional Algebra Expressions"
11. Jaffar, Joxan, Lassez, Jean-Louis and Maher, Michael
J., "Prolog II as an instance of the Logic Programming
Language Scheme"
12. Kanellakis,Paris C., "Parallel Algorithms for Term
Matching"
13. Sadri, Fariba and Kowalski, Robert, "An adaption of
SL-resolution"
14. Lassez, J.L., Maher, M. and Marriott, K., "Unifica-
tion Revisited"
15. Lifschitz, Vladimir, "On the Declarative Semantics of
Logic Programming with Negation"
16. Maher, Michael J., "Equivalences of Logic Programs"
17. Maier, David, "Logic for Object-Oriented Databases"
18. Marriott, Kim and Lassez, Jean-Louis, "Implicit and
Explicit Representations of Negative Information"
19. Martelli, M. and Barbuti, R., "Programming in a Gen-
erally Functional Style to Design Logic Data Bases"
20. Minker, Jack, Chakravarthy, U.S. and Grant, John,
"Foundations of Semantic Query Optimization Deductive
Databases"
21. Mukai, Kuniaki, "Anadic Tuples in Prolog"
22. Naish, Lee, Thom, James A. and Ramamohanarao, Kotagiri,
"A Superjoin Algorithm for Deductive Databases"
23. Naqvi, Shamim A., "Negation in Almost-First-Order Data-
bases"
24. Porto, Antonio, "Semantic Unification for Knowledge
Base Deduction"
25. Sagiv, Yehoshua, "Optimization of Logical Queries"
26. Shepherdson, John C., "Negation in Logic Programming"
27. Sterling, Leon, "Meta-Interpreters: Flavors-style
Logic Programming?"
28. Topor, Rodney, "Domain Independent Databases"
29. van Emden, M.H., "Amalgamating Functional and Rela-
tional Programming"
30. van Gelder, Allen, "Negation as Failure Using Tight
Derivations for General Logic Programs"
31. Warren, David S., "Towards a Logical Theory of Database
Update"
32. Zaniolo, Carlo, Sacca, M., et al., "Safety and Compila-
tion of Recursive Queries"