Eingang zum Volltext
Home | Suche | BrowsenURN: urn:nbn:de:kobv:517-opus-41457
URL: http://opus.kobv.de/ubp/volltexte/2010/4145/
Seipel, Dietmar
Gesellschaft für Logische Programmierung e.V.
Practical Applications of Extended Deductive Databases in DATALOG*
| pdf-Format: |
|
Kurzfassung auf Englisch
A wide range of additional forward chaining applications could be realized with deductive databases, if their rule formalism, their immediate consequence operator, and their fixpoint iteration process would be more flexible.Deductive databases normally represent knowledge using stratified Datalog programs with default negation. But many practical applications of forward chaining require an extensible set of user–defined built–in predicates. Moreover, they often need function symbols for building complex data structures, and the stratified fixpoint iteration has to be extended by aggregation operations.
We present an new language Datalog*, which extends Datalog by stratified meta–predicates (including default negation), function symbols, and user–defined built–in predicates, which are implemented and evaluated top–down in Prolog. All predicates are subject to the same backtracking mechanism. The bottom–up fixpoint iteration can aggregate the derived facts after each iteration based on user–defined Prolog predicates.
| Freie Schlagwörter (englisch): | deductive databases , Prolog, forward / backward chaining , bottom–up , top– down , built–in predicates , stratification , function symbols , XM | |
| RVK - Regensburger Verbundklassifikation | ST 304 | |
| Collection | Universität Potsdam / Tagungen / Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Databases | |
| Institut: | Extern | |
| DDC-Sachgruppe: | Informatik | |
| Dokumentart: | c InProceedings (Aufsatz / Paper einer Konferenz etc.) | |
| Quelle: | Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Geske, Ulrich; Wolf, Armin (Hrsg.). - Potsdam : Universitätsverlag, 2010. - S. 37 - 50 | |
| Sprache: | Englisch | |
| Erstellungsjahr: | 2010 | |
| Publikationsdatum: | 04.03.2010 | |
| Lizenz: | Diese Nutzungsbedingung gilt nicht, wenn in den Metadaten eine modifizierende Lizenz genannt ist. Keine Nutzungslizenz vergeben - es gilt das deutsche Urheberrecht |
Home | Leitlinien | Impressum | Haftungsausschluss | Statistik | Universitätsverlag | Universitätsbibliothek
| Ihr Kontakt für Fragen und
Anregungen: Universitätsbibliothek Potsdam |
 
|