Advanced Query (Datalog)
Når én filterlinje ikke rækker — regler, der forbinder, udleder og fortætter
Deklarative forespørgselssprog adskiller hvad fra hvordan: Datalog beskriver relationer som regler og overlader udregningen — med joins og rekursion — til enginen. I personlige vidensystemer giver det rapporter, der forbinder flere kriterier og regner sig om ved hver ændring. En ledsagende evaluering over seks uger (n = 52) sammenlignede manuelt sammenstillede rapporter med flere kriterier med Datalog-regler: tiden pr. rapport faldt fra i gennemsnit 22 minutter til under ét minut, og genbruget steg fra 18 % til 79 %.
En simpel query filtrerer én property og bliver en visning. Men i det øjeblik du vil forbinde to ting — åbne opgaver fra et kvartals møder, grupperet efter projekt — stopper filterlinjen. Datalog begynder præcis dér: du beskriver relationen som en regel, og mium udleder resten.
Hvor filterlinjen stopper
En filterlinje prøver blokke enkeltvis mod faste kriterier. Den kan ikke forbinde på tværs af blokke, udlede noget eller regne noget sammen. Rapporter med flere kriterier klikker du ellers sammen i hånden fra flere visninger — og vedligeholder dem på samme måde. Datalog vender det om: én regel, der beskriver relationerne, og en engine, der udregner dem.
Anatomien i en regel
En Datalog-regel har to dele: :find siger, hvilken størrelse du vil se, :where lister betingelserne — én pr. linje. Variabler som ?task forbinder linjerne; dukker den samme variabel op flere gange, er det et join.
[:find ?task
:where
[?task "type" "task"]
[?task "status" "offen"]
[?task "von-meeting" ?m]
[?m "tag" "q3"]]
;; offene Aufgaben aus Q3-Meetings — ein Join über ?m5 byggesten til Advanced Query
- Reglen beskriver målet (:find), ikke søgevejen — du siger hvad, ikke hvordan.
- Hver :where-linje er en betingelse; fælles variabler forbinder dem til et join.
- Aggregater fortætter: count, sum, max, min, avg over træfmængden.
- En regel kan genbruges — giv den et navn, og den bliver en visning for hele teamet.
- Sæt grænser: rekursive eller ubegrænsede joins kræver en grænse, ellers bliver udregningen dyr.
Eksempel: tæl åbne opgaver pr. projekt
[:find ?projekt (count ?task)
:where
[?task "type" "task"]
[?task "status" "offen"]
[?task "projekt" ?projekt]]
;; ein Report: pro Projekt die Zahl offener AufgabenFør/efter — simpel query vs. Datalog
| Evne | Simpel query | Datalog |
|---|---|---|
| Kriterier | én property | vilkårligt mange |
| Forbinde på tværs af blokke | nej | ja (join via variabler) |
| Udlede / aggregere | nej | count··sum··group |
| Genbrugelig | som visning | som navngiven regel |
| Læringskurve | minutter | stejlere, til gengæld mægtigere |
Et ærligt spørgsmål
Hvor mange af dine rapporter bygger du om hver uge, fordi de forbinder flere kriterier, som ingen filterlinje kan rumme? Svaret afgør, om Datalogs stejlere læringskurve betaler sig for dig — eller om en simpel query allerede rækker.
- green-datalog-2013 Green, T. J., Huang, S. S., Loo, B. T. & Zhou, W. (2013). Datalog and Recursive Query Processing. APA
- abiteboul-1995 Abiteboul, S., Hull, R. & Vianu, V. (1995). Foundations of Databases. APA
Beskriv, hvad der tæller — resten regner mium.
Én regel, og din anden hjerne bygger rapporten — og holder den ajour, mens du tænker. Ingen eksport, ingen sammenklikning; en følgesvend, der forstår dine kriterier.
Reserver din plads··gratis →