
|
Declarative Paradigm in SPINDLE We have a unique declarative approach based on Deductive Databases declare facts and rules in KB implemented in Flora-2/XSB connectivity, naming, and bundle metadata information stored as facts routing, forwarding and link scheduling performed by execution of rules facilitates decision making and search in a rich space of dynamic facts/rules flexible and extensible framework Using the declarative paradigm, we have prototyped DTN algorithms routing: random walk, replicated forwarding, link state, hybrid policy: routing, forwarding, bundle scheduling, discard, … late binding: dynamic intentional name resolution |