- Treffer 1 von 1
Practical Applications of Extended Deductive Databases in DATALOG*
- 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.
Verfasserangaben: | Dietmar Seipel |
---|---|
URN: | urn:nbn:de:kobv:517-opus-41457 |
Publikationstyp: | Konferenzveröffentlichung |
Sprache: | Englisch |
Erscheinungsjahr: | 2010 |
Veröffentlichende Institution: | Universität Potsdam |
Beteiligte Körperschaft: | Gesellschaft für Logische Programmierung e.V. |
Datum der Freischaltung: | 04.03.2010 |
Freies Schlagwort / Tag: | Prolog; XM; bottom–up; built–in predicates; deductive databases; forward / backward chaining; function symbols; stratification; top– down |
Quelle: | Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Geske, Ulrich; Wolf, Armin (Hrsg.). - Potsdam : Universitätsverlag, 2010. - S. 37 - 50 |
RVK - Regensburger Verbundklassifikation: | ST 304 |
Organisationseinheiten: | Extern / Extern |
DDC-Klassifikation: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
Sammlung(en): | Universität Potsdam / Tagungsbände/Proceedings (nicht fortlaufend) / Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Databases |
Lizenz (Deutsch): | Keine öffentliche Lizenz: Unter Urheberrechtsschutz |