![](https://dblp.uni-trier.de./img/logo.320x120.png)
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
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 295, GMD, Sankt Augustin, Germany 1996, ISBN 3-88457-295-4
Disjunctive Deductive Databases
- Charlie F. Obimbo, Bruce Spencer:
Access Clause Trees in Disjunctive Deductive Databases. DDLP 1996: 15-28 - Peter Baumgartner, Ulrich Furbach:
Hyper Tableaux and Disjunctive Logic Programming. DDLP 1996: 29-43
Query Optimization
- Ulrich Zukowski, Burkhard Freitag:
The Differential Fixpoint of General Logic Programs. DDLP 1996: 45-56 - Parke Godfrey, Jarek Gryz:
A Framework for Intensional Query Optimization. DDLP 1996: 57-68 - José Francisco Aldana Montes, José M. Troya:
Data Flow Evaluation of Datalog Queries. DDLP 1996: 69-78
Advanced Concepts
- Carl-Alexander Wichert, Burkhard Freitag:
Logical Specification of Bulk Updates and Sequential Updates. DDLP 1996: 79-93 - Heinrich Herre, Gerd Wagner:
Stable Semantics of Temporal Deductive Databases. DDLP 1996: 95-106 - Riccardo Rosati:
On the Complexity of Reasoning with Negation as Failure. DDLP 1996: 107-118
Applications
- Patrizia Asirelli, Stephen C. Cook, Keith G. Jeffery:
A Logical Database for Validating System Models. DDLP 1996: 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. DDLP 1996: 135-151
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.