dtnrg-3----Page:25
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41
|
Why deductive databases? Derivation of facts from simpler facts and specified rules Facts: Adj [from -> “n1”, to -> “n2" ]. Rules: Path[src->S,dst->D] :- Adj[from->S,to->D] ; Path[src->S,dst->Z], Path[src->Z,dst->D]. Uniform query interface for both simple and derived facts explicit: Adj [from -> “n1”, to -> “n2”, upAt -> “12:01:00”]. expression: Adj [from -> “n1”, to -> “n2”, upAt -> U] :- U is when_UAV_overhead. query (in both cases): Adj [from -> F, to -> T, upAt -> U]. Rapid prototyping of DTN protocols without compiling C/C++ code Easier to tie-in policy, mission specifics, and logistics with networking Intelligent network management plane: supports complex queries |