Workshop on Deductive Databases and Logic Programming 1996

Dmitri Boulanger, Ulrich Geske, Fosca Giannotti, Dietmar Seipel: Proceedings of the Workshop DDLP'96 on Deductive Databases and Logic Programming, 4th Workshop in Conjunction with JICSLP '96, Bonn, Germany, September 5-6, 1996. GMD-Studien Nr. 295, GMD, Sankt Augustin, Germany, ISBN 3-88457-295-4

Disjunctive Deductive Databases

Charlie F. Obimbo, Bruce Spencer: Access Clause Trees in Disjunctive Deductive Databases. 15-28 BibTeX
Peter Baumgartner, Ulrich Furbach: Hyper Tableaux and Disjunctive Logic Programming. 29-43 BibTeX

Query Optimization

Ulrich Zukowski, Burkhard Freitag: The Differential Fixpoint of General Logic Programs. 45-56 BibTeX
Parke Godfrey, Jarek Gryz: A Framework for Intensional Query Optimization. 57-68 BibTeX
José Francisco Aldana Montes, José M. Troya: Data Flow Evaluation of Datalog Queries. 69-78 BibTeX

Advanced Concepts

Carl-Alexander Wichert, Burkhard Freitag: Logical Specification of Bulk Updates and Sequential Updates. 79-93 BibTeX
Heinrich Herre, Gerd Wagner: Stable Semantics of Temporal Deductive Databases. 95-106 BibTeX
Riccardo Rosati: On the Complexity of Reasoning with Negation as Failure. 107-118 BibTeX

Applications

Patrizia Asirelli, Stephen C. Cook, Keith G. Jeffery: A Logical Database for Validating System Models. 119-134 BibTeX
Marilisa E. Carboni, Annalisa Di Deo, Fosca Giannotti, Maria V. Masserotti: Spatio-Temporal Reasoning with LDLT: First Steps Towards a Deductive System for Geographical Applications. 135-151 BibTeX