TMQL tutorial - part 3

transcript

Einführung in Topic Maps

topicmapslab.de

Topic Maps Query Language

Sven Krosse M. Sc.

Topic Maps Lab an der Universität Leipzig

krosse@informatik.uni-leipzig.de

Session 3

topicmapslab.de

Review – Session 1 and 2

1. Meta-Modell von TMQL

2. Grammatik

3. Navigationskonzept

4. Path-Language – Draft 2010 ( kurzer Einblick )

topicmapslab.de

Agenda

1. Postfix

● Filter

– Boolean-Expression

– Filtertypen

● Projektion

2. Operatoren

topicmapslab.de

SprachbestandteilePostfix

topicmapslab.de

Postfix

● als Ergänzung für Path-Expression ( Simple-Content )

● erlauben exakte Definition der Ergebnismenge in Path-

Expressions

● Typen

● Filter

● Projektion

topicmapslab.de

SprachbestandteileFilter

topicmapslab.de7

Filter

● Filter nur nach kompletter Navigation

● Filter nach jedem Schritt als Erweiterung einiger TMQL

Engines

● CL-Filter

● immer Boolean-Expression

● Syntax: [ boolean-expression ]

● NCL-Filter

● zur vereinfachten Verwendung

● Syntax ist variabel

topicmapslab.de8

Boolean-Expression

● quantitativ oder nicht-quantitativ

● Unterstützung von boolean'schen Operatoren

● Konjunktion mit AND

● Disjunktion mit OR

● Negation mit NOT

topicmapslab.de9

Quantitative Boolean-Expression

● numerisch strikte Bedingung

● Anzahl der erfüllenden Tuple

● untere Grenze spezifiziert

AT LEAST number binding-set SATISFIES boolean-expression

● obere Grenze spezifiziert

AT MOST number binding-set SATISFIES boolean-expression

● Abhängigkeit von Variablen durch Binding-Set definiert

topicmapslab.de10

%prefix o http://psi.ontopia.net/music/

// o:composer

AT MOST 3

$opera IN // o:opera

SATISFIES $opera >> traverse o:composed-by == .

topicmapslab.de11

// o:composer

AT MOST 3

Filterdefinition

topicmapslab.de12

// o:composer

AT MOST 3

Numerische Quantifizierung

topicmapslab.de13

// o:composer

AT MOST 3

Variable-Binding

topicmapslab.de14

// o:composer

AT MOST 3

Bedingung

topicmapslab.de15

// o:composer

AT MOST 3

→ alle Komponisten, welche maximal 3 Opern komponiert

topicmapslab.de16

● numerisch freie Bedingung

● exakte Anzahl der erfüllenden Tuple irrelevant

● unteres Minimum

SOME binding-set SATISFIES boolean-expression

● oberes Maximum

EVERY binding-set SATISFIES boolean-expression

topicmapslab.de17

// o:composer

topicmapslab.de18

// o:composer

→ alle Komponisten, welche mindestens eine Oper

komponiert haben

topicmapslab.de19

Nicht-Quantitative Boolean-Expression

● Bedingung nicht an numerische Grenzen gebunden

● reine Existenz entscheidend

● Syntax: EXISTS boolean-expression

● Schlüsselwort EXISTS optional

● NCL-Vertreter

● Typ-Instanz-Beziehung ( ISA-Expression )

● Supertyp-Subtyp-Beziehung ( AKO-Expression )

topicmapslab.de20

// o:composer

. ISA o:musician

topicmapslab.de21

// o:composer

. ISA o:musician

→ alle Komponisten, welche auch Instanz von Musiker sind

topicmapslab.de22

NCL-Filter

● spezielle Filter auf dem NCL

● Index-Filter

● Range-Filter

● Scope-Filter

● Typ-Filter

● besitzen eine Entsprechung auf CL

topicmapslab.de23

NCL-Filter – Index-Filter

● spezielles Tuple aus der Ergebnissequenz

● Null-basierter Index

● leere Menge wenn Index außerhalb des möglichen Bereichs

● Syntax:

[ number ] → [ $# == number ]

● Bsp:

// http://psi.ontopia.net/music/composer / tm:name [ 0 ]

topicmapslab.de24

NCL-Filter – Range-Filter

● spezieller Bereich aus der Ergebnissequenz

● Null-basierte Indizes

● alle Elemente die vom Index-Bereich abgedeckt werden

● Syntax

[ a .. b ] → [ a <= $# AND $# < b ]

● Bsp:

// http://psi.ontopia.net/music/composer / tm:name [ 0 .. 1 ]

topicmapslab.de25

NCL-Filter – Scope-Filter

● Filterung nach Themes

@ theme → [ . >> scope == theme ]

[ @ theme ] → [ . >> scope == theme ]

● Bsp:

// http://psi.ontopia.net/music/composer / tm:name

@http://psi.ontopia.net/basename/short-name

// http://psi.ontopia.net/music/composer / tm:name

[ @http://psi.ontopia.net/basename/short-name ]

topicmapslab.de26

NCL-Filter – Type-Filter

● Filterung nach Typ

[ ^ type ] → [ . >> types == type ]

// type → [ . >> types == type ]

● Bsp:

// o:composer >> traverse [ ^ o:opera ]

// o:composer >> traverse // o:opera

topicmapslab.de27

Vergleich Draft 2010

● Draft 2010

● Filterung nach jedem Navigationsschritt möglich

● Kombination von Filtern

● keine Projektion

topicmapslab.de28

Vergleich Draft 2010

● Beispiel: Filter Draft 2010

/ composer [ . / firstname / value:: =~ „.*Puccini.*“ ] / role::

/ composer / webpage @web @italian / value::

topicmapslab.de

SprachbestandteileProjektion

topicmapslab.de30

Projektion

● Alternative zu Filtern

● Erzeugung von Tupeln mit mehren Elementen

● Ausgangspunkt ist aktueller Knoten im Graph als Ergebnis der

Navigation

● Beschreibung als Tuple-Expression

● optionale Sortierung definierbar

● Syntax: tuple-expression ::= ( <value-expression> )

value-expression ::= content { ASC | DESC }

topicmapslab.de31

Projektion

// o:composer

. / tm:name ,

. / tm:occurrence,

. >> indicators

topicmapslab.de32

Projektion

// o:composer

. / tm:name ,

. / tm:occurrence,

. >> indicators

Projektionsdefinition

topicmapslab.de33

Projektion

// o:composer

. / tm:name ,

. / tm:occurrence,

. >> indicators

aktueller Knoten

topicmapslab.de34

Projektion

// o:composer

. / tm:name ,

. / tm:occurrence,

. >> indicators

Projektionstupel

topicmapslab.de

SprachbestandteileOperatoren

topicmapslab.de36

Operatoren

● erlaubt in so genannte Value-Expression oder Content

● z.B.: Bestandteil einer Boolean-Expression

● verschiedene Typen

● mathematische Operatoren

● Vergleichsoperatoren

● Mengenoperatoren

topicmapslab.de37

mathematische Operatoren

● Vorzeichen '-'

● unterstützte Datentypen:

– Number

topicmapslab.de38

● Addition '+'

– Number

– String

– Date

– Time

– DateTime

topicmapslab.de39

● Subtraktion '-'

– Number

– Date

– Time

– DateTime

topicmapslab.de40

● Multiplikation '*'

– Number

topicmapslab.de41

● Division '%'

– Number

Hinweis: im Draft 2010 ersetzt durch 'div'

topicmapslab.de42

● Modulo 'mod'

– Number

topicmapslab.de43

Vergleichsoperatoren

● kleiner-als '<'

– Number

– String

– Date

– Time

– DateTime

topicmapslab.de44

● kleiner-oder-gleich '<='

– Number

– String

– Date

– Time

– DateTime

topicmapslab.de45

● größer-als '>'

– Number

– String

– Date

– Time

– DateTime

topicmapslab.de46

● größer-oder-gleich '>='

– Number

– String

– Date

– Time

– DateTime

topicmapslab.de47

● reguläre Ausdrücke '=~'

– String

topicmapslab.de48

● Gleichheit '=='

– Number

– String

– Date

– Time

– DateTime

Hinweis: im Draft 2010 ersetzt durch '='

topicmapslab.de49

Mengenoperatoren

● Vereinigung '++'

● Kombination beider Mengen als neue Sequenz

● Beispiel:

{[A, C], [E, F]} ++ { [C, D]} → {[A, C], [E, F], [C, D]}

Hinweis: im Draft 2010 ersetzt durch 'union'

topicmapslab.de50

Mengenoperatoren

● Differenz '--'

● entfernt die Elemente der ersten Menge, welche auch in der

zweiten enthalten sind

● Beispiel:

{[A, C], [C, D]} -- { [C, D]} → {[A, C]}

Hinweis: im Draft 2010 ersetzt durch 'minus'

topicmapslab.de51

Mengenoperatoren

● Schnittmenge '=='

● liefert die Schnittmenge beider Mengen

● Beispiel:

{[A, C], [C, D]} == { [C, D]} → {[C, D]}

Hinweis: im Draft 2010 ersetzt durch 'intersect'

topicmapslab.de

TMQL tutorial - part 3

Technology