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
Peter Baumgartner, Ulrich Furbach: Hyper Tableaux and Disjunctive Logic Programming. 29-43

Query Optimization

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

Advanced Concepts

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

Applications

Patrizia Asirelli, Stephen C. Cook, Keith G. Jeffery: A Logical Database for Validating System Models. 119-134
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

Last update Thu May 24 04:16:14 2012 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page