Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-40162
Titel: Using Automated Reasoning Techniques for Deductive Databasis
VerfasserIn: Ohlbach, Hans Jürgen
Siekmann, Jörg
Sprache: Englisch
Erscheinungsjahr: 1988
Erscheinungsort: Kaiserslautern
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: This report presents a proposal for a deduction component that supports the query mechanism of relational databases. The query-subquery (QSQ) paradigm is currently very popular in the database community since it focuses the deduction process on the relevant data. We show how to extend the QSQ paradigm from Horn clauses to arbitrary predicate logic formulae such that disjunctions in the consequent of an implication, negation in its logical meaning and arbitrary recursive predicates can be handled without restrictions. Various techniques to improve the search behaviour, such as lemma generation, query generalization etc. can be incorporated. Furthermore we show how to use clause graphs for compile time optimizations in the presence of recursive clauses and to support the run time processing.
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-401628
hdl:20.500.11880/36234
http://dx.doi.org/10.22028/D291-40162
Schriftenreihe: SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447]
Band: 88,6
Datum des Eintrags: 11-Aug-2023
Fakultät: SE - Sonstige Einrichtungen
Fachrichtung: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Professur: SE - Sonstige
Sammlung:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Dateien zu diesem Datensatz:
Datei Beschreibung GrößeFormat 
SEKI-Report-SR-88-06_Ohlbach-Siekmann_Using-Automated-Reasoning-Techniques-for-Deductive-Databasis.pdf3,08 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.