 |
 |
 |
|
 |
|
|
The DatalogLab is a deductive database system programmed in Eclipse-Prolog |
|
|
that supports the specification of deductive, active and normative rules (integrity constraints). |
|
|
|
| | | |
| Dissertations |
|
P. Bisseck: Modellierung und Verwaltung zeitbezogener Infos in RelDB: Konzepte und Sprachen.
Stefan Brass: Defaults in deduktiven Datenbanken.
Stefan Brass: Bottom-Up Query Evaluation in Extended Deductive Databases.
U. Griefahn: Reactive Model Computation: A Uniform Approach to the Implementation of DDB
A. Levy: Irrelevance Reasoning in Knowledge Based Systems Ph.D thesis
|
| | | |
| | | |
| Papers |
|
Stefan Brass: Improving the Alternating Fixpoint: The Transformation Approach
F. Bry, R. Manthey: Checking Consistency of Database Constraints: A Logical Basis
François Bry,Sunna Torge: Solving Database Satisfiability Problems.
D. Seipel: Decomposition of Linear Recursive Logic Programs.
A. Levy, A. Mendelzon, Y. Sagiv, D. Srivastava: Answering Queries Using Views.
D. Srivastava, S. Dar, H. Jagadish , A. Levy: Answering SQL Queries Using Materialized Views
A. Levy, I. Mumick: Reasoning with Aggregation Constraints.
A. Levy, Y. Sagiv: Semantic Query Optimization in Datalog Programs.
A. Levy, A. Mendelzon, Y. Sagiv, D. Srivastava: Answering Queries Using Views.
Levy, Mumick, Sagiv, Shmueli: Equivalence, Query-Reachability and Satisfiability in DatalogExt.
A. Levy, Y. Sagiv: Queries Independent of Updates.
A. Levy, Y. Sagiv: Constraints and Redundancy in Datalog.
|
| | | |
| | | |
Other
Publications |
|
F. Bry, R. Manthey, H. Schütz: Deduktive Datenbanken.
D. Seipel, F. Bry: Deduktive Datenbanken.
|
|
|
|
 |
