eTutor XQuery und Datalog - Data & Knowledge Engineering

62 Kapitel 6. Konfiguration
6.1. Property-Dateien
Während in der Datenbank konkrete Aufgaben formuliert werden, dienen die
Property-Dateien dazu, allgemeine Parameter zu definieren, die für das Ausführen
von Datalog-Queries, für das Bewerten von Analyseergebnissen und die
Präsentation der Ergebnisse grundsätzlich herangezogen werden.
6.1.1. Parameter für Analyse und Bewertung
Die betreffende Property-Datei befindet sich für das Datalog-Modul im folgenden
Verzeichnis:
/etutor/resources/modules/datalog/properties/datalog.properties
Für das XQuery-Modul ist die entsprechende Datei im folgenden Verzeichnis zu
finden:
/etutor/resources/modules/xquery/properties/xquery.properties
Die zu definierenden Parameter werden modulspezifisch in Tabelle 6.1 (Datalog-
Modul) und Tabelle 6.2 (XQuery-Modul) zusammengefasst:
Key
java.naming.factory.initial
Bedeutung
Eine der wichtigsten Properties, die von der Java
Plattform für die Verbindung zu einem JNDI-
Verzeichnisdienst vorgesehen sind (siehe Abschnitt
6.2). Zusätzliche JNDI-Properties können angegeben
werden.
dlg.java.naming.datasource Pfad im JNDI-Verzeichnis, in dem das DataSource-
Objekt konfiguriert ist, das einen Connection-Pool
verwaltet (siehe Abschnitt 6.3).
datalog.exe Angabe des vollständigen Dateipfades der
ausführbaren Datei, mit der Datalog-Regeln und –
Fakten ausgewertet werden können (siehe Abschnitt
4.1.2).
datalog.timeout
Zeitangabe in Millisekunden, die das Limit definiert,
das bei der Ausführung von Queries mithilfe des