%A Herve Gallaire
%T Merging objects and logic programming: relational semantics
%J Preprints of the Workshop on
Foundations of Deductive Databases and Logic Programming
%C Washington, D.C.
%D August 1986
%E Jack Minker
%K Maryland fddlp fddlp86
%P 1-5

%A David Maier
%T A logic for objects
%J Preprints of the Workshop on
Foundations of Deductive Databases and Logic Programming
%C Washington, D.C.
%D August 1986
%E Jack Minker
%K Maryland fddlp fddlp86
%P 6-26

%A David S. Warren
%A Sanjay Manchanda
%T Towards a logical theory of database view updates
%J Preprints of the Workshop on
Foundations of Deductive Databases and Logic Programming
%C Washington, D.C.
%D August 1986
%E Jack Minker
%K Maryland fddlp fddlp86
%P 27-52

%A Luis Farinas
%A Andreas Herzig
%T Reasoning about database updates
%J Preprints of the Workshop on
Foundations of Deductive Databases and Logic Programming
%C Washington, D.C.
%D August 1986
%E Jack Minker
%K Maryland fddlp fddlp86
%P 53-66

%A U.S. Chakravarthy
%A John Grant
%A Jack Minker
%T Foundations of semantic query optimization for deductive databases
%J Preprints of the Workshop on
Foundations of Deductive Databases and Logic Programming
%C Washington, D.C.
%D August 1986
%E Jack Minker
%K Maryland fddlp fddlp86
%P 67-101

%A Antonio Porto
%T Semantic unification for knowledge base deduction
%J Preprints of the Workshop on
Foundations of Deductive Databases and Logic Programming
%C Washington, D.C.
%D August 1986
%E Jack Minker
%K Maryland fddlp fddlp86
%P 102-117

%A James A. Thom
%A Lee Naish
%A Kotagiri Ramamohanarao
%T A superjoin algorithm for deductive databases
%J Preprints of the Workshop on
Foundations of Deductive Databases and Logic Programming
%C Washington, D.C.
%D August 1986
%E Jack Minker
%K Maryland fddlp fddlp86
%P 118-135

%A Yehoshua Sagiv
%T Optimizing Datalog programs
%J Preprints of the Workshop on
Foundations of Deductive Databases and Logic Programming
%C Washington, D.C.
%D August 1986
%E Jack Minker
%K Maryland fddlp fddlp86
%P 136-162

%A Leon Sterling
%T Meta-interpreters: the flavors of logic programming
%J Preprints of the Workshop on
Foundations of Deductive Databases and Logic Programming
%C Washington, D.C.
%D August 1986
%E Jack Minker
%K Maryland fddlp fddlp86
%P 163-175

%A Roberto Barbuti
%A Maurizio Martelli
%T Programming in a generally functional style
to design logic data bases
%J Preprints of the Workshop on
Foundations of Deductive Databases and Logic Programming
%C Washington, D.C.
%D August 1986
%E Jack Minker
%K Maryland fddlp fddlp86
%P 176-192

%A Larry Henschen
%A Hyung-Sik Park
%T Compiling the GCWA in indefinite deductive databases
%J Preprints of the Workshop on
Foundations of Deductive Databases and Logic Programming
%C Washington, D.C.
%D August 1986
%E Jack Minker
%K Maryland fddlp fddlp86
%P 193-241

%A Tomasz Imielinski
%T Automated deduction in databases with incomplete information
%J Preprints of the Workshop on
Foundations of Deductive Databases and Logic Programming
%C Washington, D.C.
%D August 1986
%E Jack Minker
%K Maryland fddlp fddlp86
%P 242-283

%A Francois Bancilhon
%A Raghu Ramakrishnan
%T Performance evaluation of data intensive logic programs
%J Preprints of the Workshop on
Foundations of Deductive Databases and Logic Programming
%C Washington, D.C.
%D August 1986
%E Jack Minker
%K Maryland fddlp fddlp86
%P 284-314

%A Wiktor Marek
%A C. Rauszer
%T Query optimization in databases
distributed by means of product equivalence relations
%J Preprints of the Workshop on
Foundations of Deductive Databases and Logic Programming
%C Washington, D.C.
%D August 1986
%E Jack Minker
%K Maryland fddlp fddlp86
%P 315-337

%A Tomasz Imielinski
%T Transforming logical rules by relational algebra
%J Preprints of the Workshop on
Foundations of Deductive Databases and Logic Programming
%C Washington, D.C.
%D August 1986
%E Jack Minker
%K Maryland fddlp fddlp86
%P 338-377

%A Shamim A. Naqvi
%T A logic for negation in database systems
%J Preprints of the Workshop on
Foundations of Deductive Databases and Logic Programming
%C Washington, D.C.
%D August 1986
%E Jack Minker
%K Maryland fddlp fddlp86
%P 378-387

%A Michael J. Maher
%T Equivalence of logic programs
%J Preprints of the Workshop on
Foundations of Deductive Databases and Logic Programming
%C Washington, D.C.
%D August 1986
%E Jack Minker
%K Maryland fddlp fddlp86
%P 388-402

%A Rodney W. Topor
%A E.A. Sonenberg
%T On domain independent databases
%J Preprints of the Workshop on
Foundations of Deductive Databases and Logic Programming
%C Washington, D.C.
%D August 1986
%E Jack Minker
%K Maryland fddlp fddlp86
%P 403-419

%A Vladimir Lifschitz
%T On the declarative semantics of logic programs with negation
%J Preprints of the Workshop on
Foundations of Deductive Databases and Logic Programming
%C Washington, D.C.
%D August 1986
%E Jack Minker
%K Maryland fddlp fddlp86
%P 420-432

%A Teodor C. Przymusinski
%T On the semantics of stratified deductive databases
%J Preprints of the Workshop on
Foundations of Deductive Databases and Logic Programming
%C Washington, D.C.
%D August 1986
%E Jack Minker
%K Maryland fddlp fddlp86
%P 433-443

%A Jean H. Gallier
%A Stan Raatz
%T Refutation methods for Horn clauses
with equality based on E-unification
%J Preprints of the Workshop on
Foundations of Deductive Databases and Logic Programming
%C Washington, D.C.
%D August 1986
%E Jack Minker
%K Maryland fddlp fddlp86
%P 444-476

%A Robert Kowalski
%A Fariba Sadri
%T An application of general purpose theorem proving
to database integrity
%J Preprints of the Workshop on
Foundations of Deductive Databases and Logic Programming
%C Washington, D.C.
%D August 1986
%E Jack Minker
%K Maryland fddlp fddlp86
%P 477-517

%A Carlo Zaniolo
%A Ravi Krishnamurthy
%T Safety and optimization of Horn clause queries
%J Preprints of the Workshop on
Foundations of Deductive Databases and Logic Programming
%C Washington, D.C.
%D August 1986
%E Jack Minker
%K Maryland fddlp fddlp86
%P 518-543

%A John C. Shepherdson
%T Negation in logic programming
%J Preprints of the Workshop on
Foundations of Deductive Databases and Logic Programming
%C Washington, D.C.
%D August 1986
%E Jack Minker
%K Maryland fddlp fddlp86
%P 544-545

%A K.R. Apt
%A Howard A. Blair
%A Adrian Walker
%T Towards a theory of declarative knowledge
%J Preprints of the Workshop on
Foundations of Deductive Databases and Logic Programming
%C Washington, D.C.
%D August 1986
%E Jack Minker
%K Maryland fddlp fddlp86
%P 546-628

%A Paris Kannelakis
%T Logic programming and parallel complexity
%J Preprints of the Workshop on
Foundations of Deductive Databases and Logic Programming
%C Washington, D.C.
%D August 1986
%E Jack Minker
%K Maryland fddlp fddlp86
%P 629-658

%A J.L. Lassez
%A K. Marriott
%T Explicit representation of terms defined by counter examples
%J Preprints of the Workshop on
Foundations of Deductive Databases and Logic Programming
%C Washington, D.C.
%D August 1986
%E Jack Minker
%K Maryland fddlp fddlp86
%P 659-677

%A M.H. van\ Emden
%A P. Szeredi
%T Converting AND-control to OR-control by program transformation
%J Preprints of the Workshop on
Foundations of Deductive Databases and Logic Programming
%C Washington, D.C.
%D August 1986
%E Jack Minker
%K Maryland fddlp fddlp86
%P 678-688

%A Joxan Jaffar
%A Jean-Louis Lassez
%A Michael J. Maher
%T Prolog II as an instance of the logic programming language scheme
%J Preprints of the Workshop on
Foundations of Deductive Databases and Logic Programming
%C Washington, D.C.
%D August 1986
%E Jack Minker
%K Maryland fddlp fddlp86
%P 689-711

%A Allen van\ Gelder
%T Negation as failure
using tight derivations for general logic programs
%J Preprints of the Workshop on
Foundations of Deductive Databases and Logic Programming
%C Washington, D.C.
%D August 1986
%E Jack Minker
%K Maryland fddlp fddlp86
%P 712-732